A.14:5.4 - CT2R-LOG and Compose-CAL handshake

• A direct structural parthood claim is usable without this assurance handshake. If the publication elects B.3.5 or a named current requirement demands it, link the claim through tv:groundedBy to its applicable current C.2.1 Γ_m.sum or Γ_m.slice construction-trace episteme and declare validationMode=axiomatic. The direct relation pattern decides whether the occurrence obtains and how it is identified; the relevant entity pattern decides identity through change. The trace only reports that basis.
• AspectOf uses one current C.13 slice trace when that assurance branch is elected. The trace names the aspect, bearer, facet rule, relation occurrence, and identity conditions; it creates none of them.
• PhaseOf is temporal parthood and shall not be grounded through Γ_m. Its assurance follows the same-carrier and proper-interval criteria, the separately declared selected-partition rule when one is claimed, and Γ_time ordering (B.1.4).
• A collection’s own belongs-to relation remains distinct from constructive parthood (CC-MEM-2). State its participants, what makes it obtain, and whether later belonging is the same occurrence or a new one under the collection’s pattern. A direct claim needs no B.3.5 fields. If B.3.5 assurance is elected, link validationMode=axiomatic to one current C.13 set trace that reports the relation that already obtains. The trace supports neither a ComponentOf inference nor a universal prohibition on separately grounded parthood.

Two quick identity tests apply before relying on a trace. The same listed constituents can form a different whole when their direct assembly relations or rule differ. Conversely, a permitted constituent replacement can preserve the same whole. An equal input list, a repeated trace, or validationMode=axiomatic decides neither case.