D3: the necessary cocycle and its consequence

The criterion excludes successful maps in the whole frozen class, not just an enumerated ansatz. A proposal whose directional operator or composed kernel is undefined already fails an interface; any proposal for which those interfaces are defined is subject to the same theorem.

The nonzero commutator required by Proposition prop:criterion is established in Section sec:witness using the copied witness, not a new cylinder integration.