Registry · Remark IV.R374 tau-effective formalized

IV.R374 — Origin of the formula

The holonomy formula alpha^{-1} = (16/pi^3)(M^2 H^3 L^6 / Q^4) = 137.036... was first presented in a Springer Nature preprint (December 2024); the structural models are superseded by tau^3, but the formula itself survives as arena-level holonomy readout with zero relative deviation.

Book IV Part 4 Ch. 29

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.OriginOfTheFormula