What scheduled support proves

The support inclusion can be strict: a scheduled input may be followed by a constant-output channel and have no actual influence. A hidden distant guard is still an input dependency.

This is the finite support shape of VII-E, VII-J, and XIX-C CheungVIIE,CheungVIIJ,XIXC. It proves no causal embedding when the embedding is not supplied.

If a metric $d$ and block-diameter bound $\Delta$ are supplied, each backward step adds at most $\Delta$, so

With a supplied tick duration $\tau$, the scalar envelope is $\Delta /\tau$. Changing the external calibration changes that report. This is not a proof against Lorentz-invariant propagation in another constructed model; it shows that neither calibration nor a frame action is furnished by the support proof.