Release and first missing step

and first missing step{ Frozen: the pair, six-branch germ, Hadamard matrix, inverse coefficient $-1$, switches, width, and ${\mathfrak{C}}_{\mathrm{part}}$.

Proved here: an exact regrouping of the entire retained smooth-slot expression; its complete scalar-response root formula; the distinction between the two characteristic lifts; and failure of the elementary sum-of-line-phases construction to be clean.

Not proved: a common principal-symbol calculus for the grouped characteristic contraction, cancellation of its complete symbol, control of its lower-order terms, or a characteristic prescription.

First stop: E1, within D2/J2. The missing step is the common microlocal composition theorem. The phase calculation below excludes one proposed shortcut, not every possible construction.

No ${R_1}^{(1)}$, Ward defect, new contact class, or characteristic subtraction is released.}