Transport of internal counterterms

The admissible correction space cannot be obtained by simply naming the final attachment diagonal. It must be transported through the actual observable construction.

The following calculation is a distributional support test. It does not declare any particular counterterm physically admissible.