Registry · Theorem
IV.T56
tau-effective
formalized
IV.T56 — Tree-Level Rho = 1
At tree level rho = 1 exactly. In Category tau this is structural (sigma-equivariance at the lemniscate crossing forces custodial SU(2)), not accidental as in SM Higgs doublet theory.