Proposition: Corrections vanishing on the patch

If every permitted correction restricts to zero on $U$, then a fixed-test raw divergence supported in $U$ cannot be removed by those corrections.

Proof. Every such correction pairs to zero with every test supported in $U$, at every scale. It leaves the detecting pairing unchanged.