Collision contacts cannot fill the characteristic gap

This is a necessary ambiguity check, not nonexistence. A canonical or otherwise uniquely fixed characteristic prescription could in principle have no such extra ambiguity. No theorem establishes that prescription here.

In particular, “choose the partial contacts” is not a definition of the graph on $V$. The contacts can change collision extensions only after the off-collision graph, including its characteristic configurations, is defined.