Neutron EDM = 0 Exactly from τ-Framework
d_n = 0 exactly (not suppressed): d_n ∝ θ_QCD × α_s/(2π) = 0 by IV.T160. Consistent with experimental bound |d_n| < 1.8×10⁻²⁶ e·cm. The τ-prediction is stronger than Standard Model fine-tuning: not small but exactly zero.
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.T161
- Type: theorem
- Scope: tau-effective
- Lean status: skeleton
- Book / part / chapter: Book IV · Part 4 · Chapter 30
Result summary
| d_n = 0 exactly (not suppressed): d_n ∝ θ_QCD × α_s/(2π) = 0 by IV.T160. Consistent with experimental bound | d_n | < 1.8×10⁻²⁶ e·cm. The τ-prediction is stronger than Standard Model fine-tuning: not small but exactly zero. |
Related Results surfaces
- Chandrasekhar Mass Limit
- Neutron EDM
- Neutron Lifetime Puzzle
- No Axion Needed
- Proton Spin Puzzle
- QCD Confinement
- Strong Coupling α_s at the Z Pole
- Theta_QCD = 0 / Strong CP Problem
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, edm, fine, neutron, qcd
- result-facing terms: bound, prediction
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.