Registry · Theorem IV.T201 tau-effective formalized

IV.T201 — m_u/m_d Isospin Exponent from Higgs-Mediated Splitting

β(u/d) = lobes·n_H/W₃(4) = 2×7/5 = 14/5. n_H=7 Higgs crossing number (IV.T166), lobes=2 across both lemniscate lobes within one generation, W₃(4)=5 normalisation. Key: intra-generation uses lobes¹ vs inter-generation lobes². NLO coefficient 5/8=W₃(4)/lobes³. At +82 ppm.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.isospin_exponent