Standard microlocal verification interface

This section states general distributional tests. It does not provide a wavefront estimate for an XVI-A kernel.

Let $X,Y,Z$ be smooth manifolds. Fix compatible smooth density conventions. For $v\in {\mathcal{D}}^{\prime }(X)$, $\mathrm{WF}(v)$ is a conic subset of $T^{\ast }X\setminus 0$. Tensor-valued kernels can be checked in local smooth frames.