Manuscript XIV-D@1 · XIV-D.tex · theorem · 1a7f173d
Theorem: D2 verdict
D2: the full joint-symbol test › A full fiber-tensor check for B 6 · lines 1200–1222 · proof included or linked
XIV-D@1#thm:D2
The complete retained incidence is named by (eq:retainedfull), but its joint-symbol cancellation test and lower-order control have not been established. Neither legal decisive D2 result—a complete cancellation theorem or a nonzero full symbol section—is released.
The first unresolved step is D2, within J2.
Proof. The algebraic and local-support identification is Theorem thm:incidence. The inherited characteristic relation does not satisfy the sufficient product criterion. No common microlocal composition theorem for (eq:retainedfull) has been proved.
Proposition prop:B6tensor cannot fill that gap by Corollary cor:branch. No independent prescription is constructed below. The missing conclusion is therefore reported as Unresolved, not as a universal incompatibility.