Registry · Definition IV.D385 conjectural formalized

IV.D385 — α NLO Correction Candidate Catalog

Four NLO candidates for α=(121/225)ι_τ⁴(1+δ_α): A (+158 ppm), B (+543), C (−2330), D (+6470). None improves 9.8 ppm: smallest perturbation overshoots, negative candidates too large. Honest documentation of precision barrier.

Book IV Part 1 Ch. 10

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.AlphaNLOCatalog