Debugging record

ooth-difference clause and on translation invariance of the replaced blocks.

• XII-B, XII-E, X-B. XII-B is used for its own objects only; XII-E only for the display (eq:a2); the X-B summary is a non-input.

• Disjointness and necessity. Errata (E1)–(E2) to XV-E are phrasing corrections; no theorem of XV-E is withdrawn.

• {$T^{\circ }=0$ instance.} In Theorem thm:dimension(i), XV-E's Lemma lem:flat is applied to $T=s$ as an extension of the zero distribution; all hypotheses are checked.

• Branch counting. Six operational entries; $K_{47}$ groups two originals; both $K_5$ placements belong to $B_5$; the supported sector is not the full sum.

• Prescription. Pole, propagators, carrier, normalization, and ambiguity class unchanged; recovered displays are transcribed, not modified.

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