Composition with the clock instrument

The record in (eq:composed-channel) remains at the sender. Writing a joint output state is not instantaneous delivery of that record to the receiver. If a receiver operation is to depend on $k$, a causal classical record wire must be added, or the record-controlled operation must be performed locally before departure.