Declarations

scope. The new proofs concern local source typing, the relation audit, loss of wavefront information under residual testing, and the ordinary factorwise pullback test. No joint characteristic distribution is asserted.

scope. Only XIV-F, XIV-E, XIV-D, XIV-C, XIII-C, XIII-B, XII-E, and XII-C are analytic manuscript inputs. Their handoffs retain their predecessor scope. No incidence ledger or excluded phase or matching is re-proved.

-symbol scope. The conormal orders and symbols assigned in the factorwise audit belong only to its two individually defined factors. They are not orders, degrees, or symbols of the complete grouped coefficient. The audit does not expand the grouped cross-line difference into undefined mixed products.

scope. The local symbol of ${\mathcal{J}}_{\mathrm{D}}^{\prime }[G]$ retains the full actual source. No layer coefficient is discarded. Internal vertices are governed by their existing kernel maps, not identified with the retained external points.

scope. The class ${\mathfrak{C}}_{\mathrm{part}}$ is unchanged. No characteristic-supported difference is reclassified as a collision contact, and no reference prescription is selected.

calculus. Individual regular conormal and differential symbols are used only after their local relations and orders have been named. Preliminary products pass the stated product tests. The failed final test is reported as failure of a sufficient construction, not nonexistence. No submanifold extension theorem is applied to the missing target.

scope. No renormalized quantum coefficient, Ward defect, interacting differential, state, loop value, triangle residue, or sharp-width limit is supplied.

. No successful pdflatex execution, proof-assistant verification, independently executed symbolic computation, independent referee review, or journal acceptance is asserted. The release consists of the displayed analytic proofs and the explicit unresolved gate.