Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 05:35:10 UTC
A.9:9 - Relations
Pattern
Contribution and boundary
A.1 and B.1
Identify the whole, parts and construction when those are the subjects; they supply no universal aggregation algebra.
A.7
Keeps the mathematical operation, its subject, performed Work and claims about its result distinct.
A.8
Tests a proposed durable U-kind’s universal-core placement only when that separate admission question is live.
C.29
Governs the mathematical representation and its subject correspondence; domain theory supplies the application law.
A.19.CN, A.19.CHR and A.19.ULSAM
CN records the selected characteristic basis and aggregation claim; ULSAM operates the selected CHR fold under its own admissibility and scale rules. A.9 settles an unresolved choice or needed property before reliance.
B.1.5 and B.1.6
Supply direct Method-composition and resource-accounting rules for those uses.
B.3
Supplies assurance when the receiving claim requires it.
B.2
Governs whole reidentification independently of aggregation-law failure.