Step 5. Liquidation:レバレッジ環境における非単調性の発見と清算エンジンの構築