Results Registry Noteworthy Result Canonical physics 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.
Results · Additional Noteworthy Results · Physics Related existing surface High confidence

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.

IV.T202 Physics Book IV tau-effective formalized

What this page is

This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.

Registry evidence

  • Registry item: IV.T202
  • Type: theorem
  • Scope: tau-effective
  • Lean status: formalized
  • Book / part / chapter: Book IV · Part 6 · Chapter 47

Result summary

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.

Reading role

Use as Registry evidence for an existing Results surface.

Claim boundary

This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.

Curation rationale

  • physics-facing terms: alpha, proton
  • candidate is better handled as evidence for an inferred existing public surface

Review notes

  • No additional review notes recorded.

Inspection Links

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert