Auto-Deleveraging

All core logic on Felix-deployed perps follow the same logic on HyperCore. In other words, they follow the same logic as the perp markets that users are already familiar with on HyperCore (validator-deployed perps). The sections below are repurposed sections directly from the Hyperliquid docs.

Auto-deleveraging strictly ensures that the platform stays solvent. If a user's account value or isolated position value becomes negative, the users on the opposite side of the position are ranked by unrealized pnl and leverage used. Backstop liquidated positions have no special treatment in the ADL queue logic. The specific sorting index to determine the affected users in profit is (mark_price / entry_price) * (notional_position / account_value). Those traders' positions are closed at the previous mark price against the now underwater user, ensuring that the platform has no bad debt.

Auto-deleveraging is an important final safeguard on the solvency of the platform. There is a strict invariant that under all operations, a user who has no open positions will not socialize any losses of the platform.