Transaction states and restoration

Status: Draft stub.

Scope: transaction state transitions, persistence, interrupted operations, restoration, and refusals.

To complete: derive the state table from the contract and implementation with recovery fixtures.