Registry · Definition IV.D307 tau-effective formalized

IV.D307 — Particle Mass Table

The particle mass table lists predicted masses (m_e, m_p, m_W, m_Z, m_H, m_nu) as functions of iota_tau and m_n, compared against PDG values. The electron mass is predicted to 0.025 ppm from the Level 1+ formula; W, Z, Higgs deviations are structural estimates. All entries conjectural.

Book IV Part 2 Ch. 15

Lean Formalization

Module: TauLib.BookIV.Calibration.ConstantsLedgerExt

Symbol: Tau.BookIV.Calibration.ParticleMassTable