A named classical symbol space

The factor ${\sigma }_{\epsilon }$ is smooth even at $t=0$. No sharp step, boundary delta, or reflected sharp-Cauchy branch has been inserted. This proof uses the actual joint kernel, not smooth scalar tests evaluated at a fixed metric.