State: selfdestruct and creation flags

The per-transaction account lifecycle flags behind SELFDESTRUCT (EIP-6780) and same-transaction creation tracking.

function k_selfdestruct

Marks an account selfdestructed (SELFDESTRUCT; deletion is decided at transaction end per EIP-6780).

function k_selfdestruct(a : address) -> unit = {
    let cur = k_aload(a);
    let active = not_bool(cur.selfdestructed);
    if active then {
        store_account(a, { cur with selfdestructed = true })
    }
}

function k_is_selfdestructed

Whether the account is marked selfdestructed this transaction.

function k_is_selfdestructed(a : address) -> bool = k_aload(a).selfdestructed

function k_mark_created

Marks an account as created in this transaction (EIP-6780's same-transaction test).

function k_mark_created(a : address) -> unit = {
    let cur = k_aload(a);
    store_account(a, { cur with created = true })
}

function k_was_created

Whether the account was created in this transaction.

function k_was_created(a : address) -> bool = k_aload(a).created

function k_zero_balance

Zeroes an account's balance (the SELFDESTRUCT sweep of a self-beneficiary).

function k_zero_balance(a : address) -> unit = {
    let cur = k_aload(a);
    let balance_is_zero = word_is_zero(cur.info.balance);
    if balance_is_zero then {
        return ()
    };
    store_account_info(a, cur, { cur.info with balance = ZERO_WORD })
}