Registry · Theorem
IV.T214
tau-effective
not_applicable
IV.T214 — Anomaly Cancellation as Naturality Requirement
Naturality of τ³ diagram category requires ΣY=0 (SU(2)²×U(1)) and ΣY³=0 (U(1)³). Anomaly-free = naturality-preserving; structural necessity, not fine-tuning.
Book IV
Part 8
Ch. 72