Backstop-Sleeve Solvency Isolation and Inherited-Position Trigger Discipline

  • Name: backstop-sleeve solvency isolation and inherited-position trigger discipline
  • Category: liquidation-design reference / protocol-backstop isolation checklist / emergency-solvency trigger note / positive-design companion to liquidation-capital provenance
  • Summary: When a protocol-owned liquidator, insurance fund, liquidator vault, or rescue sleeve takes over a failing position, the handoff should narrow risk, not widen the balance sheet that is allowed to ignore it. This note exists to preserve the sharper design lesson behind Hyperliquid JELLY and adjacent liquidation-path failures: if a toxic inherited position is judged against pooled treasury or LP collateral instead of the sleeve that actually owns it, the very transfer that looked like containment can suppress ADL, kill switches, or forced reduction exactly when they are most needed. Healthy systems isolate the rescue sleeve, cap what it may warehouse, and bind emergency triggers to the inherited sleeve’s own solvency and asset-specific loss budget rather than to a richer umbrella account.
  • Why this note exists:
    • liquidation-capital-provenance-and-keeper-competition-assumptions already preserves the question what real capital and venue depth make liquidation executable at all?
    • What deserves its own positive-design note is the next question: once the protocol itself becomes the bag-holder, which balance sheet is allowed to decide whether the emergency has begun?
    • Many systems treat protocol takeover as if it were automatic containment. It is only containment if the takeover also keeps the toxic position attached to a bounded sleeve, bounded asset authority, and local solvency trigger.

What this note means by backstop-sleeve isolation and inherited-position triggers

  • Backstop sleeve means the capital bucket that is allowed to inherit failed liquidations: a liquidator vault, insurance fund, rescue AMM, protocol-owned liquidator, or similar mechanism.
  • Inherited position means the toxic exposure transferred out of the user account and into protocol-managed capital because ordinary book liquidation, auction clearing, or keeper participation could not finish the unwind.
  • Solvency isolation means losses on that inherited position are measured against the sleeve that owns it, not against a broader treasury, LP pool, or multi-strategy umbrella whose unrelated collateral can hide the emergency.
  • Trigger discipline means ADL, forced reduction, caps, kill-mode, delisting, or governance emergency powers key off the inherited sleeve’s own deterioration before pooled collateral can cosmetically keep the system looking healthy.
  • The core rule is simple: a protocol should never let we moved the toxic position to a richer account substitute for we actually contained the toxic position.

The five questions healthy backstop design should always be able to answer

1. What exact sleeve owns the inherited risk after takeover?

  • The protocol should be able to point to one accounting object that now owns the bad position.
  • If the answer is HLP broadly, insurance broadly, or the protocol treasury broadly, the design is already too vague.
  • A backstop that cannot name the local balance sheet that owns the problem usually cannot trigger locally either.

2. Which solvency predicate watches that sleeve?

  • If the inherited position loses money, what exact condition fires first?
  • Good answers look like:
    • sleeve NAV below a per-asset buffer
    • sleeve unrealized loss above a bounded budget
    • sleeve mark-quality downgrade plus open exposure above a cap
    • sleeve unable to reduce exposure within a fixed time window
  • Weak answers look like ADL if the whole protocol account goes negative or operators will intervene if it gets scary.

3. Does takeover narrow authority or widen it?

  • Protocol takeover should reduce what the position is allowed to do next.
  • A healthy takeover usually means smaller loss budget, tighter mark trust, reduced open-interest authority, forced size reduction, or immediate degraded mode.
  • If takeover instead moves the position into a better-capitalized account that is allowed to keep warehousing the same exposure with fewer alarms, the protocol has made the risk boundary weaker, not stronger.

4. Are pooled LP or treasury funds being used as cosmetic solvency?

  • Shared collateral can be useful as recapitalization, but it is dangerous if it also delays the trigger that would have stopped the loss from growing.
  • Unrelated strategy PnL, treasury assets, or community LP balances should not silently function as emergency not yet masking layers for one inherited toxic asset.
  • The protocol should distinguish capital that can absorb bounded residual loss after emergency mode begins from capital whose existence delays emergency mode from beginning at all.

5. What is the precommitted emergency constitution once the sleeve is stressed?

  • Once the backstop sleeve itself is in danger, the system should already know:
    • whether ADL fires
    • whether open interest is cut or frozen
    • whether mark authority is degraded
    • whether delisting or settlement can occur
    • who can authorize those actions and under what observable conditions
  • If that answer is invented live under attack, the platform is discovering its constitution after the exploit has already landed.

