A specified reset realization

The preparations can be implemented within the effective model by replacement through swaps with fresh independent bath systems: one oscillator in the geometric state of mean $m_0$, a register bath block in ${\sigma }_Q$, and pointer bath qubits in their specified diagonal states. Discard the old apparatus states into those baths. Finite-dimensional swaps have bounded generators; the oscillator swap is a passive two-mode rotation with a known phase correction.

This specifies a replacement channel and the destination of the discarded information. It does not claim unitary erasure in an isolated finite environment. The readiness branch is generated by a fresh classical variable with probability $r_F$; its failure output remains visible.

The bath preparations, cooling work, and delivery of fresh bath systems are external resources of this model. Their thermodynamic costs are not fixed by channel notation. Post-measurement reset does not retroactively change a completed record. Reuse in a later trial requires the newly specified preparation and independence, rather than an unreported apparatus memory carried between shots.