Derivatives liquidation
Derivatives liquidation reduces, closes, or transfers positions when account equity no longer satisfies maintenance-margin rules.
Category: DerivativesDiamond category cue
System record
Start with the economic purpose, participants, resources, and entitlements before studying implementation detail.
Why it exists
Derivatives liquidation limits further loss before a leveraged trader's negative equity becomes an unallocated liability for counterparties or the venue.
Traditional-finance analogy
Forced closeout by a futures clearing broker is the closest comparison recorded for this concept.
Where the analogy stops
- Crypto liquidations can be automatic and permissionless, using mark prices, order books, keepers, auctions, or backstop transfers without discretionary review.
- Cross-margin liquidation can affect several positions and collateral assets, while auto-deleveraging or socialized loss can reach profitable traders when backstops fail.
Main actors
- ActorLiquidated trader
- ActorLiquidator or keeper
- ActorTrading venue
- ActorMarket maker or order book
- ActorOracle
- ActorInsurance fund, backstop, or auto-deleveraging counterparty
Assets and claims
Assets — controlled or transformed resources
Assets are resources the mechanism moves, holds, values, or transforms.
- AssetMargin collateral
- AssetSettlement asset
- AssetLiquidation fee or reward
Claims — entitlements and corresponding dependencies
Claims are rights to value, repayment, redemption, control, or another party's performance; each depends on an obligation or system that must honor it.
- ClaimClosed or transferred derivative positions
- ClaimRealized profit and loss
- ClaimResidual deficit or insurance claim
Derivatives liquidation reduces, closes, or transfers a position after account equity breaches a maintenance-margin rule.
Why it exists
Section titled “Why it exists”A losing leveraged position can become a liability larger than its remaining collateral. Liquidation acts before or during that transition to stop further loss, settle open exposure, and route any deficit through an explicit insurance or backstop hierarchy.
Traditional-finance analogy
Section titled “Traditional-finance analogy”Forced closeout by a futures clearing broker is a useful analogy. Crypto venues may trigger automatically from a mark price and use public order books, keepers, auctions, position takeovers, insurance funds, or auto-deleveraging without a discretionary margin-call period.
Not lending liquidation
Section titled “Not lending liquidation”Lending liquidation repays or assumes debt and seizes or sells collateral. Derivatives liquidation closes or transfers open market exposure and realizes profit and loss. Both use collateral and thresholds, but their liabilities, state transitions, and recovery assets are different.
Actors, assets, and claims
Section titled “Actors, assets, and claims”The trader owns residual margin and holds an open derivative position. The venue, opposite traders, or a counterparty pool need losses settled. A mark-price process determines eligibility. A liquidator, order book, auction, or backstop closes or assumes exposure. Insurance or auto-deleveraging may allocate a residual deficit.
Step-by-step mechanism
Section titled “Step-by-step mechanism”- Reconcile collateral, open positions, unrealized PnL, fees, and funding at the selected mark state.
- Compute the maintenance requirement for the exact margin mode and account scope.
- Declare eligibility only when the protocol’s boundary condition is met.
- Cancel or account for pending risk-increasing orders where the model requires it.
- Bound a partial or full close by open size, account state, liquidity, fees, and slippage protections.
- Execute through an order book, auction, keeper, or position-transfer backstop.
- Reconcile realized PnL, residual margin, liquidation charges, insurance, and any deficit.
- Re-evaluate the remaining account before another closeout attempt.
State transition and flows
Section titled “State transition and flows”| Item | Before trigger | Close or transfer | After |
|---|---|---|---|
| Open position | Exposes account and counterparty | Reduced, closed, or assumed by backstop | Zero, smaller, or held by new counterparty |
| Trader equity | Below required maintenance buffer | Pays realized loss, slippage, and charges | Residual returned or deficit recognized |
| Liquidation venue | Has book, auction, or transfer path | Receives order or position | Holds no exposure unless model says so |
| Insurance/backstop | Contingent | Used only under stated priority | Gains, loss, or remaining capacity recorded |
Capital flow is realized settlement, residual collateral, charges, and insurance transfers. Claim flow extinguishes or transfers derivative exposure. Information flow is mark price, equity, maintenance requirement, and route state. Return flow can pay a liquidator or backstop from discounts, charges, spreads, or later position outcomes defined by the venue. Risk flow can move from trader margin to an order book, backstop, insurance, profitable traders, or an explicit deficit class.
Return source and loss allocation
Section titled “Return source and loss allocation”A liquidator or backstop can earn a discount, fee, spread, or transferred position PnL funded by the liquidated account or later market outcome. That return compensates closeout risk; it is not risk-free protocol yield. Losses begin with trader equity. If that equity is exhausted, an insurance fund, backstop, profitable traders, liquidity providers, or other claimants absorb the remaining deficit only in the order the venue explicitly defines.
Engineer or auditor lens
Section titled “Engineer or auditor lens”Test exact equality at the maintenance boundary, stale and divergent mark/index prices, mixed decimals, cross and isolated scope, partial-close progress, pending orders, funding checkpoints, slippage, gaps, keeper failure, repeated calls, insurance exhaustion, and auto-deleveraging ordering. No path may close more than the open size, transfer more collateral than allowed, or count the same loss twice.
Hyperliquid’s liquidation documentation shows one design using mark-price eligibility, order-book closeout, partial liquidations, and a position-transfer backstop. Those thresholds and routes are implementation-specific. The documentation was reviewed 2026-08-10.
Common misunderstandings
Section titled “Common misunderstandings”- “Liquidation always sells collateral.” A derivatives venue may close an order or transfer the position and margin instead.
- “The displayed liquidation price is fixed.” Funding, fees, other cross positions, collateral value, requirements, and mark rules can change it.
- “A backstop removes loss.” It reallocates exposure; the backstop, insurance, or later claimants can still lose.
Review the account boundary in derivatives margin.
Machine-readable model
Key equations
Canonical expressions come from the structured concept record. KaTeX renders the notation, while the plain-text expression and variable table keep its meaning and units inspectable without JavaScript. Read the narrative above for the model's domain, assumptions, and rounding rules.
This concept does not require one canonical equation. Its mechanism and state transitions remain the authoritative explanation; do not invent a formula merely to make the topic look quantitative.
Assurance contract
Security properties
These structured statements define desired behavior. Their stable IDs can bind tests, invariants, specifications, audit findings, or proof results without turning descriptive review advice into an assurance claim.
Desired · not evaluated: No test, audit, or proof result is implied until scoped evidence is linked to this property.
Only accounts below the applicable maintenance requirement can be liquidated from reconciled state
Closeout cannot exceed open position size or transfer more collateral than account and rule permit
Position, collateral, realized profit and loss, fees, insurance, and deficit changes reconcile atomically
Partial, full, cross, isolated, backstop, and repeated liquidation paths preserve explicit loss priority
Knowledge check
Quiz
Answer in your own words, then open the model answer.
What problem does Derivatives liquidation exist to address?
Model answer
Derivatives liquidation limits further loss before a leveraged trader's negative equity becomes an unallocated liability for counterparties or the venue.