The contact-support witness that would suffice

If all permitted corrections have support in a closed contact locus $C$, a computed null presentation $A\in H$ and an open set $G\subset W\setminus C$ satisfying

would exclude descent in that correction family. Indeed, for every permitted $a$,

This is the contact-support test of XV-B.

No such separated defect is computed here. Nor is the actual correction class proved to be exhausted by a contact-valued affine family. Therefore no obstruction outcome is asserted.