C0: copied release and the selected problem

The three endings are:

1. Constructed: the named maps exist and satisfy their declared interfaces.

2. Proved obstructed: an explicit incompatibility excludes every map in the previously declared class.

3. Unresolved: an extension, scaling estimate, or output wavefront theorem required for the release has not been established.

A failed sufficient product criterion belongs to the third category, unless an independent nonexistence argument is supplied.