Manuscript VI-B@1 · VI-B-v1.tex · section · 33798723
Schedule locality, transport, and a resource ledger
Schedule locality, transport, and a resource ledger · lines 1844–1851
This is a dependency theorem of the kind compared in En03-A and En05-A CheungLocality. Scheduled ancestry can be larger than actual influence: a replacement channel may ignore an input it receives. The theorem does not derive a metric or an invariant speed.