Release and specification correction

and specification correction{ Selected route: direct paired composition on the proposed excess bundle. No other route is attempted.

Correction: the two relative transverse directions are not automatically an excess-two integration fiber. They measure failure of clean tangency for the specified matching problem.

Proved here: the regular six-constraint stage; the exact quadratic remaining constraint; the non-clean conormal matching; the rank-two tangent-defect bundle; and the rank-fourteen covector-sum projection with one-dimensional local fibers.

Ending: Unresolved at F2. No symbol bundle for the complete grouped coefficient is constructed. F3–F5 are not entered as constructions.

The pair, ${\mathfrak{C}}_{\mathrm{part}}$, source coefficients, and inverse $-1$ are unchanged. No ${R_1}^{(1)}$, characteristic subtraction, Ward defect, or sharp-width limit is released.}