TWAP と実行可能枠

成熟したTWAP確認、即時スポット制限、融資インベントリは、最大実行可能なショートセールス容量を共同で決定します。

三つの異なる制約

制約	答える問い	データソース
リスクカーブ	現在許可される理論ネット売却額	固定パラメータモデル
TWAP + spot	どの上昇部分が確認済みか、現在価格が枠を縮小するか	V2 累積価格とリアルタイム準備金
貸出可能 Token / 正確な出力量	在庫から実際にその量の USDC を売却取得できるか	Engine 帳簿、Token 残高、リアルタイム Pair

最終的に建玉できる金額は、一枚の時価総額表ではなく、この三者によって決まります。

V2 が記録するのは external6 / token18 の累積価格です。 A(t) を 2¹¹² でスケーリングした累積値、二回の観測間隔を Δt：

{\overset{―}{P}}_{raw, X 112} = ⌊ \frac{A (t_{1}) - A (t_{0})}{Δ t} ⌋

native18 時価総額への変換：

M_{TWAP} = ⌊ \frac{{\overset{―}{P}}_{raw, X 112} S 10^{12}}{2^{112}} ⌋

参照 Engine ファミリーは 300 秒の最小観測ウィンドウを使用します。

初期化時の容量上限は固定の M₀ と C(M₀) から始まり、初期容量がゼロというわけではありません。この時点では時間経過を伴う TWAP サンプルはまだありません。

成熟サンプルの候補時価総額は：

M_{candidate} = max (M_{0}, min (M_{TWAP}, M_{t}))

候補値が過去の上限を超える場合のみ引き上げます。確認済み時価総額上限を H 、確認済み容量上限を $C_H$ とすると：

H^{'} = max (H, M_{candidate}), C_{H}^{'} = max (C_{H}, C (H^{'}))

通常の価格下落では、この二つの過去に確認済みの上限は低下しません。ただし、実際の利用可能枠は spot によって即時に制限されます。

M_{s} = min (max (M_{spot}, M_{0}), M_{t})

M_{effective} = min (H, M_{s})

C_{effective} = min (C_{H}, C (M_{effective}))

既存の全ポジションのネット売却規模を O = totalOpenShortNative：

C_{remaining} = max (C_{effective} - O, 0)

過去の確認済み時価総額上限を 10,000,000 USDC、既存ネット売却規模を 8,000 USDC：

この例はリスク層だけの計算です。実際の Pair の Token 貸出制約により、最終的な実行可能値はさらに小さくなる場合があります。

L_{available} = L_{0} - L_{bad} - L_{borrowed}

エンジンの実 Token 残高は、帳簿上の貸出可能残高以上である必要もあります。Token を追加送金しても L₀は自動的に拡大しません。残高不足なら Quoter はエラーを返し、利用可能に見える枠を提示し続けません。

ラット T 「Token18」のパイロットが、R 外部6 USDC 準備金、およびL Token18 は、貸し出しのためのものです。 V2 の正確な出力入力計算が、 L, 外部6の純売上限が、在庫によって許容される最大額は、次のとおりです。

E_{L} = ⌈ \frac{L \cdot 9,970 \cdot R}{T \cdot 10,000 + L \cdot 9,970} ⌉ - 1

L = 0 の場合は別途ゼロを返します。

このプレビュー枠を external6 に切り捨て変換し、小さい方を取ります。

E_{exec} = min (⌊ \frac{C_{remaining, preview}}{10^{12}} ⌋, E_{L})

Q_{sold, \max} = E_{exec} 10^{12}

N_{max} = ⌈ \frac{(Q_{sold, \max} + 1) 10,000}{9,900} ⌉ - 1

もし Qsold,max = 0ノミネート・メインもゼロです。 1 を加え、1 を引き下げると、ここでは 1 USDC ではなく、原生18 整数単位です。