Debugging record

The following repairs are part of the final formulation.

1. Evidence coverage. The supplied relationship account is not promoted to a full-corpus verification. Direct excerpts and reported relationships are distinguished.

2. Truncated X-F order. The missing end of the X-F sentence is not guessed. Any future full-source revision must insert the exact coupling boundary and its theorem locator.

3. Convolution identity. The convolution witness is not identified with the ramp edge integral. Its obstruction remains bounded by its frozen algebra.

4. Historical versus current stop. H2 is the XIV-H stop. After I2 is supplied, the relevant open operation is I3, continued as J2 in XIV-J. Listing H2 does not mean it remains the first missing gate.

5. Reconstruction image. Descent determines a unique map on $\mathrm{im}\mathsf{Rec}$. Uniqueness on a larger ${\mathcal{K}}_{\mathrm{int}}$ requires that this carrier be exactly the reconstructed image or that additional extension data be given.

6. Supported conditional extension. The normal-jet coefficient equivalence explicitly requires support on the response incidence. It is not an equivalence for arbitrary extensions with additional support elsewhere on the characteristic locus.

7. Domain equality. The canonical-domain representation is not treated as proving an equality between $U_{\mathrm{can}}$ and an entire complement of $N$.

8. Degree bookkeeping. The null presentation qualifies the use of polynomial degree as intrinsic data. It does not invalidate the estimates on XIV-I's presentation module.

9. Graph content. $K_{47}$ already groups two branches. $K_{\mathrm{supp}}$ contains only $K_6+K_8+K_9$. Neither notation permits omission of either $K_5$ placement or of the regrouped $K_{47}$ target.

10. Regulator and limit. The internal Fourier damping represents an existing retarded line. It is not a graph-product regulator. The fixed-input scalar sharp-width limit is not joint quantum-graviton sharp admission.

11. Status language. “No coefficient is admitted in this release” is not rewritten as “no coefficient exists.” A failed sufficient product criterion is not a universal exclusion.

12. Algebraic carrier checks. An algebra generated by local functionals need not consist solely of local functionals: multiplying two single-integral functionals generally gives a double-integral expression. A proposed carrier must specify whether it includes the resulting multilocal elements.

13. Tangency and parity checks. If a proposed differential sends a compact antighost to an unrestricted auxiliary field, preservation of the declared compact-antighost domain needs proof. A single coupling convention across even and odd species also requires a generator-level graded-sign check. These are checks to perform, not verified defects of a manuscript whose complete differential was not supplied.

14. Registration language. The supplied account states that XV was not among the registered manuscripts. This document is the proposed XV-A audit. Its preparation neither changes that historical coverage statement nor establishes the admission needed for XV-B.