Registry · Theorem IV.T108 tau-effective formalized

IV.T108 — tau-Collapse: Five to One

Of the five relational units (M, L, H, Q, R), exactly four are determined by iota_tau through the sector structure and tau^3 fibration: R from depth-ordering, L from torus shape ratio, H and Q from arena geometry. Only M = m_n requires independent experimental measurement.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchorExt

Symbol: Tau.BookIV.Calibration.TaucollapseFiveToOne