Risk Engine

RiskEngine values collateral and debt in USD WAD and exposes borrow, withdrawal, execution, and liquidation checks.

Health factor

HF = collateral_usd / debt_usd. Healthy means strictly greater than 1.1; a priced account with debt at or below 1.1 is liquidation eligible, subject to execution checks. get_health_factor returns a WAD u128, or u128::MAX for zero debt. For a new gross borrow B, the standalone guard evaluates (C + B) / (D + B). Existing borrowed proceeds already included in C are not added a second time. AccountManager/SmartAccount fast paths and net borrow credits must also be respected; this formula is not a transaction quote.

Collateral valuation

Plain tokens use registered metadata, native decimal conversion, and canonical oracle feeds. Explicitly revoked collateral is excluded. Tracking positions use Registry TrackingMeta:

Kind	Valuation
`BlendUnderlying`	Receipt balance × Blend reserve b_rate, converted to underlying USD
`LpSoroswap`	User share of conservatively valued committed pair reserves
`LpAquarius`	User share of conservatively valued committed pool reserves
`Unpriced`	Zero

LP pool USD value is 2 × min(USD value of each reserve side), not the unrestricted sum of both sides. Freeze/revocation and missing data can remove collateral value. Borrow/withdraw snapshots may use cached Blend/LP values; liquidation reads its own snapshot and external positions. LP collateral is not categorically zero.

Liquidation-safe reads

liquidation_snapshot returns (collateral_usd_wad, debt_usd_wad, unpriceable_plain). AccountManager refuses liquidation when unpriceable_plain is true. Missing debt resolution or debt prices receive conservative maximum-value treatment. Some unavailable external collateral contributes zero. A displayed HF is therefore insufficient to guarantee liquidation execution. AccountManager may use SmartAccount prechecks instead of calling these standalone guards. Its admin-configurable live gate also controls post-borrow RiskEngine checks. Admin can pause guarded operations, change Registry, transfer administration in two steps, and upgrade WASM. Read deployment and liquidation configuration getters to inspect the selected contracts.

Function signatures

These signatures are copied from the reviewed Rust implementation. env is supplied by Soroban and is not a transaction argument. Result errors and panics must be handled by the caller; simulation does not guarantee later execution. Public methods include privileged and internal-contract callbacks, not just user entrypoints.

__constructor

pub fn __constructor(env: &Env, admin: Address, registry_contract: Address)

get_liquidation_config

pub fn get_liquidation_config(_env: &Env) -> (u128, u128, bool)

get_deployment_config

pub fn get_deployment_config(env: &Env) -> (Address, Address)

is_borrow_allowed

pub fn is_borrow_allowed(
        env: &Env,
        symbol: Symbol,
        borrow_amount_wad: U256,
        margin_account: Address,
    ) -> Result<bool, RiskEngineError>

lp_position_usd_wad

pub fn lp_position_usd_wad(
        env: &Env,
        margin_account: Address,
        lp_symbol: Symbol,
    ) -> U256

account_usd_totals

pub fn account_usd_totals(
        env: &Env,
        margin_account: Address,
    ) -> Result<(U256, U256), RiskEngineError>

account_usd_totals_liq_safe

pub fn account_usd_totals_liq_safe(
        env: &Env,
        margin_account: Address,
    ) -> Result<(U256, U256), RiskEngineError>

has_unpriceable_plain_collateral

pub fn has_unpriceable_plain_collateral(env: &Env, margin_account: Address) -> bool

is_deposit_borrow_allowed

pub fn is_deposit_borrow_allowed(
        env: &Env,
        deposit_symbol: Symbol,
        deposit_amount_wad: U256,
        borrow_symbol: Symbol,
        borrow_amount_wad: U256,
        margin_account: Address,
    ) -> Result<bool, RiskEngineError>

is_withdraw_allowed

pub fn is_withdraw_allowed(
        env: &Env,
        symbol: Symbol,
        withdraw_amount_wad: U256,
        margin_account: Address,
    ) -> Result<bool, RiskEngineError>

is_account_healthy

pub fn is_account_healthy(
        env: &Env,
        total_account_balance_wad: U256,
        total_account_debt_wad: U256,
    ) -> Result<bool, RiskEngineError>

get_health_factor

pub fn get_health_factor(env: &Env, margin_account: Address) -> u128

get_health_factor_threshold

pub fn get_health_factor_threshold(_env: &Env) -> u128

get_current_total_balance

