Manuscript VII-J@1 · VII-J.tex · example · d8c01b04
Example: A scheduled path with no surviving signal
The complete timed dependency network › Scheduled ancestors · lines 541–547
Declare a two-register SWAP, followed by the same SWAP. Its dependency diagram contains cross-register paths, but the total channel is the identity. An intervention on the first input cannot change the second output. Thus scheduled reachability can strictly exceed actual influence.