The named joint test

Include zero covectors in the closed future and past causal cones ${\overline{V}}_{+},{\overline{V}}_{-}$, and define

The polynomial microcausal test requires compact derivative kernels and

This is the standard cone condition FR (Section 4). We first apply it to the multiplet $(h,k,\phi )$. That joint mathematical test does not quantize the backgrounds.