Residual testing and the information it does not preserve

The testing limitation in Input statement input:G remains in force. Smooth testing can remove attachment-diagonal wavefront directions from a tested kernel even when those directions are present in the joint kernel. The source illustrates this with a compactly weighted diagonal delta whose residual test becomes a smooth function.

The present patch neither enlarges that example into a model of the characteristic target nor derives a new estimate from it. Its role is negative and precise: regularity after every smooth metric test cannot be used as a substitute for an untested joint composition theorem. A source symbol of order two is a polynomial on the local operator relation. It is not the symbol of the gravitational response after propagation, and it is not the principal symbol of the full grouped cross-line composition.

Likewise, a definition of $E_{\mathrm{res}}[{\mathbb{B}}_{\mathrm{res}}]$ adds no output wavefront bound. Bundle typing specifies what a value would be if constructed. It does not construct that value, control its characteristic directions, or make it microcausal after pushforward.