Non-claims

No Ward identity, common product phase, or joint principal symbol is asserted. The four symbols written with $\mathsf{P}$ ($\text{PPcalnote}$ of XII-A and XII-B, $\mathfrak{P}$ of XII-D, $\mathsf{P}$ of XIV-I) and the four written with $R$ ($R$, $R_1$, ${R_1}^{(1)}$, $\mathcal{R}$) are not identified; the first two $\mathsf{P}$'s belong to non-inputs here. XIV-I's statement that $R$ is the kernel of its ${E_0}^{\mathrm{R}}$ II2,Ipole stays inside XIV-I's namespace; by XVFpatch (Lemma lem:R(iv)) any past-bounded right inverse of $\square$ is convolution with $R$, which decides nothing across sheets. Canonical agreement on $O$ is the restricted inclusion of Proposition prop:restricted, not descent through the global criterion. The correction class is not declared exhaustive. Theorem thm:normalorder concerns internal expressions; it says nothing about ${\mathcal{C}}_{\mathrm{cross}}{K}_{\mathrm{supp}}$, about an extension across $N$, or about estimates. Convention def:Eres is a convention; its acceptance is the successor's decision. Nothing from XI-B, XII-A, XII-B, XIV-D, XIV-E, or manuscripts I–V is a premise.