Transactions, receipts, restoration, and rollback

Status: Draft stub.

Question: how does Assembly account for changes and recover the previous state?

To complete: explain transaction boundaries, persisted evidence, interrupted operations, restoration, and rollback with the current state machine and verified failure cases.