p-n Mass NLO: C.5 Two-Sector Formula Structural Derivation
C.5 two-sector formula (m_n-m_p)/m_n = (3/16)·√3·ι_τ^5 - (3/20)·α·ι_τ^2 at +28 ppm. Structural derivation of both coefficients: 3/16=N_c/2⁴ (Dirac spinor-loop); 3/20=N_c/(4·W₃(4)) (EM crossing × Window). C.3 NLO also τ-effective at +5 ppm. First structural derivation of the EM co
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.T170
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book IV · Part 5 · Chapter 36
Result summary
C.5 two-sector formula (m_n-m_p)/m_n = (3/16)·√3·ι_τ^5 - (3/20)·α·ι_τ^2 at +28 ppm. Structural derivation of both coefficients: 3/16=N_c/2⁴ (Dirac spinor-loop); 3/20=N_c/(4·W₃(4)) (EM crossing × Window). C.3 NLO also τ-effective at +5 ppm. First structural derivation of the EM coefficient from Window Universality.
Related Results surfaces
- No existing public Results surface is linked yet; this record is promoted as a standalone Registry-backed result.
Reading role
Read as a standalone Registry-backed noteworthy result.
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, mass
- result-facing terms: derivation, formula
- theorem/proposition-class item appears externally legible enough for standalone review
Review notes
- No additional review notes recorded.