Derivation Chain Complete --- IV.T15
The 10-link derivation chain from axioms K_0-K_6 to the predicted electron mass m_e = m_n/R is complete: every link is either established (formalized in Lean with zero sorry) or tau-effective (derived within Category tau, consistent with all internal axioms), with no conjectural
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.T117
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book IV · Part 3 · Chapter 25
Result summary
The 10-link derivation chain from axioms K_0-K_6 to the predicted electron mass m_e = m_n/R is complete: every link is either established (formalized in Lean with zero sorry) or tau-effective (derived within Category tau, consistent with all internal axioms), with no conjectural links.
Related Results surfaces
- Electron Mass at 0.025 ppm: 10-Link Derivation from K0–K6
- Electron Mass at 0.025 ppm: 10-Link Derivation from K0–K6
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: electron, mass
- result-facing terms: derivation
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.