Registry · Definition IV.D243 tau-effective formalized

IV.D243 — Book V import list

Book V Import List: Book IV exports complete fiber T^2 physics, all 10 coupling constants as rational functions of iota_tau (Lean-verified), the defect functional delta[omega], the particle spectrum dictionary, the calibration anchor m_n, and five open problems (sphaleron, readout functor, dark matter, Lambda, closing identity).

Book IV Part 8 Ch. 56

Lean Formalization

Module: TauLib.BookIV.Coda.CompleteLedger

Symbol: Tau.BookIV.Coda.BookVImportList