Release and first missing gate

and first missing gate{ Selected route: operator and pullback calculus from the complete regrouped expression, with no common product phase.

Copied boundaries: the elementary phase is non-clean; the direct clean-excess-two matching is excluded; the tangent defect is not an excess fiber; the rank-fourteen image is not a Lagrangian relation in $T^{\ast }W$.

Proved here: the local differential-operator typing of the tested source; loss of attachment information under smooth residual testing; and failure of an automatic factorwise pullback argument at the retained characteristic covectors.

First missing gate: G2. The complete internal symbol relations and the common relation and bundle for the grouped coefficient have not been constructed.

Ending: Unresolved. No joint symbol, complete cancellation, characteristic prescription, ${R_1}^{(1)}$, or Ward defect is released.}