Definition: Dictionary on admitted ports

The dictionary is the following explicit collection of maps.

1. Clock map. The basis calibration $B_C$, the finite map $k\mapsto t_k$, and either the event support condition (eq:event-calibration) or the history-event map $\kappa$.

2. Rod map. At each cut, a surviving carrier name $a$ has a prescribed spatial location $x(a)\in U$, with rod label $\chi (x(a))$. In polar notation the corresponding local labels are $(r,\alpha \varphi ,z)$.

3. Causal map. The complete scheduled port graph is mapped to $M$ so that every directed dependency edge maps to a future-causal pair. Ancestors of an output therefore map into its metric past.

These maps are model data. They are not inferred from output probabilities alone.