The independent field contract

Let $\mathcal{E}$ be a dense common invariant field domain. An operator-valued distribution below means a linear test-function map whose matrix elements on $\mathcal{E}$ are distributions. All derivatives are distributional. We make no evaluation at a singular spacetime point.