Make the state verifiable first
Every financial action starts by becoming an accountable account, nonce, and balance transition.
BEFORESignature + nonce + balance
AFTERA new state nodes can replay
TRACE THE STATE
How the state moves to the next boundary
Signature + nonce + balance → A new state nodes can replay