Registry · Remark IV.R354 tau-effective not_applicable

IV.R354 — Beta decay verification

Neutron beta decay n -> p + e^- + bar{nu}_e conserves charge as winding numbers: (+1) + (-1) + 0 = 0; conservation is not a separate postulate verified post-hoc but a topological constraint from pi_1(T^2) that shapes which processes the coherence kernel allows.

Book IV Part 4 Ch. 26

Lean Formalization

Module: