Every number has a path back to evidence.
One canonical model connects protocol accounting, deterministic scenarios, defensive alternatives and transaction effects. Raw integer values and calculation assumptions stay exportable.
Explore the workspace ↗Protocol semantics
Aave normal-mode collateral values use token decimals and oracle USD units. Weighted liquidation thresholds and health factors follow protocol integer rounding. Debt balances incorporate accrued interest at the observed block. Morpho uses virtual shares/assets, integer Taylor accrual, ceiling loan debt and market-relative oracle prices; repayments are specified in shares.
Reproducible receipts
JSON exports retain wallet and contract identities, block number and hash, raw balances, oracle sources, scenario constraints, examined alternatives and model identity.
Uncertainty remains explicit
Missing, stale, unvalidated or inconsistent inputs disable modeling. Ethereum Aave V3 WETH, USDC, USDT and WBTC oracle adapters are validated. WBTC requires both BTC/USD and WBTC/BTC timestamps, pinned adapter bytecode and exact composite-price agreement. Other wrappers require separate validation.
Financial boundaries
No forecast, personalized licensed investment advice, guaranteed protection or liquidation timing is offered. A model result covers only the supported assumptions.