Finite schedule containment

This is the locally proved form of the finite schedule statements in En05-A, En03-A, and VII-E CheungEn05A,CheungEn03A,CheungVIIE. The region is an upper bound on dependence. Identity payloads can make the actual influence smaller. A tick duration $\tau$ gives the declared envelope speed $\Delta /\tau$; it does not derive an invariant physical speed.

The routing and payload-preservation constructions reported in En06-B likewise retain the specified speed, skeleton, and ports CheungEn06B.