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).