What sound design looks like

1. Local balance-sheet truth for inherited risk

  • A toxic inherited position lives in one explicit sleeve with its own NAV, per-asset accounting, and loss budget.
  • The protocol does not judge emergency state by netting that position against unrelated strategy gains or broader treasury surplus.
  • Rescue capital may replenish the sleeve later, but it should not erase the sleeve-level alarm that says containment has failed.

2. Monotone trigger hierarchy

  • The handoff chain book liquidation -> backstop sleeve -> forced reduction / ADL -> delisting or constitutional override should be monotone.
  • Each stage should narrow discretion and available risk budget, not reset the solvency clock by moving the same exposure into a richer account.
  • If the next stage inherits more authority than the previous stage, the ladder is upside down.

3. Asset-specific warehouse limits

  • A backstop should not be allowed to warehouse arbitrary size simply because aggregate protocol capital exists.
  • Healthy designs impose per-asset and per-market exposure caps, mark-quality gates, and time limits for inherited positions.
  • Thin external markets, house assets, and concentrated shorts deserve especially small warehouse budgets.

4. Trigger predicates tied to executable unwind reality

  • A sleeve should enter degraded mode not only when mark-to-market NAV turns negative, but earlier when executable unwind depth, mark independence, or position-reduction progress collapse.
  • Still positive on paper is not enough if the sleeve cannot actually exit before the next price jump.
  • The solvency trigger should therefore watch both financial loss and liquidation-path failure.

5. Constitutional emergency powers that are narrow and predeclared

  • If validator votes, governance intervention, or operator settlement overrides exist, they should be defined as bounded emergency lanes rather than ad hoc rescues.
  • Users should know in advance what conditions can force delisting, how settlement price is chosen, what happens to open orders, and how remediation is scoped.
  • Emergency discretion is safest when it arrives later, narrower, and more legibly than the automated controls it backs up.

Useful positive design shapes

1. Standalone backstop sleeve accounting

  • Give the liquidator vault or rescue sleeve its own accounting object, per-asset exposure inventory, and explicit loss budget.
  • Report sleeve health separately from the umbrella fund so operators and users can see when the inherited position itself is failing.
  • Shared treasury support may still exist, but as a recapitalization path after triggers fire rather than as the denominator that postpones them.

2. Inherited-position kill thresholds

  • Define hard limits such as:
    • max notional per inherited asset
    • max time an inherited position may remain open
    • max sleeve drawdown before forced reduction or ADL
    • max divergence between executable depth and recognized mark before new exposure is frozen
  • These thresholds should activate automatically once takeover occurs.

3. Trigger on sleeve deterioration, not only protocol insolvency

  • Fire ADL, forced position reduction, or pause logic when the owning sleeve breaches its own bounds, even if the umbrella protocol still looks solvent.
  • This preserves the meaning of takeover as containment rather than turning it into hidden risk socialization.

4. Couple backstop takeover with degraded-mode market permissions

  • Once the protocol warehouse is live, the market should not retain ordinary trust.
  • Reasonable degraded-mode responses include lower OI caps, no fresh size, higher margin, narrower mark authority, repay-only or reduce-only trading, and rapid delisting eligibility.
  • The system should assume backstop engaged means market assumptions already failed.

5. Separate loss absorption from trigger suppression

  • Insurance or treasury capital can be used to absorb bounded residual loss after forced reduction, settlement, or delisting.
  • It should not be the reason those controls fail to trigger.
  • This distinction keeps community capital as a backstop, not a sedative.

Red flags that usually mean backstop design is under-specified

  • the protocol cannot point to one sleeve that owns inherited toxic positions
  • ADL or kill-mode watches an umbrella account rather than the sleeve that actually holds the bad position
  • rescue capital is shared across unrelated strategies with no per-asset loss budget or exposure cap
  • takeover of a failing position does not immediately shrink market permissions or warehouse authority
  • thin external-market perps or thin collateral are allowed to socialize liquidation failure into community LP capital without a local kill threshold
  • governance or validator overrides exist in practice but settlement, refund, and order-cancellation rules are not precommitted
  • the only stated emergency predicate is whole protocol account value < 0
  • postmortems describe the rescue sleeve as profitable on average but never say what happens when one inherited position is locally catastrophic

