Remark: An important correction

An instantaneous off-diagonal timelike conormal is not by itself a microcausal exclusion: its sign pattern matters. Here the signs in the two field slots are opposite. The obstruction to directly importing the compact Wick theorem for $K_f$ is global noncompactness, not an asserted same-sign wavefront pair.