Registry · Theorem
IV.T06
tau-effective
formalized
IV.T06 — τ-Collapse (5→1)
5→1 collapse: of 5 relational quantities (M,L,H,Q,R), exactly 1 is anchor (M=m_n), 3 are ι_τ-derived (R,L,H), 1 is SI-exact (Q=e). Lean-verified list filter counts.