Design questions worth asking first

  • If the biggest failing position transferred into protocol hands right now, what exact accounting object would own it one block later?
  • What observable condition would force the next escalation: sleeve drawdown, local negative equity, inability to reduce size, mark degradation, elapsed time, or governance vote?
  • Can unrelated treasury assets or LP strategies keep the emergency trigger asleep even while the inherited position itself is obviously toxic?
  • What per-asset warehouse budget exists for thin markets, house assets, or squeeze-prone shorts once the backstop takes over?
  • Does backstop engaged automatically change open-interest caps, margin requirements, reduce-only permissions, or delisting eligibility?
  • If governance or validators can settle or delist the market, is that lane pre-scoped enough that users already know the constitutional rules before crisis starts?

Failure-prevention checklist

  • Give every protocol-owned liquidator or rescue fund a standalone sleeve identity with local NAV, per-asset exposure tracking, and explicit loss budgets rather than measuring inherited toxic positions against a broad umbrella pool.
  • Trigger ADL, forced reduction, pause, or delisting eligibility from the sleeve that actually owns the inherited position; do not wait for whole-protocol insolvency before recognizing that containment already failed.
  • Bind protocol takeover to narrower permissions: lower asset caps, reduce-only trading, tighter mark trust, higher margin, and shorter warehouse time limits once ordinary liquidation has already failed.
  • Separate recapitalization authority from trigger authority. Shared treasury or LP collateral may absorb bounded residual losses after emergency controls fire, but it should never be the denominator that postpones those controls.
  • Set per-asset warehouse limits from executable unwind depth and mark quality, not from aggregate protocol capital or historical average profitability of the liquidator sleeve.
  • Predeclare constitutional crisis lanes for backstop failure: who may delist, how settlement is chosen, which orders are canceled, whether users are refunded, and how flagged or attacker-linked accounts are handled.
  • Monitor inherited-position inventory directly: sleeve drawdown, time-in-backstop, unwind progress, mark-depth divergence, and concentration of toxic exposure by asset should all page operators before umbrella solvency is threatened.
  • Rehearse the monotone handoff ladder explicitly in simulations and incident drills: book liquidation failure, sleeve takeover, local sleeve breach, forced reduction / ADL, and emergency market shutdown should each have one unambiguous next step.

Audit prompts

  • What exact balance sheet is legally and economically first-loss after a protocol-owned liquidator inherits a position?
  • Could the same inherited exposure remain live solely because unrelated PnL or collateral elsewhere in the umbrella account keeps total account value positive?
  • Which condition fires first when the rescue sleeve is stressed: local drawdown, local negative equity, unrealized loss budget breach, failed unwind timer, or whole-platform insolvency?
  • Does the protocol treat backstop engaged as proof that the market is already degraded, or does it continue allowing fresh ordinary risk as if nothing structural failed?
  • Are per-asset warehouse limits derived from executable unwind depth on the actual venues that anchor the mark, or from aggregate treasury size and optimistic averages?
  • If validators or governance can override market resolution, what onchain or documented rule constrains settlement price selection, timing, order cancellation, and user-remediation scope?
  • Can a coordinated actor force protocol takeover timing of a toxic leg they also benefit from on the opposite side, and if so what local sleeve rule stops the warehouse from becoming attacker-timed inventory?
  • What production dashboards show sleeve-local health separately from umbrella-fund health, and who is paged when those metrics diverge?

Lessons that should already be standard

  • Protocol takeover is not the same thing as containment.
  • A richer umbrella account can hide a local emergency just as easily as it can absorb it.
  • ADL only protects solvency if it watches the balance sheet that actually owns the toxic position.
  • Community LP or insurance capital should absorb bounded residual loss after emergency mode starts, not postpone the moment emergency mode begins.
  • Profitable on average is not a design argument for unlimited warehouse authority on thin or squeeze-prone assets.
  • Once ordinary liquidation fails, the market has already entered degraded mode whether or not the UI still looks open for business.
  • If validator or governance override is the last real defense, the constitutional rule for using it should be visible before the exploit, not written during the exploit.

Negative exemplar cluster: what broken backstop-sleeve design looks like

  • Hyperliquid JELLY is the clean preserved exemplar: a toxic short was transferred into the liquidator vault inside HLP, but pooled HLP collateral meant the final ADL trigger watched the wrong balance sheet and let the inherited position keep running until validators delisted the market.
  • Liquidation-capital provenance and keeper-competition assumptions is the broader companion: before the protocol becomes the bag-holder, ask whether liquidation was executable at all; after takeover, ask whether the bag-holder is locally bounded or silently socialized.
  • Governance backstop scope and intervention-latency discipline is the constitutional companion: once automated controls fail, the remaining question is whether human override is narrow, pre-scoped, and fast enough to matter.

How to use this note with the exploit corpus

Internal linkages

Control surface