Common kernels after a smooth residual test

The sum-zero bound does not prove that multiplying $L_G$ by the two cross-lines is allowed. Their endpoint covectors can cancel the two nonzero attachment covectors. Nor does testing each fixed $G$ supply the uniform estimates needed to reconstruct a joint characteristic distribution in all four common variables.