Transport construction

The same construction applies to $Q$. Differential application of $\mathcal{F}$ in the full contraction matrix produces the corresponding auxiliary subtraction germs. This statement concerns free contractions, not an interacting lapse renormalization.

Changing $\ell$ changes the smooth local subtraction germ. It does not suppress a nondecaying smooth global bisolution. Local Wick-product normalization and global state selection are distinct obligations HWlocal.