The local causal chart used operationally

Choose an open spatial set $U\subset {C_{\mu }}^{\circ }\times \mathbb{R}$ whose development is an open convex Euclidean set, and write

for its spatial developing chart. All finite protocols in the main construction remain inside $U$.