Stage B: implementation and execution stay separate

The Em03-B record distinguishes a completed apparatus record from a later reset; Em03-E conserves its declared free Hamiltonian CheungEm03B,CheungEm03E. Neither is a thermal implementation of this paper.

The En02-B and En02-C records distinguish information-theoretic availability from executable streaming recovery CheungEn02B,CheungEn02C. Their memory bounds are tied to their delivery, storage, and output contracts, not to an unrestricted resource optimum for the present fragment.

The flagged cutoff statements in En02-E retain their commuting-state hypotheses CheungEn02E. A discarded probability in that setting is not a generic coherent cutoff allowance in diamond norm.