Normal order as an algebraic test condition

For $m\ge 0$, let ${\mathcal{I}}_m$ be the space of compact tests $\phi$ whose normal jets satisfy

A distribution has normal order at most $m$ in this section when it annihilates ${\mathcal{I}}_m$.

This is a fixed-coordinate normal-jet condition. It is not a transverse scaling-degree assertion.