Registry · Proposition IV.P207 tau-effective skeleton

IV.P207 — Higgs-to-W Mass Ratio at +8.8 ppm (n=7 upgrade)

m_H/M_W = (4−ι_τ³/(1−7κ(ω)))/κ(ω) / [(17/5)ι_τ⁻³(1+(5/17)αι_τ²)] ≈ 1.55782 at +8.8 ppm from PDG 1.55781. Pure function of ι_τ (m_n cancels). Upgraded from conjectural (+379 ppm, n=5) to τ-effective (+8.8 ppm, n=7): 43× improvement. W₃(4)=5 appears in both Higgs and W formulas.

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs

Symbol: Tau.BookIV.Electroweak.higgs_w_ratio_n7