m_u/m_d Isospin Exponent from Higgs-Mediated Splitting
β(u/d) = lobes·n_H/W₃(4) = 2×7/5 = 14/5. n_H=7 Higgs crossing number (IV.T166), lobes=2 across both lemniscate lobes within one generation, W₃(4)=5 normalisation. Key: intra-generation uses lobes¹ vs inter-generation lobes². NLO coefficient 5/8=W₃(4)/lobes³. At +82 ppm.
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.T201
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book IV · Part 5 · Chapter 36
Result summary
β(u/d) = lobes·n_H/W₃(4) = 2×7/5 = 14/5. n_H=7 Higgs crossing number (IV.T166), lobes=2 across both lemniscate lobes within one generation, W₃(4)=5 normalisation. Key: intra-generation uses lobes¹ vs inter-generation lobes². NLO coefficient 5/8=W₃(4)/lobes³. At +82 ppm.
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: higgs
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.