Scheduled locality and buffered reference-preserving transport

All programme selectors, record wires, table memories, encoders, decoders, and controls actually read by an operation are part of its declared interface. Selective normalized branches are not substituted for complete channels.