Release conventions and inherited inputs

The selected word is

Product-release outcomes are:

1. Constructed: named maps exist and satisfy every declared interface.

2. Proved obstructed: an explicit contradiction excludes every construction satisfying the specified interfaces.

3. Unresolved: a required construction or compatibility proof is unfinished.

The present causal-product release is (iii). A contradiction for one simultaneous prescription excludes that prescription only, unless all alternatives are separately excluded.

The supplied IX-Free-2 manuscript closes the declared free sector relative to its premises IXFreeTwo. Its result replaces the earlier degree-four descent and overlap stop in IX-Free IXFree. It does not remove the additional causal-extension obligations.