Dynamical departures become record departures

Let a fixed bounded event be implemented after access and optional decoding. Write its ideal field of finite-cell effects as $E$. For each message preparation $x$, let its complete record error be $e_x$. For example, with decoder and basis rotation,