Theorem: XIV-F mathematical release

For the frozen retained instance:

1. the six regular constraints define $S_6$, and the remaining cone equation is the exact quadratic expression (eq:qR-on-S);

2. the specified conormal fiber product is smooth of dimension fifteen but has a seventeen-dimensional linearized matching space;

3. the resulting tangent-defect quotient is a smooth rank-two bundle identified by (eq:defectmap);

4. its geometric quadratic form is nondegenerate, but the covector-sum projection has one-dimensional local fibers and a fourteen-dimensional isotropic image;

5. these results do not construct a common symbol, complete remainder estimate, or characteristic prescription for (eq:target).

The complete grouped target has the ending Unresolved at F2, within the inherited E1/D2/J2 stop.

No universal characteristic-extension obstruction, admitted ${R_1}^{(1)}$, or Ward defect is asserted.

Proof. Proposition prop:regular and Corollary cor:notredundant prove (i). Theorem thm:nonclean proves (ii). Proposition prop:defect proves (iii). Proposition prop:quadratic and Theorem thm:projection prove (iv).

Theorem thm:route identifies the failed direct construction hypothesis. Proposition prop:noverdict separates it from cancellation of the complete coefficient. Sections sec:F3F4 and sec:F5 record the absent symbol, remainder, and prescription. Under the fixed release criteria, the ending is Unresolved.