Registry · Proposition IV.P219 tau-effective formalized

IV.P219 — m_d/m_s Prediction at −1921 ppm

m_d/m_s = ι_τ^(64/23) = 0.05022 at −1921 ppm from PDG 4.7/93.4 = 0.05032. Exponent: 64/23 = lobes^(2·dim)/(a₃+2·W₃(4)) = 2⁶/23. Absolute m_d(τ) = 4.698 MeV at −365 ppm from PDG 4.7±0.07 MeV.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.down_strange_ratio