Quantum and classical ports

A local measurement instrument is represented by its complete record-retaining channel. A fixed controlled continuation is then a channel on the record and the registers it reads. Padding unused branches with identities and retaining the controller gives the required finite envelope.