Manuscript XII-D@1 · XII-D.tex · section · 308a2080
The actual local source kernel
D3: the completed-kernel cone calculation › The actual local source kernel · lines 923–942
The theorem includes the and kernels, not only the kernel. The proof is an explicit product–pushforward calculation; it is not an inference from smoothness of the response. There is no failed collinear product hypothesis to reinterpret as a no-go.
The bound is special to this finite Minkowski composition: constant fiber maps, translation-invariant Green kernels, local differential vertices, and smooth external weights supply covector balance. No corresponding theorem for an arbitrary nonlocal or curved-background kernel is claimed.
This admission concerns the changed functional (eq:CD). It does not supply a new representative of XI-G's original excluded shell class.