Registry · Remark V.R348 tau-effective not_applicable

V.R348 — The 5-to-1 collapse

Layer 2 realizes 5-to-1 collapse: m_n fixes M, remaining 4 units determined by dimensional analysis and sector couplings.

Book V Part 8 Ch. 71

Lean Formalization

Module: