Declarations

scope. XIII-B supplies the tree datum, properness, convention, overlap, and unresolved binary gate. XIII-A supplies only the evaluation boundary. XII-A supplies the frozen product data and carrier. XII-D and XII-E supply the explicit source and completion branches. The incidence inventory, primitive scaling calculations, primitive extensions, and characteristic cancellation are given here.

of the unresolved ending. The manuscript does not claim a complete extension theorem. It identifies an additional joint microlocal issue that cannot be removed by citing a one-line proof or by allowing partial-diagonal counterterms. Failure of a sufficient criterion is not equated with failure of every possible construction.

. No successful pdflatex execution, proof-assistant check, independently executed symbolic computation, independent referee review, or journal acceptance is asserted.