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