FABRKNT
すべてのコース
コース · 自作 Perp
エキスパート170 分330 XP

Step 6. ADL — auto-deleveraging、safety-net cascade の Layer 3

保険基金が損失を吸収しきれなかった際の発火回路、最終防衛線「Auto-deleveraging (ADL)」を実装するDIY Perpシリーズ第6弾。 利益の出ているカウンターポジションをランキングし、オーダーブックをバイパスした「帳簿の直接書き換え(Bookkeeping mutation)」による強制クローズとヘアカットを実装する。さらに、破綻を防ぐ「Feedback-loop crash」のメカニズム解説や、システムの決定性を証明する5つの不変条件(Invariant)プロパティテストも網羅する。全5レッスンを通じ、ADL参照実装パートに対応するByte-for-byteの一致を達成する。

ソースが第一のテキスト

このコースの進め方

このコースは記事の寄せ集めではなく、手を動かして進める実践型です。レッスンは順に積み上がる構成なので前から進めれば、ソースで得た理解がそのまま実際のコードに活きます。

コースを始める →5 レッスン · ネイティブプレイヤー
難易度
エキスパート
学習量
170 分
報酬
330 XP
Orientation
  1. 01レッスン0 — ADL は safety-net cascade の Layer 315 分 · 50 XP
ADL implementation
  1. 01レッスン1 — AdlScore / AdlRecord / AdlReport + adl_score35 分 · 60 XP
  2. 02レッスン2 — execute_adl — 5 フェーズの orchestration 中枢40 分 · 70 XP
  3. 03レッスン3 — 6 つの nuanced absorption テスト35 分 · 60 XP
  4. 04レッスン4 — Capstone — 5 invariant proptest + 四部作の振り返り45 分 · 90 XP