Manuscript En01-B@2 · En01-B-v2.tex · section · f226d1eb
Residual ledger
Preparation and detector conditions for the control › Residual ledger · lines 2033–2040
The disjoint-support condition is essential to this stated operator norm estimate. Gaussian packets require a tail/truncation certificate. Moving and deforming packets require a propagation certificate, not repeated informal use of the static result.