Registry · Proposition IV.P75 conjectural formalized

IV.P75 — Higgs Mass Readout

Under calibration anchor, τ-Higgs mass reads out to M_H ≈ 125 GeV, consistent with measured 125.25 ± 0.17 GeV. Precision ~1%, limited by Hessian eigenvalue computation stage.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (2)

IV.D141 IV.L07

Depended on by (1)

IV.T66

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.HiggsMassReadout