Registry · Proposition IV.P209 tau-effective skeleton

IV.P209 — g-2 Falsification Criteria for τ³

Two testable g-2 predictions: a_e at −3 ppm (NLO), a_μ at +8.8 ppm. Both limited by α_τ at +9.8 ppm. Falsification: |α_τ−α_exp| > 100 ppm at >5σ refutes coupling formula. Improving α_τ to sub-1 ppm would make muon g-2 anomaly a discriminating test of HVP.

Book IV Part 2 Ch. 20

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.ElectronMass

Symbol: Tau.BookIV.QuantumMechanics.g2_falsification