Registry · Lemma
IV.L8
tau-effective
formalized
IV.L8 — Winding Preservation
Winding Preservation Lemma: any admissible endomorphism phi in HolEnd_tau compatible with the C-sector preserves the total eta-winding class modulo 3, ensuring baryon number conservation under all physically realizable processes.