A complete finite schedule

This independently proves the relevant finite support statement associated with VIII-C and VII-J CheungVIIIC,CheungVIIJ. It does not identify the ancestors with a geometric causal past.

If $X$ has a metric and every block has diameter at most $\Delta$, then

The proof is the triangle inequality applied at each backwards step.