Tau lepton mass exponent
The tau-to-electron mass ratio is m_tau/m_e = iota_tau^(-15/2)(1 + delta_tau) where delta_tau ~ +0.09 is an O(alpha) radiative correction; the bare topological exponent is 15/2 = 7.5, and the full-lemniscate winding mode produces the heaviest charged lepton.
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.P123
- Type: proposition
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book IV · Part 6 · Chapter 46
Result summary
The tau-to-electron mass ratio is m_tau/m_e = iota_tau^(-15/2)(1 + delta_tau) where delta_tau ~ +0.09 is an O(alpha) radiative correction; the bare topological exponent is 15/2 = 7.5, and the full-lemniscate winding mode produces the heaviest charged lepton.
Related Results surfaces
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
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.