Level 0 Range --- IV.T14
At exact iota_tau = 2/(pi+e), the Level 0 formula gives R_0 = iota_tau^{-7} - sqrt(3)*iota_tau^{-2} ~ 1838.698, with relative deviation from R_CODATA = 1838.683662 of approximately 7.7 ppm; the reduced mass parameter iota_tau^{-5} - sqrt(3) ~ 214.15 counts effective bulk modes ex
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.T119
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book IV · Part 3 · Chapter 25
Result summary
At exact iota_tau = 2/(pi+e), the Level 0 formula gives R_0 = iota_tau^{-7} - sqrt(3)*iota_tau^{-2} ~ 1838.698, with relative deviation from R_CODATA = 1838.683662 of approximately 7.7 ppm; the reduced mass parameter iota_tau^{-5} - sqrt(3) ~ 214.15 counts effective bulk modes exceeding the boundary correction.
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: mass
- result-facing terms: formula
- theorem/proposition-class item appears externally legible enough for standalone review
Review notes
- No additional review notes recorded.