Registry · Remark V.R333 tau-effective not_applicable

V.R333 — No-isolated-charges as VM-shadow denial

Isolated charges require single-lobe boundary characters that violate crossing compatibility; structurally forbidden as VM shadows.

Book V Part 4 Ch. 30

Lean Formalization

Module: