Release criteria and copied premises

The three endings apply to the retained characteristic construction:

1. Constructed: cancellation of the complete retained germ, with the necessary lower-order control, or one prescription with proved degree, normalization, ambiguity, and wavefront control. J3 may then be opened only for that distribution.

2. Proved obstructed: a demonstrated incompatibility excludes every map in a class fixed before the test.

3. Unresolved: the joint symbol, a required remainder estimate, or a prescription theorem is missing.

A nonzero $B_6$ numerator is not the second ending. Failure of a sufficient product test is not a nonexistence theorem. A successful local characteristic prescription would not, by itself, admit ${R_1}^{(1)}$ before J3–J5.