Remark: Residual fields and numerical parameters

The test $g$ still enters the coefficient of ${\mathsf{G}}_{12,23}$, even though its residual metric support is empty. Dependence on an observation test is not dependence on the metric configuration.

The bounds are inclusions, not exact-support assertions. They are properties of the constructed free outputs as configuration functionals. They are not retarded argument-slot theorems and do not reconstruct the inherited singular products.