Declarations

scope. The new proofs concern the untested source incidence, the three internal kernel maps, an existing retarded convolution, regular internal symbol charts, and their characteristic-diagonal transition geometry. No cross-line characteristic product is constructed.

correction. The first missing amplitude theorem is an H2 requirement. The manuscript therefore reports Unresolved at H2 instead of asserting an unsupported H2 construction and moving the same gap to H3.

scope. The internal response relation and the two $K_5$ relation pieces are not $J$, the excluded matching, or $S_6$. Their dimensions and tangent calculations have separate meanings. No tangent defect is renamed an excess.

scope. All orders assigned here belong to specified internal regular conormal charts. They are upper filtered orders unless equality is separately established. No transverse scaling degree of the grouped target is assigned.

and internal-vertex scope. All source coefficients remain those of the actual density-weighted Euler source. Internal equalities arise only from proved local incidences. No hidden vertex is assigned a retained configuration point.

scope. The analytic inputs are exactly those stated in H0. XIV-A and XIV-B are not hypotheses of any product, amplitude, or normalization argument. The inherited relative classical ledger is not recomputed.

calculus. Individual conormal conventions are used only after the relevant regular submanifolds and relations are identified. Defined submersion pullbacks and proper internal convolutions are distinguished from the unconstructed uniform amplitude map. Extension frameworks are not applied to the missing target.

. No successful pdflatex execution, proof-assistant verification, independently executed symbolic computation, independent referee review, or journal acceptance is asserted.