Manuscript En05-A@1 · En05-A.tex · assumption · f076e703
Assumption: Complete local control
Complete hybrid instruments and operational snapshots › Finite local interfaces · lines 252–261
En05-A@1#ass:completecontrol
Every state-dependent input to an update is present in its declared local interface. This includes records, program counters, random seeds, controller memory, and resource registers.
An update may depend on its own classical input block, but not on an unrepresented global history, an unknown quantum-state description, or a remote controller. Its complete map is fixed before the unknown input state is supplied.