Registry · Proposition IV.P224 tau-effective formalized

IV.P224 — Cancelled-Form Error Budget (77 ppm RSS)

Cancelled-form error budget: R⁹ (70 ppm, 9× amplification), |V_ud|² (33 ppm, 2×), f(1+3g_A²) (9 ppm), (1−Δ_r)² (0.7 ppm). RSS = 77 ppm, 78× improvement over naive Fermi (6030 ppm). Theory-limited: theoretical RSS (77 ppm) < experimental uncertainty (570 ppm).

Book IV Part 8 Ch. 71

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.cancelled_form_budget