Friedrichs heat kernel and the massless state

The algebra is the extension-selected test-field CCR algebra. Its commutator is the causal kernel of that extension. No compact-test exactness assertion $\ker E=P{C}_c^{\infty }(M)$ is needed. That separate question is recorded as open in the supplied I-B-G :compact-exact.