Module state_overlay 

Snapshots (info, status) before each helper cache mutation and at end of tx pushes one explicit TransitionAccount per real change through State::apply_transition.

Functions

drain_and_apply

Push one TransitionAccount per address whose info actually changed.

record_pre_touch

Snapshot pre-mutation (info, status) for addr; idempotent per tx.

reset_tx