A.6.9:4.2 - Explicit claim skeleton
Use this table for the semantic branch. The action, direction, rule, and tolerance rows apply only to a proposed use of an obtaining Bridge.
| Item | When required | Meaning and stop |
|---|---|---|
SourceSenseCellRef, ReceivingSenseCellRef | every Bridge candidate | Exact F.17 addresses; unresolved endpoints stop the semantic branch. |
| semantic-context projections | every Bridge candidate | Derived <ReferenceScheme, LocalSenseClaim> pairs; they must differ for F.9. |
BridgePredicateProfile | every Bridge candidate | Exact by-value relation semantics only; a label or id is insufficient. |
BridgeKind and relation orientation | profile and readable explanation | What semantic correspondence or difference is claimed; not a use licence. |
applicability / Γ_time, truth condition, dependencies | profile | When and how the direct predicate is tested; missing dependencies stop without inventing an occurrence. |
action u | every proposed use | What the reader proposes to compare, substitute, translate, publish, or otherwise do. |
direction d | every proposed use | Exact use-source to use-receiving order; relation symmetry supplies no direction by implication. |
rule r | every proposed use | The correspondence rule the action will follow. |
tolerance t | every proposed use | Which semantic loss is acceptable for this action; observed loss remains evidence. |
| polarity and effective ReferenceScheme | every bounded-use claim | Whether the claim is affirmative or negative and how its designations are interpreted. |
| A.10 or B.3 branch | when someone will rely on the claim | The exact evidence-provenance relation plus local disposition, or the B.3 claim or explicit disposition selected by its trigger. |
| permission result | only when permission is required | Cite the exact A.2.8.PER result the use needs: an obtaining strong grant, weak non-prohibition finding, exercise relation, or conflict result. Policy and predicates supply grounds; they are not that result. |
| receiving-object ref | only when the use is said to have happened | Exact Work, assertion, publication, relation, application, or other object under its subject pattern. |
ClaimMode and card EntityOfConcern | only when a card pays | Actual card concerns the obtaining Bridge; candidate or negative card concerns the admitted F.9 Bridge relation kind and carries proposed endpoints and profile in its ClaimGraph. |
Only the two endpoint cells fill the direct relation’s participant slots. Use content is ClaimGraph content, not another relation participant or profile component.