Exact ending

ending{ Unresolved at E1, within D2/J2.

The first missing theorem is a controlled common microlocal composition for the grouped six-branch expression. Neither full cancellation nor failure of full cancellation has been established. No characteristic prescription is constructed, and no universal obstruction is asserted.}