以下のテキストは自動デレバレッジ（ADL）についてです。

1. トリガー条件
ユーザーが強制的にポジションをクローズされる際、残りのポジションは強制決済システムに引き継がれます。強制決済ポジションが市場で決済できず、マーク価格が破産価格に達した場合、自動デレバレッジシステムが反対方向にポジションを保有する投資家のレバレッジを自動的に削減します。言い換えれば、先物決済の対象は反対方向にポジションを保有する投資家となります。
決済の順序は、レバレッジと利益率に基づいて決定されます。

2. デレバレッジプロセス
1). 強制決済ポジションの破産価格に基づいて決済が行われます。この時点で証拠金が不足している場合、自動デレバレッジ戦略がトリガーされます。
2). カウンターパーティは、収益率と実効レバレッジに基づいて実効レバレッジのPnLランキングを計算します。攻撃的な取引戦略や最も利益が出ているポジションが、ADLシーケンス（自動デレバレッジキュー）で優先されます。

3). ADLは、実効レバレッジと損益で最もランクが高いパーティに対して実行され、破産価格でポジションをクローズします。

分離マージンモード：分離ADLでポジションをクローズする場合、ロングポジションとショートポジションは個別に計算され、互いに影響しません。

クロスマージンモード：クロスADLでポジションをクローズする場合、計算はネットポジションに基づきます。

例：現在100のロングポジションと300のショートポジションを保有している場合、ネットポジションはショートです。ADLのソートはショートポジションに基づきます。つまり、カウンターパーティのロングポジションが決済されると影響を受けますが、カウンターパーティのショートポジションは影響なく決済されます。

ADL自動デレバレッジシステム
投資家が強制的にポジションを決済される際、残りの部分はWEEXの強制決済システムに引き継がれます。強制決済ポジションが市場でクローズできず、マーク価格が破産価格に達した場合、自動デレバレッジシステムが反対方向にポジションを保有する投資家のポジションを削減します。ポジションの削減は、レバレッジと利益率に基づきます。

ポジション削減のプロセスは以下の通りです：

1. 投資家の強制決済破産価格でポジションがクローズされます。この時点で保険基金が不足している場合、自動削減戦略がトリガーされます。
2. カウンターパーティは、利回りと実効レバレッジ比率に基づいて、実効レバレッジの損益ランキングを計算します。ADLシーケンスは、攻撃的な取引戦略を持つ投資家や最も利益を上げている投資家を優先します。
3. ADL実行パーティおよび実効レバレッジ損益が最も高いカウンターパーティに対して、破産価格で自動的にポジションを削減します。

自動デレバレッジシステムメカニズムのソート
損益計算：
ソート = 利益率 x 実効レバレッジ（利益が出ている場合）
= 利益率 ÷ 実効レバレッジ（損失が出ている場合）

注意：
実効レバレッジ = ABSマーク価格 ÷ (マーク価格 - 破産価格)
利益率 = (マーク価格 - 平均オープン値) / ABS (平均オープン価格)
マーク価格 = マーク価格でのポジション価格
破産価格 = 破産価格でのポジション価格
平均オープン価格 = 平均利用可能価格でのポジション価格