Registry · Theorem IV.T205 tau-effective formalized

IV.T205 — α Precision Barrier at 9.8 ppm

α = (121/225)ι_τ⁴ at 9.8 ppm is current precision limit. 11/15 is unique a/b≤100 within 10 ppm of CODATA. All NLO candidates overshoot or wrong sign. Residual likely encodes running coupling effects at ~10⁻⁵ level.

Book IV Part 1 Ch. 10

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.AlphaPrecisionBarrier