Registry · Theorem IV.T178 tau-effective skeleton

IV.T178 — Z Boson Mass from Window Universality at +1039 ppm

M_Z = M_W/√(1−ι_τ+ι_τ²) ≈ 91,282 MeV at +1039 ppm from PDG 91,187.6±2.1 MeV. Uses on-shell relation M_Z = M_W/cos(θ_W) with tree-level Weinberg angle sin²θ_W = ι_τ(1−ι_τ). Precision limited by tree-level θ_W; NLO formula matches MS-bar scheme (0.23122 at −0.7 ppm) but requires radiative correction Δr for on-shell mass relation.

Book IV Part 3 Ch. 25

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.ElectroweakMixing

Symbol: Tau.BookIV.Electroweak.mz_from_mw_weinberg