Manuscript Em01-B@3 · Em01-B-v3.tex · proposition · 69189992
Proposition: Contact correction criterion
Output geometry and contact ambiguity · lines 1852–1862 · proof included or linked
Em01-B@3#prop:contacts
Corrections in that frozen collision-contact class do not change any value on tests supported in the retained patch. They cannot repair a convergence failure or a nonzero reconstruction-null defect detected there.
Proof. Their restrictions to the patch are zero.