Off-shell normalization and presentation independence

Throughout the argument:

• $B_f$ is exactly the functional (eq:B);

• $j=\square h$ is retained in (eq:wsplit);

• no free-equation quotient is taken;

• no independent coordinate field is introduced;

• all regularized coefficients are computed in the original Wick-symbol presentation.

The bulk representation (eq:Lret), the Cauchy-data/source representation (eq:wsplit), and the Fourier expression (eq:K) describe the same fixed operator. The obstruction is therefore not obtained by assigning different products to two presentations of the same classical kernel.