Registry · Remark
IV.R383
tau-effective
formalized
IV.R383 — Definition versus theorem
In the Standard Model, chirality selection is a definition: the Lagrangian couples W to psi_L = (1/2)(1 - gamma_5)psi; in Category tau it is a theorem derived from CR-structure, sigma-involution, and balanced polarity; SU(2)_L is a compressed encoding of a structural fact, not wrong but not fundamental.