Registry · Remark IV.R429 conjectural not_applicable

IV.R429 — m_u/m_d NLO Structural Analysis

NLO coefficient 5/8 = W₃(4)/lobes³ and exponent 14/5 = 2·lobes·(axioms−lobes)/W₃(4) = 2×2×7/5. Both decompositions post hoc. Derivation requires isospin-breaking on T²: (1,0) vs (0,1) winding mode energy splitting. Exponent 14/5 relates to m_μ/m_e NNLO 124/25. Formula remains conjectural.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.mu_md_nlo_analysis