Registry · Theorem IV.T161 tau-effective skeleton

IV.T161 — 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.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Particles.StrongCP

Symbol: Tau.BookIV.Particles.neutron_edm_zero