Debugging record

Stop rule. The verdict is fixed at Q2; Patches 3, 4 and the domain list are documentary. No gate after Q2 is declared passed.

Convention versus definition. C1 is labeled a convention throughout; Lemma lem:index is internal evidence, not a source identification.

Sign and index checks. Lemma lem:dB was checked on both the time and space components via the partial Fourier transform and against $\square \mathcal{B}=R$ (${\partial }^{\alpha }(\frac{1}{2}{x}_{\alpha }R)=\frac{1}{2}(4R+x\cdot \partial R)=R$, $R$ being homogeneous of degree $-2$). Lemma lem:vf was checked by substituting $u=a$, $d=b-a$, $r=a-z$. Lemma lem:T0chart's sign $(-1{)}^{|\alpha |+|\beta |}$ was checked against the pairing (P2) of the patch.

Index clash. The inner tensor index of $K_8$ is written $\kappa$; the source writes $\alpha$ for both it and the multi-index of $Q$.

Normal order is not regularity. ${{\mathcal{J}}^3}_{\infty }$ membership is an algebraic form statement on $V_{+}$; it is not the conormal amplitude statement of XIV-H and not a wavefront theorem.

Two readings. Corollary cor:tworeadings records that $\ker {\mathsf{Rec}}_e$ on the supported sector is zero or nonzero according to an undisplayed choice; neither reading is adopted.

Copied displays. $K_8$, $K_9$ appear once, in sec:entries, for enumeration; Patch 3 instantiates ingredients only and recopies nothing.

input:EC. The content of XIV-H's input statement is not in the retrieved record; two of the Q3 items reduce to its quotation. It is cited as a locator HinputEC, not as a display.

Non-inputs. XII-B's ramp and trace reversal are not used; (G3). XII-A's blocks are not used; D0.11 is carried as open.

Corrections. (G1)–(G3) correct statements of the patch; no theorem of the patch is withdrawn; Proposition prop:support of the patch is sharpened, not contradicted.

Compilation. mathrsfs loaded for ||; all macros defined; all || and || targets exist; tabularx widths sum to less than ||; no non-ASCII characters in mathematics.