Schedule-past map

The complete port dependency graph has a location map

Every directed dependency edge must connect a future-causal pair, with an explicit local route or endpoint certificate. Consequently an ancestor of an output is mapped into its metric past. Section sec:locality proves the corresponding influence bound.