Registry · Theorem IV.T185 tau-effective skeleton

IV.T185 — Proton Charge Radius from Compton Scale at +440 ppm

r_p = 4ℏ/(m_p c) = 4λ̄_p = 0.84124 fm at +440 ppm from CREMA 0.84087±0.00039 fm (<1σ). Factor 4 = 2^(dim(τ³)−1) = 2²: two polarities × two lobes on L. Resolves proton radius puzzle by selecting muonic hydrogen value.

Book IV Part 6 Ch. 47

Dependency Graph

Depends on (2)

IV.T86 IV.T109

Depended on by (6)

IV.P126 IV.P127 IV.P213 IV.R424 IV.R437 IV.T202

Lean Formalization

Module: TauLib.BookIV.Atoms.HyperfineStructure

Symbol: Tau.BookIV.Atoms.proton_charge_radius