Manuscript VII-F-ST@1 · VII-F-ST.tex · section · 9eee7a44
Schedule locality and certified physical containment
Schedule locality and certified physical containment · lines 1624–1631
The same argument works for prescribed gate envelopes rather than partitions, adjoining the full input envelope whenever its output is encountered in the backward graph. It fails if a supposedly local block reads an omitted remote controller.