E.17.EFP:4.3.b - Entailed connective and addedLinkPolicy

Harmless connective wording adds no proposition: conjunction markers, pronoun recovery, and sentence order can simply make an already explicit source statement readable. No addedLinkPolicy is needed for that case.

SourceLinkedExplanationReconstruction applies to a less obvious connective only when one of two bases is recoverable:

1. the exact source claims plus their effective reference scheme make the connective a consequence under a stated derivation; or
2. the exact source claims already report the relation occurrence, and that occurrence independently obtains under its defining pattern.

When that basis is material but not visible in the prose, a compact addedLinkPolicy points to it:

• addedLinkKind — the connective being exposed;
• sourceReferenceSet — the exact source claims used;
• effectiveSchemeOrRuleRefs — the designation, interpretation, ordering, or inference rules used by the derivation;
• derivationOrRelationRef — the inspectable derivation or the exact relation occurrence already reported by the source claims and independently shown to obtain;
• claimContentResult = source-recoverable — confirmation that the connective introduces no unsupported target claim;
• reopenTrigger — a source, scheme, rule, context, or relation change that invalidates the basis.

The policy is an index to the basis, not evidence that the basis exists. boundednessReason, a forbidden-link note, or author intent may help delimit use, but none substitutes for derivationOrRelationRef.

If neither a derivation from the exact source claims nor an exact source-reported relation occurrence that independently obtains can be recovered, the connective is another claim. Constitute its exact target episteme under C.2.1 and apply the direct relation, bridge, comparison, or B.5.2 hypothesis pattern that fits the new claim. If that result is unavailable, remove the connective or leave EFP; a downgrade label cannot make it source-linked.