Contract cefc6fc139d2785e861526ef39e8e5375b8cbbf0a813392fb45bf653d87c698b

fn __constructor(
    env: soroban_sdk::Env,
    governance_public_address: soroban_sdk::Address,
    registry_network: soroban_sdk::String,
)

fn get_registry_network(env: soroban_sdk::Env) -> RegistryNetworkBinding

fn get_supported_interfaces(
    env: soroban_sdk::Env,
) -> soroban_sdk::Vec

fn get_global_governance(env: soroban_sdk::Env) -> GlobalGovernance

fn pause(env: soroban_sdk::Env, caller: soroban_sdk::Address)

fn unpause(env: soroban_sdk::Env, caller: soroban_sdk::Address)

fn rotate_governance(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    new_master: soroban_sdk::Address,
)

fn create_asset(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    name: soroban_sdk::String,
    symbol: soroban_sdk::String,
    decimals: u32,
    asset_type: soroban_sdk::String,
    owners: soroban_sdk::Vec,
    current_merkle_root: soroban_sdk::String,
    metadata: soroban_sdk::Map,
    idempotency: Option,
)

fn get_asset(env: soroban_sdk::Env, asset_id: soroban_sdk::String) -> AssetRecord

fn get_owners(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
) -> soroban_sdk::Vec

fn get_balances(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
) -> soroban_sdk::Vec

fn update_ownership(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    owners: soroban_sdk::Vec,
    idempotency: Option,
)

fn update_merkle_root(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    merkle_root: soroban_sdk::String,
    timestamp: u64,
)

fn get_contract_metadata(
    env: soroban_sdk::Env,
) -> soroban_sdk::Map

fn assert_storage_schema_compatible(env: soroban_sdk::Env)

fn assert_schema_migration_ok(env: soroban_sdk::Env)

fn upgrade_storage_schema(env: soroban_sdk::Env, caller: soroban_sdk::Address)

fn get_registry_identity(env: soroban_sdk::Env) -> RegistryIdentity

fn get_registry_metrics(env: soroban_sdk::Env) -> RegistryMetrics

fn historical_merkle_roots(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
) -> soroban_sdk::Vec

fn get_governance_policy(env: soroban_sdk::Env) -> GovernancePolicy

fn get_lien_policy(env: soroban_sdk::Env) -> LienPolicy

fn get_settlement_policy(env: soroban_sdk::Env) -> SettlementPolicy

fn historical_asset_snapshot(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
    ledger: u32,
) -> Option

fn request_governance_operation(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    operation_id: soroban_sdk::String,
    op_type: GovernanceQueueOpType,
    target_address: Option,
    asset_id: Option,
)

fn approve_governance_operation(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    operation_id: soroban_sdk::String,
)

fn execute_governance_operation(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    operation_id: soroban_sdk::String,
)

fn preview_governance_timelock(
    env: soroban_sdk::Env,
    op_type: GovernanceQueueOpType,
) -> u64

fn balance(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
    wallet: soroban_sdk::Address,
) -> i128

fn total_supply(env: soroban_sdk::Env, asset_id: soroban_sdk::String) -> i128

fn transfer(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
    from: soroban_sdk::Address,
    to: soroban_sdk::Address,
    amount: i128,
    idempotency: Option,
)

fn approve(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
    owner: soroban_sdk::Address,
    spender: soroban_sdk::Address,
    amount: i128,
    live_until_ledger: u32,
)

fn allowance(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
    owner: soroban_sdk::Address,
    spender: soroban_sdk::Address,
) -> i128

fn mint(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    to: soroban_sdk::Address,
    amount: i128,
)

fn burn(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    from: soroban_sdk::Address,
    amount: i128,
    idempotency: Option,
)

fn clawback(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    from: soroban_sdk::Address,
    amount: i128,
    reason: soroban_sdk::String,
)

fn forced_transfer(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    from: soroban_sdk::Address,
    to: soroban_sdk::Address,
    amount: i128,
    reason: ForcedTransferReason,
    idempotency: Option,
)

fn get_governance_queue(env: soroban_sdk::Env) -> soroban_sdk::Vec

fn create_lien(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    lien: Lien,
    idempotency: Option,
)

fn amend_lien(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    lien: Lien,
    idempotency: Option,
)

fn release_lien(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    lien_id: soroban_sdk::String,
    idempotency: Option,
)

fn enforce_lien(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    lien_id: soroban_sdk::String,
    idempotency: Option,
)

fn default_lien(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    lien_id: soroban_sdk::String,
    idempotency: Option,
)

fn get_liens(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
) -> soroban_sdk::Vec

fn has_active_liens(env: soroban_sdk::Env, asset_id: soroban_sdk::String) -> bool

fn circulating_supply(env: soroban_sdk::Env, asset_id: soroban_sdk::String) -> i128

fn create_settlement(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    from: soroban_sdk::Address,
    to: soroban_sdk::Address,
    amount: i128,
    currency: Option,
    idempotency: Option,
)

fn execute_settlement(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    idempotency: Option,
)

fn finalize_settlement(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    idempotency: Option,
)

fn cancel_settlement(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    idempotency: Option,
)

fn mark_settlement_pending(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    idempotency: Option,
)

fn fail_settlement(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    asset_id: soroban_sdk::String,
    idempotency: Option,
)

fn get_settlement(
    env: soroban_sdk::Env,
    asset_id: soroban_sdk::String,
) -> Option

fn assert_supply_invariant(env: soroban_sdk::Env, asset_id: soroban_sdk::String)