Assumption: Conjunctive supported-transfer contract

A companion calculation is transferred only if:

1. all retained data lie in an angularly small chart, with the signature and parallel-frame conventions fixed;

2. its full retained shadow, initial-data region, and all intermediate compact source supports lie in a declared compact regular reserve inside that chart;

3. each Green operation satisfies the appropriate signed pair window (eq:directional-window), on a neighbourhood of the compact pair supports needed for its seminorm estimates.

For the ball presentation $(\ast )$, a simple sufficient choice is

together with the stated time and regularity reserves. If a calculation uses a larger buffered time interval, its actual time extent replaces $T_{\mathrm{lab}}$ in the arrival bound.