R Formula Independence --- V.R03
The mass ratio formula R = iota_tau^(-7) - (sqrt(3) + pi^3 alpha^2) iota_tau^(-2) does not depend on kappa_n, c_1, or any parameter entering the closing identity. The exponent -7 comes from the Epstein zeta Z(4; i iota_tau), and sqrt(3) from lemniscate spectral distance.
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: V.T53
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book V · Part 2 · Chapter 20
Result summary
The mass ratio formula R = iota_tau^(-7) - (sqrt(3) + pi^3 alpha^2) iota_tau^(-2) does not depend on kappa_n, c_1, or any parameter entering the closing identity. The exponent -7 comes from the Epstein zeta Z(4; i iota_tau), and sqrt(3) from lemniscate spectral distance.
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, spectral
- result-facing terms: formula
- theorem/proposition-class item appears externally legible enough for standalone review
Review notes
- No additional review notes recorded.