Registry · Theorem IV.T202 tau-effective formalized

IV.T202 — Proton Charge Radius NLO at +12 ppm

r_p(NLO) = 4λ̄_p(1 − ι_τ²·α/|lobes|) = 4λ̄_p(1 − ι_τ²·α/2) = 0.84088 fm. NLO correction: ι_τ² (holonomy²) × α (EM coupling) / 2 (lobes average). CREMA = 0.84087 fm → +12 ppm, 36× improvement from LO (+440 ppm). Parallels g_A NLO structure.

Book IV Part 6 Ch. 47

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.proton_charge_radius_nlo