A published direct relation may remain usable without B.3.5 fields. When its publication elects B.3.5, follow the relation’s branch: structural parthood links its current sum or slice construction trace, while collection belonging links one current C.13 set trace under the collection’s own rule; both declare validationMode=axiomatic. The direct relation and identity tests remain decisive; trace and mode create neither occurrence nor identity.
Keeps direct use lightweight while making an elected assurance posture inspectable.
CC‑A14‑11
PhaseOf edges SHALL NOT use Γ_m for grounding. The relation record SHALL provide identity and proper-interval criteria per CC‑PHA‑1/2; a selected exhaustive partition additionally follows CC‑PHA‑3 and references Γ_time when ordering matters.
Keeps temporal parthood distinct from construction and partition-specific constraints.