Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 05:55:15 UTC
A.6.RCD:13 - Relations
Entered from:A.6.P only after exact participants are recovered and no current direct relation closes the named receiving claim.
Builds on:A.6.REL for relation obtaining and occurrence identity; A.6.5 for participant declaration discipline; C.2.1 for local claims and predicate-definition epistemes; and the direct subject patterns supplying base relations.
Coordinates with:A.11, E.24, and E.24.UK for parsimony, ontic settlement, and durable admission; A.6.0 for possible ordinary U.Signature membership of a genuinely reusable predicate-definition episteme before relation-kind admission, and for RelationSignature only after the exact relation kind is admitted; C.29 for derivation representations; F.9 only when a consumed result relies on an obtaining Bridge between two exact F.17 cells and its separate bounded-use claim; the applicable plane relation and policy only when an exact ReferencePlane crossing is current; B.3 only when an actual named assurance claim uses an applicable declared domain calculation for a Bridge-related penalty, with any resulting penalty confined to the calculated assurance result for that named use; F.18 for names and designators after settlement; and G.11 for dependency currentness and scoped refresh. Bridge and plane branches may coexist, but neither supplies or requires the other.
Does not replace: direct subject relation patterns, A.6.P, E.24.UK, C.29, F.18, evidence or assurance patterns, or work and decision patterns.