Registry · Remark IV.R352 tau-effective not_applicable

IV.R352 — Charge is geometry, not substance

Electric charge in Category tau is an output, not an input: it equals the winding number n_B of a U(1) holonomy class along the gamma-generator cycle on T^2, reversing the Standard Model's direction where charge assignments are postulated and constrained by anomaly cancellation.

Book IV Part 4 Ch. 26

Lean Formalization

Module: