Registry · Remark IV.R371 tau-effective formalized

IV.R371 — The meaning of 0.6%

The 0.6% gap between the spectral formula alpha_spec^{-1} ~ 136.2 and experimental alpha^{-1} = 137.036 is a correction term, not an error; the spectral formula is the leading-order approximation from sector coupling algebra alone, with Route B (holonomy formula) closing the gap.

Book IV Part 4 Ch. 29

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.TheMeaningOf06