Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:55:20 UTC
A.6.3:9 - Relations
A.6.0 supplies the direct declaration structure used in A.6.3:4.2.
A.6.2 supplies the effect-free morphism and composition discipline.
C.2.1 identifies source and receiving epistemes.
E.17.0 alone governs U.Viewpoint, conformance, and U.View membership.
A.6.3.CR governs conservative textual re-expression when wording and organization are the main change.
A.6.3.RT governs same-EntityOfConcern representation-scheme transition with explicit recoverability and loss.
A.6.4 governs a changed EntityOfConcern.
C.29 governs a declared mathematical-lens use of the construction or correspondence, including a diagram used for that mathematical claim.
A.13 supplies the basis for an explicit dated Work claim; A.15.1 and A.15.PROD govern its admission and any local entity-identity-inception or completion claim.
E.24.PUB governs publication occurrence, form, and carrier.
Use A.6.RCD when a needed correspondence relation lacks a governed expression.