Registry · Remark IV.R120 tau-effective formalized

IV.R120 — One constant one anchor zero parameters

Every fundamental particle mass in the table is determined by one dimensionless constant iota_tau = 2/(pi+e), one dimensional anchor m_n = 939.565421 MeV, and zero free dimensionless parameters; the Standard Model's ~25 free parameters (Yukawas, gauge couplings, CKM/PMNS, Higgs VEV, QCD angle) reduce to this single input.

Book IV Part 6 Ch. 46

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.OneConstantOneAnchorZeroParameters