Skip to main content
[ Replay evidence gallery ]

Deterministic proof packs for economic failure shapes.

Review simulation evidence with a deterministic rerun, canonical hash, invariant fire, and explicit claim boundary on every proof page.

[ Filter proofs ]

Evidence browser

Protocol class

Showing 5 proof packs.

Liquid Staking economic-shape replay
Incident

Outcome / verdict full_backing fired at tick 1; 1 firing recorded.

KelpDAO Unbacked rsETH

Economic-shape replay of unbacked LST supply: admin_mint_lst increases LST claims without underlying assets, and full_backing fires at tick 1.

Invariant fired T1 · full_backing · field=`lst_supply * exchange_rate_config.exchange_rate_bps <= total_assets * 10000` first fired at tick 1
Review evidence Rerun steps
Scope of claim: simulation evidence, deterministic rerun, explicit claim boundary.
Lending economic-shape replay
Incident

Outcome / verdict collateral_health fired at tick 2; 1 firing recorded.

Loopscale Collateral Mispricing

Economic-shape replay of inflated collateral NAV: a borrower is healthy under the wrong price, the oracle corrects, and collateral_health fires at tick 2.

Invariant fired T2 · collateral_health · field=`bad_debt` observed=4175.0 == expected=0.0
Review evidence Rerun steps
Scope of claim: simulation evidence, deterministic rerun, explicit claim boundary.
Lending economic-shape replay
Incident

Outcome / verdict no_bad_debt fired at tick 2; 1 firing recorded.

Euler Donate and Liquidate

Economic-shape replay of the donateToReserves-style LTV bypass: collateral leaves the position, liquidation follows, and no_bad_debt fires at tick 2.

Invariant fired T2 · no_bad_debt · field=`bad_debt` observed=4720.0 == expected=0.0
Review evidence Rerun steps
Scope of claim: simulation evidence, deterministic rerun, explicit claim boundary.
Lending economic-shape replay
Incident

Outcome / verdict oracle_bounds fired at tick 2; 1 firing recorded.

Mango Oracle Pump

Economic-shape replay of an oracle-followed price pump: borrow opens under the inflated price, the price reverts, and oracle_bounds fires at tick 2.

Invariant fired T2 · oracle_bounds · field=`bad_debt` observed=26750.0 == expected=0.0
Review evidence Rerun steps
Scope of claim: simulation evidence, deterministic rerun, explicit claim boundary.
Lending failure-shape replay
Incident

Outcome / verdict no_bad_debt fired at tick 4; 1 firing recorded.

Solend Lending Whale Bad Debt

1 invariant firing(s) across 1 declared invariant(s); `no_bad_debt` first fired at tick 4

Invariant fired T4 · no_bad_debt · field=`bad_debt` observed=3600.0 == expected=0.0
Review evidence Rerun steps
Scope of claim: simulation evidence, deterministic rerun, explicit claim boundary.