The typed schedule bound

For feedback in one fixed envelope $R_t$, replace the backward step by adjoining $R_t$ whenever it intersects the current set. The same proof applies only when $R_t$ contains every classical and quantum control actually inspected. A global controller cannot be omitted from these envelopes.

The theorem is VII-E/VII-G's typed interface bound. It is not yet I-B's physical cone containment. In particular, the physical size of the four-face patch is not a certificate for $\Delta$.