Domain audit

The anti-time-ordering formula uses both $F{\star }_{c}G$ and $G{\star }_{c}F$. The comparison domain $D_{\mathrm{cmp}}=D_{\mathrm{decl}}\cap \sigma (D_{\mathrm{decl}})$, and then ${\mathcal{E}}_2={\mathcal{D}}_2\cap D_{\mathrm{cmp}}$, makes this requirement explicit.

Dagger stability of the inherited partial product is used only at its proved strength. Separate flip stability is not silently assumed for all of $D_{\mathrm{decl}}$.

No formula involving unspecified $V_1,V_2$, higher intermediate products, or a correction ${{\mathcal{B}}_f}^{(2)}$ is treated as defined merely because some displayed free factors are admitted.