Registry · Theorem V.T157 tau-effective formalized

V.T157 — Calibration Sufficiency

SI calibration cascade is sufficient: every constant in the ledger is determined by iota_tau and m_n with zero additional free parameters.

Book V Part 8 Ch. 71

Dependency Graph

Depends on (1)

V.D220

Lean Formalization

Module: TauLib.BookV.Coda.CalibrationChain

Symbol: Tau.BookV.Coda.calibration_sufficiency