Bottom Mass from τ-Chain at −1351 ppm
m_b = (17/20)·ι_τ^(-20/13)·m_n = 4174.4 MeV at −1351 ppm from PDG 4180±7 MeV (0.8σ). Combined exponent −20/13 = −lobes²·W₃(4)/a₃ = −4×5/13. Standalone formula combining top prefactor with ratio exponent.
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.T193
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book IV · Part 5 · Chapter 36
Result summary
m_b = (17/20)·ι_τ^(-20/13)·m_n = 4174.4 MeV at −1351 ppm from PDG 4180±7 MeV (0.8σ). Combined exponent −20/13 = −lobes²·W₃(4)/a₃ = −4×5/13. Standalone formula combining top prefactor with ratio exponent.
Related Results surfaces
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.