LIQUIDATION
Exact eligibility without a public threshold.
The backend's private risk index identifies the exact unhealthy position. Solana accepts liquidation only when a compact proof binds that hidden state to current public risk inputs.
What happens
- The backend evaluates private equity against the current on-chain oracle, funding, and versioned risk model.
- A compact proof shows the target is eligible and binds the complete liquidation effect without publishing its prior live threshold.
- Execution takes liquidity from the continuous public book and updates the private successor state.
Availability assumption
Timely liquidation depends on at least one healthy backend replica. Heartbeats, automatic new-risk halts, conservative leverage, durable encrypted state, and dedicated liquidation capacity bound operational outages.
Book-first execution
Liquidation first takes available liquidity from the continuous public book. Partial liquidation restores margin when possible; bounded insurance and backstop liquidity absorb residual execution risk when the book cannot complete the transition.
Liquidation cannot be accepted unless the proof and program bind every debt, insurance, fee, position, and collateral effect.