Definition: Three dictionary maps

The dictionary consists of:

1. the code calibration above, together with a separate history map $\kappa (k)=(T_k,x_k)$;

2. a location map from each live carrier name to its port $\ell (a)\in U$, followed by its three rod coordinates $\chi (\ell (a))$;

3. a port-event map from the finite dependency network into $M$, taking every permitted dependency to a future-causal pair.