Version and correction notes

The supplied original XVI-J cited an unavailable local script as the proof of the Hessian and decorated tensor. That dependency is removed. The closed quadratic polynomial, the complete contraction tables, and the included verification program replace it.

The historical correction ledger referred to an earlier XVI-I draft. The revised XVI-I supplied in this conversation already separates numerical relative kernels from smooth coefficients, includes insertion-source derivatives in the fuller power count, and proves compressed attachment under the same root cone premise. It is therefore not described here as still stopping at an unnamed root-product domain.

The present narrowing is intentional: none of those fuller derivative sectors is added to XVI-J by implication. The constructed kernel remains the undifferentiated square.

Bibliographic versions of manuscript sources below refer only to the supplied text and excerpts. A companion retrieval summary is not treated as verification of an entire manuscript or as a source of extra formal premises.