R~formula independence
The mass ratio formula R = iota_tau^(-7) - (sqrt(3) + pi^3*alpha^2)*iota_tau^(-2) does not depend on kappa_n. The electron mass derivation (0.025 ppm) is entirely insulated from uncertainty in the co-rotor coupling; the closing identity is a consistency check, not a dependency.
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.R276
- Type: remark
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book IV · Part 2 · Chapter 13
Result summary
The mass ratio formula R = iota_tau^(-7) - (sqrt(3) + pi^3alpha^2)iota_tau^(-2) does not depend on kappa_n. The electron mass derivation (0.025 ppm) is entirely insulated from uncertainty in the co-rotor coupling; the closing identity is a consistency check, not a dependency.
Related Results surfaces
- Electron Mass at 0.025 ppm: 10-Link Derivation from K0–K6
- Muon-to-Electron Mass Ratio
- 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: alpha, electron, mass
- result-facing terms: derivation, formula
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.