Registry · Remark IV.R31 tau-effective formalized

IV.R31 — Weinberg Angle Gap Assessment

The 2.7% gap lies precisely in the range expected from one-loop QFT corrections. Systematic τ-radiative correction derivation is an open problem.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (2)

IV.T61 IV.P69

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.WeinbergAngleGapAssessment