Hypothesis: T: Payload-natural spacetime transport

For the fixed-wire experiment class of Definition def:experiment, assume the following.

For each $g\in {\mathcal{P}}^{\uparrow }$ there are numbers $a_j(g)\to 0$, independent of the complexity and payloads of a source skeleton at scale $j$. For every source experiment $\xi$ at that scale, and every sufficiently large target scale $m$, there is a transported experiment with:

1. exactly the same complete report law and labelled alphabets;

2. declared support at Hausdorff distance at most $a_j(g)+b_{\xi ,g,m}$ from $g{K}_{\xi }$, and each acquisition event within that bound of its corresponding $g$-image, where $b_{\xi ,g,m}\to 0$ as $m\to \infty$ at fixed $\xi ,g$;

3. a skeleton and routing plan independent of payloads;

4. matched transports of payload-modification pairs, with differences confined within the same error of the transformed modification footprints.

The spacetime bound covers all paths, waits, allocation interfaces, and retained record storage, not just spatial routes and meeting endpoints. The identity case is required as well.