Registry · Remark V.R150 tau-effective not_applicable

V.R150 — Local charges still exist

Local charges still exist: the theorem does not preclude local charges (electron -1, proton +1), but tau-admissibility guarantees every local charge has a compensating defect somewhere on tau^3 so that total boundary holonomy vanishes.

Book V Part 4 Ch. 29

Lean Formalization

Module: