The missing transport-realization contract

A finite definite-order channel network is a possible realization language, but not a consequence of a process matrix's signalling graph. Combs and quantum networks supply frameworks for such declared sequential interfaces CDP. The scheduler of a realizing protocol is an execution input; it is not retrospectively claimed as the order derived from the raw data.

If all these structures are additionally assumed, the resulting approximation theorem remains conditional on them. To claim a realization from the frozen data, they must instead be constructed from those data under named additional premises.