Registry · Proposition IV.P206 tau-effective skeleton

IV.P206 — Electroweak Boson Mass Ratio Consistency

Three electroweak boson mass ratios from ι_τ: m_H/M_W = 1.55782 at +8.8 ppm (sub-10 ppm because common ι_τ⁻³m_n cancels), M_W/M_Z = 0.88045 at −1039 ppm, m_H/M_Z = 1.37158 at −1030 ppm. M_Z-involving ratios limited by tree-level Weinberg angle.

Book IV Part 3 Ch. 25

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.ElectroweakMixing

Symbol: Tau.BookIV.Electroweak.ew_mass_ratio_consistency