Preflight verdict

The identity ${\mathcal{E}}_{g,\epsilon }\square \xi =\xi$ holds on the frozen algebra (Proposition prop:preflight), and the second-order mechanism is not merely plausible but available: the regulated operator is in divergence form with an auxiliary density that is natural under plateau transformations (Lemma lem:plateaucoord). The second-order manuscript is opened.