Lemma: A coordinate change preserves the dependency graph

Applying one bijection ${\beta }_{\phi }$ to a complete network does not create a directed graph cycle. For a spatial round trip, the sum of retimed durations equals the original total duration.

Proof. A graph isomorphism preserves directed cycles. On a spatial round trip, the correction terms $\phi (y)-\phi (x)$ telescope.