Registry · Theorem IV.T166 tau-effective formalized

IV.T166 — Higgs n=7 Formula at +8.0 ppm from PDG 125.20 GeV (tau-effective)

Tau-effective: m_H = (4 - iota_tau^3/(1-7*kappa_omega))/kappa_omega * m_n = 125.2010 GeV at +8.0 ppm from PDG m_H = 125.20 GeV (PDG 2024). Here kappa_omega = iota_tau^3/(1+iota_tau) = 0.02964. Full n-scan with PDG 125.20 GeV: n=5: +891.9 ppm (tau-eff structural, IV.T155); n=6: +465.9 ppm; n=7: +8.0 ppm ***; n=8: -485.5 ppm. The PDG update from 125.25->125.20 GeV shifts the optimal n from 6 to 7. Second-order expansion: 49*(1+iota_tau)*kappa_omega^2 (n=7 NNLO term) vs 25*(1+iota_tau)*kappa_omega^2 (n=5, = W_3(4)^2 term). The ratio 49/25 = (7/5)^2 = (n/W_3(4))^2 is structurally notable.

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (3)

Depended on by (9)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.higgs_n7_tau_effective