A fixed insertion and contact prescription

Multiplication by ${X_a}^{\nu }$ and ${\sigma }_{X_a}$ preserves compact support. Thus the complete finite input-test family must include

rather than only the original tests.

The theorem retains contacts instead of inferring them from off-diagonal conservation. It permits cancellation among the tested defects; requiring each defect to vanish is sufficient, not necessary.