Independent physical possibility

A physical comparison structure consists of a set of events $\mathcal{M}$ and a reflexive transitive relation $⪯$. It is specified independently of the computational schedule.

For point-localized ports, assign an event $p_v\in \mathcal{M}$. A scheduled edge $u\to v$ is physically certified when

For uncertain or extended localization regions ${\mathcal{L}}_u$, a sufficient robust condition is

This all-point requirement is conservative. A smaller allowance must specify the correlated endpoint choices and their routes.

Encoding and decoding are additional network components:

Their spreads are included in the full network. There is no free nonlocal encoding before the support theorem begins.