The observation support is not the functional support

Because ${\mathcal{D}}_f$ can meet ${\Sigma }_0$, a future quantum extension must also control distributions associated with the finite-time boundary prescription. Compactness of ${\mathcal{D}}_f$ in the closed half-space is not a substitute for a wavefront-set or boundary-extension argument.