A.21:12 - Relations

• A.20 supplies exact internal-constraint results or a complete required-set summary without gate policy.
• E.18 supplies selected-structure positions, paths, slices, and structural crossing facts; it does not make every work-entry question a gate or crossing.
• A.15.5 defines full-kit and work-entry readiness and remains the ordinary route when no gate decision is current.
• Source claims remain under the applicable subject patterns named in §4.9; safety and regulatory criteria remain with their domain patterns.
• F.9 and F.17 apply only to a separately established semantic correspondence and bounded use.
• E.17 governs a source-backed reader face and return to source; E.24.PUB governs publication occurrence, form, carrier, audience, bounded use, and availability when the result is published.
• G.6 applies when a citable evidence-provenance path is needed; G.11 governs source currentness and refresh when changed inputs may make the result stale. Reuse inputs and equivalence remain under §4.10.
• F.19 keeps the ordinary decision path visible before algebra, publication, and assurance extensions.