Linear consumption is an additional operational declaration

Consumption is therefore not inferred from complete positivity alone. It follows from the declared name discipline and agrees with the instrument codomain. A physical implementation that retains a measured carrier but removes access to it may realize the same interface; it must not present that carrier as an unpriced quantum return.