pub fn get_current_total_balance(
        env: &Env,
        margin_account: Address,
    ) -> Result<U256, RiskEngineError>

get_total_balance_liq_safe

pub fn get_total_balance_liq_safe(
        env: &Env,
        margin_account: Address,
    ) -> Result<U256, RiskEngineError>

get_current_total_borrows

pub fn get_current_total_borrows(
        env: &Env,
        margin_account: Address,
    ) -> Result<U256, RiskEngineError>

get_total_borrows_liq_safe

pub fn get_total_borrows_liq_safe(
        env: &Env,
        margin_account: Address,
    ) -> Result<U256, RiskEngineError>

debt_usd_wad

pub fn debt_usd_wad(env: &Env, margin_account: Address) -> Result<U256, RiskEngineError>

is_still_healthy_after_execute

pub fn is_still_healthy_after_execute(
        env: &Env,
        margin_account: Address,
        known_debt_usd: U256,
    ) -> Result<bool, RiskEngineError>

is_currently_healthy

pub fn is_currently_healthy(env: &Env, margin_account: Address) -> Result<bool, RiskEngineError>

liquidation_snapshot

pub fn liquidation_snapshot(env: &Env, margin_account: Address) -> (U256, U256, bool)

is_account_healthy_liq_safe

pub fn is_account_healthy_liq_safe(env: &Env, margin_account: Address) -> Result<bool, RiskEngineError>

mul_wad_down

pub fn mul_wad_down(env: &Env, a: U256, b: U256) -> U256

upgrade

pub fn upgrade(env: &Env, new_wasm_hash: BytesN<32>)

set_registry

pub fn set_registry(env: &Env, new_registry: Address)

propose_admin

pub fn propose_admin(env: &Env, proposed: Address)

accept_admin

pub fn accept_admin(env: &Env)

set_paused

pub fn set_paused(env: &Env, paused: bool)

is_paused

pub fn is_paused(env: &Env) -> bool

Source reference

Protocol_V1_Soroban_testnet/contracts/RiskEngineContract/src/risk_engine.rs

Introduction

Contract Reference

TypeScript Integration

Integration Guides

Health factor

Collateral valuation

Liquidation-safe reads

Function signatures

__constructor

get_liquidation_config

get_deployment_config

is_borrow_allowed

lp_position_usd_wad

account_usd_totals

account_usd_totals_liq_safe

has_unpriceable_plain_collateral

is_deposit_borrow_allowed

is_withdraw_allowed

is_account_healthy

get_health_factor

get_health_factor_threshold

get_current_total_balance

get_total_balance_liq_safe

get_current_total_borrows

get_total_borrows_liq_safe

debt_usd_wad

is_still_healthy_after_execute

is_currently_healthy

liquidation_snapshot

is_account_healthy_liq_safe

mul_wad_down

upgrade

set_registry

propose_admin

accept_admin

set_paused

is_paused

Source reference

​Health factor

​Collateral valuation

​Liquidation-safe reads

​Function signatures

​__constructor

​get_liquidation_config

​get_deployment_config

​is_borrow_allowed

​lp_position_usd_wad

​account_usd_totals

​account_usd_totals_liq_safe

​has_unpriceable_plain_collateral

​is_deposit_borrow_allowed

​is_withdraw_allowed

​is_account_healthy

​get_health_factor

​get_health_factor_threshold

​get_current_total_balance

​get_total_balance_liq_safe

​get_current_total_borrows

​get_total_borrows_liq_safe

​debt_usd_wad

​is_still_healthy_after_execute

​is_currently_healthy

​liquidation_snapshot

​is_account_healthy_liq_safe

​mul_wad_down

​upgrade

​set_registry

​propose_admin

​accept_admin

​set_paused

​is_paused

​Source reference

Health factor

Collateral valuation

Liquidation-safe reads

Function signatures

__constructor

get_liquidation_config

get_deployment_config

is_borrow_allowed

lp_position_usd_wad

account_usd_totals

account_usd_totals_liq_safe

has_unpriceable_plain_collateral

is_deposit_borrow_allowed

is_withdraw_allowed

is_account_healthy

get_health_factor

get_health_factor_threshold

get_current_total_balance

get_total_balance_liq_safe

get_current_total_borrows

get_total_borrows_liq_safe

debt_usd_wad

is_still_healthy_after_execute

is_currently_healthy

liquidation_snapshot

is_account_healthy_liq_safe

mul_wad_down

upgrade

set_registry

propose_admin

accept_admin

set_paused

is_paused

Source reference