Registry · Remark IV.R437 tau-effective not_applicable

IV.R437 — Precision Atomic Physics Assessment Update (Wave 46)

Updated atomic precision assessment: r_p NLO +12 ppm (best), r_p LO +440 ppm, g_p +2000 ppm (conjectural), Lamb ~1%, HF established. Proton charge radius is now highest-precision atomic prediction.

Book IV Part 6 Ch. 47

Dependency Graph

Depends on (4)

IV.T202 IV.T185 IV.T186 IV.P213

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.atomic_assessment_wave46