Registry · Theorem IV.T203 tau-effective formalized

IV.T203 — Neutron Lifetime Precision Prediction

τ_n = K/(|V_ud|²·(1+3g_A²)·f·(1+Δ_r)) ≈ 878.7 s. Bottle average 878.4±0.5 s → +340 ppm (<1σ). Beam average 887.7±1.2 s → −10200 ppm (~7.5σ excluded). τ³ prediction selects bottle value. Zero free parameters.

Book IV Part 8 Ch. 71

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.neutron_lifetime_precision