D02 formula lock (Cycle 5) Phi proxy, Coh proxy, and commutativity tests follow CYCLE_5_D02_EVIDENCE_CLASS_SPEC_v0_1.md. No hidden metric substitution is allowed after first fail on same data.
D02 formula lock (Cycle 5) Phi proxy, Coh proxy, and commutativity tests follow CYCLE_5_D02_EVIDENCE_CLASS_SPEC_v0_1.md. No hidden metric substitution is allowed after first fail on same data.