Authorized subtraction and normalization

No finite-dimensionality of $\mathcal{A}$ is assumed. A normal-order bound alone does not establish it.

Distribution-extension theory requires its own scaling or growth hypotheses BF; it does not identify a subtraction as an allowed physical correction.

Microlocal extension results additionally impose hypotheses controlling the extension's wavefront set Dang.