A sufficient memory-reuse theorem

Condition (eq:memorycontract) includes memory correlations with all untouched systems. It is stronger than testing the device only when $M={\omega }_M$.

One explicit realization is to discard the old processing memory into an accounted-for environment, prepare a fresh independent resource, perform a certified session, and prepare the designated output memory state. That is resource replacement, not a free cyclic reset. No physical thermal cost follows until an implementation is specified CheungEn07A.