reversibility.007

-- SPDX-License-Identifier: MPL-2.0
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
--
-- Example: Reversibility blocks.
-- Demonstrates reversible, irreversible, and reverse constructs.

-- Reversible transaction processing
agent TransactionProcessor {
    control {
        on receive(tx: String) {
            reversible {
                let balance = debit(account, amount)
                send(balance, ledger)
            }
            irreversible {
                let log_entry = log_tx(tx)
                send(log_entry, audit)
            }
        }
        on error(e: String) {
            reverse {
                let restored = credit(account, amount)
                send(restored, ledger)
            }
        }
    }
}