Registry · Proposition IV.P217 conjectural skeleton

IV.P217 — m_u/m_d NLO Candidate at +29 ppm

NLO achieves +29 ppm from FLAG lattice m_u/m_d=0.474±0.018: 1000× improvement over LO. But NLO structure found by scan, not derived from τ³ geometry. Alternative: ι_τ(1+ι_τ)=0.4578 at -3877 ppm (simpler, less precise). Remains conjectural pending NLO derivation.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.mu_md_nlo_candidate