Assumption: Declared local control

Every quantum or classical factor read or written by a block channel belongs to that block's declared interface. This includes controller memory, records, random seeds, program counters, and resource registers. The channel is fixed before the unknown input is supplied.