Registry · Remark IV.R12 tau-effective formalized

IV.R12 — Charge Conjugation

C: α → −α kills first-order holonomy. Surviving order is α². This is why Level 1+ has π³α² not π³α.

Book IV Part 3 Ch. 24

Lean Formalization

Module: TauLib.BookIV.Physics.HolonomyCorrection

Symbol: Tau.BookIV.Physics.ChargConjugation