Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 12:00:09 UTC
A.7.2:12 - Relations
Coordinates with:A.7.1. A.7.2 is neither its parent nor child; it handles material cross-pattern premise conflict and can return repaired subject-pattern decisions to it.
Consumes: exact claim contents from A.7.CP through actual ClaimUsedAsReasoningBasisRelation@Context occurrences; it does not copy or own the compact. Pattern epistemes and U.MethodDescription epistemes supply clauses or declared premises; their described Methods remain distinct, while dated application Work and its separately governed result claims supply the reconciliation inputs.
Defines:OntologyClaimSourceUseRelation@Context and OntologySourceUseConflictFinding@Context for bounded ontology-decision and reconciliation source use only.
Coordinates with:A.10 for evidence use, G.11 for currentness, C.29 and direct formal patterns for formal semantics, C.2.1 for source epistemes, E.24.PUB for publication-occurrence, form, and carrier questions, E.17 for multi-view publication, and subject patterns for the receiving ontology claim.
Preserves: current landed FPF decisions as default internal basis while allowing grounded, claim-specific reopen. It does not replace E.9.DA review or DRR discharge.
Does not define: a universal source-authority kind, source role, prestige ranking, evidence relation, publication relation, or source-currentness relation.