Counterterms must be transported through the observable

A prospective counterterm calculation must distinguish:

A correction supported on an internal diagonal can acquire a spatial tail after a Newton inverse. No final support claim is made before that image is calculated.

The suggested four-derivative local search is only a declared search class. If the computed target requires other structures, one must report that fact or explicitly revise the class. A finite list copied from a different bulk two-point problem does not establish exhaustive coverage.