Release criteria and copied inputs

The endings are Constructed, Proved obstructed, and Unresolved. They apply to the object actually named. Failure of a sufficient distribution-product hypothesis would not prove nonexistence. An empty coupled solution fiber would not obstruct a prescribed gauge-fixed response.