Registry · Remark IV.R418 tau-effective not_applicable

IV.R418 — Muon g-2 Anomaly Resolution Requires Sub-ppm α

Muon g-2 anomaly is ~2 ppm effect; α_τ precision (9.8 ppm) too coarse to resolve. Sub-1-ppm α_τ would promote a_μ from structural validation (~9 ppm) to discriminating HVP test. In τ³, HVP arises from T² mode dynamics with κ(C;3) = ι_τ³/(1−ι_τ) ≈ 0.060. Structural HVP derivation from T² mode sum is open problem.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.muon_g2_alpha_limitation