Assumption: Conjunctive supported-transfer contract

A comparison with a completion Green operation requires:

1. the angularly small chart, signature ledger, and parallel frame;

2. a declared compact regular reserve containing all retained shadows, initial-data regions, and intermediate source supports;

3. for each sign $\sigma =\pm 1$, the strict inequality

   $$\sigma (t-t^{\prime })<T_{\mathrm{arr}}(x,x^{\prime })$$

   on neighbourhoods of every compact pair support used in the operation and its estimates.