They do wrap it in a transaction, they just omit the code for it: > This is mostly the real code, the only difference is we also rollback the transaction on fa

They do wrap it in a transaction, they just omit the code for it: > This is mostly the real code, the only difference is we also rollback the transaction on failure. It's extremely important that this happens in a transaction and both the messages and merkle trie are updated atomically.