Manuscript XIX-D@1 · XIX-D.tex · lemma · 1f47e33b
Lemma: Support separation
Counterterm images, finite cancellation, and projection › Contact-supported changes cannot repair an off-contact witness · lines 793–804 · proof included or linked
XIX-D@1#lem:contact
Let all permitted corrections be distributions supported in a closed set . If a defect distribution has a nonzero pairing with a test supported in the complement of , no permitted correction cancels .
Proof. Every permitted correction pairs to zero with that test. The nonzero defect pairing therefore survives.