Registry · Theorem IV.T144 tau-effective formalized

IV.T144 — m_mu/m_e Leading-Order Formula

Leading order: m_mu/m_e ~ iota_tau^-5 at 44,258 ppm (4.4% gap). Exponent 5 = N_generators arises from boundary mode census: 5 = W_3(4) = NLO modulus. NLO correction factor c_mu = 0.9576 requires first-principles derivation. Best single-term candidates: -5*alpha at 6156 ppm, -(1/3)*iota^2 at 3710 ppm. NLO problem open as OQ-C5a.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: muon_mass_leading