F.15:16 - Relations

• F.17 and F.18. Supply exact scheme-based cells, basis relations/descriptions, NameCards, selected designations, rows, and editions. In an F.15 check, verify those values without selecting or publishing a name.
• F.14, F.8, and F.13. Govern anti-explosion, mint-or-reuse decisions, and lineage before F.15 checks the resulting exact refs.
• F.4 and exact system-role patterns. Define system-role-kind-description epistemes, local system-role kinds, relations among them, assignments, and work claims that the harness cannot absorb.
• F.9, C.2.1, A.10, and B.3. Govern actual Bridge occurrences, separate bounded-use claims, evidence reliance, and assurance. Descriptions, Cards, CL, and witnesses are not relation truth or use authority.
• F.10 or the applicable status pattern. Use it for status family, value, target, scope, window, source, and use claims.
• A.1.1 and A.22. Supply an optional independently selected bounded-model-use Structure only when its organization changes the checked use; description and membership remain separate.
• A.13, A.15.1, F.6, and A.6.1. A.13 recovers each exact actual performer and A.15.1 independently admits dated Work; F.6 adds only an expressly consumed precise assignment-bound attribution through the same obtaining A.13 assignment, and A.6.1 governs exact rule application. Ordinary checking need not be admitted as U.Work, and missing or failed F.6 leaves any independently admitted Work intact.
• E.24.PUB and G.11. Govern publication occurrence/form/carrier and currentness separately from the checked record.
• C.34. Supplies architecture-specific preservation or equivalence adequacy when exact selected architecture structures and losses are the live subject; F.15 carries only the finite regression check and result refs.