Scheduled locality and hopwise metric containment

The same proof works directly on a finite acyclic port graph by reversing a topological order. This is the prescribed-support mechanism of I-B, En03-A, VII-E, and the complete-network comparisons IB,En03,VIIE,VIIJST.

Scheduled ancestry may strictly exceed actual influence. For example, two successive SWAPs on the same pair have cross-site dependency paths but total identity channel.