Poincare transport of the worked limit

For $g\in {\mathsf{P}}_{+}^{\uparrow }$, transform all source, branch, measurement, allocation, and storage geometry by $g$, while retaining the same named finite logical gates and instruments.

Theorem thm:schedule realizes this transformed finite causal graph on every sufficiently fine target scale. The two measurement events need not be simultaneous in the target coordinate time. Their actual acquisitions converge separately to $g{B}_L$ and $g{B}_R$.

Define the transported net by

Since $g$ preserves spacelike separation, it is isotone and locally commuting. The logical channel and all state–effect pairings remain the ones already proved.