The causal midpoint replacement

After applying $g\in {\mathsf{P}}_{+}^{\uparrow }$, Lemma lem:midpoint gives

The transformed graph remains future causal.

Extra points of $K\setminus F$ are support metadata. They need not be physically populated and will not be confused with the minimal physical support.