The exact Noether identity

This is the switch-defect mechanism of X-E XE (Noether identity), now explicitly retained on the completion. The generally noncompact set $\mathrm{supp}(1-g)$ is never replaced by a compact source.