Registry · Theorem IV.T129 tau-effective formalized

IV.T129 — Single-Anchor Sufficiency

R_mu requires exactly 1 empirical input (m_n) and 4 exact SI constants. Everything else is derived from internal categorical structure.

Book IV Part 8 Ch. 68

Dependency Graph

Depends on (2)

IV.D326 IV.D327

Lean Formalization

Module: TauLib.BookIV.Physics.ReadoutFunctor

Symbol: Tau.BookIV.Physics.single_anchor_sufficiency