Collateral Price (ETH/USD)$2,420
$2,100 (Underwater)$2,500 (Threshold HF = 1.00)$3,200 (Solvent)
Health FactorLIQUIDATABLE
0.968/ 1.000 Target
Presets:
Active Bidding StreamSealed Batch Window Quotes
| Liquidator | Gas Bid | DEX Slip | Gross | NEV Score | Status |
|---|---|---|---|---|---|
Searcher A Mempool Speed Bot | $6545 Gwei | $55 | $500 | $380 | Standby |
Searcher B Gas War Bribe Maxi | $230165 Gwei | $40 | $500 | $230 | Standby |
Searcher C Optimized Route Liquidator | $3828 Gwei | $22 | $500 | $440 | Standby |
Reforge Invariant
Step 0: MonitoringPhase 1 of 5
Solvency Monitoring
Chainlink & Pyth oracles update collateral price. When Position Health Factor falls below 1.000, the position enters the atomic liquidation state.
Contract Function Invocation:
LendingPool.getHealthFactor(account)Emitted Event Telemetry:
PriceUpdate(collateral, $2,420) → HF = 0.968
Protocol Guarantee: Continuous deterministic solvency tracking prevents premature liquidations.