Copied prerequisite sheet

The three endings have their inherited meanings:

1. Constructed: the named correction exists, is admitted, and satisfies every declared interface.

2. Proved obstructed: an explicit incompatibility excludes every successful map in a previously frozen class.

3. Unresolved: a required map, representation, cocycle, admission, or support theorem has not been established.

A missing map is not a no-go. A sufficient wavefront criterion that fails is not, by itself, a nonexistence theorem.