TWAP et capacité exécutable

La confirmation TWAP mature, les contraintes spot immédiates et l'inventaire de prêt déterminent conjointement la capacité de vente courte maximale exécutable.

Trois contraintes distinctes

Contrainte	Question traitée	Source des données
Courbe de risque	Quel montant théorique de ventes nettes est actuellement autorisé ?	Modèle à paramètres fixes
TWAP + spot	Quelle part de la hausse est confirmée et le prix actuel réduit-il la capacité ?	Prix cumulés V2 et réserves en temps réel
Token empruntables / sortie exacte	Le stock permet-il réellement de vendre autant d’USDC ?	Comptabilité de l’Engine, solde Token, Pair en temps réel

Le montant qui peut finalement être ouvert dépend des trois contraintes, et non d’un seul tableau de capitalisation.

1. Prix cumulé et TWAP

V2 enregistre le prix cumulé en external6 / token18 . Soit A(t) la valeur cumulée mise à l’échelle par 2¹¹² , et Δt:

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

Conversion en capitalisation native18 :

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

2. La fenêtre minimale n’est pas une fenêtre glissante fixe

La famille Engine de référence utilise une fenêtre d’observation minimale de 300 secondes:

Δt < 300 secondes: Les mises à jour des observations n’écrit pas d’état d’observation et ne relève pas le plafond confirmé.
Δt ≥ 300 secondes: la moyenne couvre toute la période.

3. Plafond confirmé : il ne peut qu’augmenter

À l’initialisation, le plafond de capacité part des valeurs fixes M₀ et C(M₀) ; la capacité initiale n’est pas nulle. Aucun échantillon TWAP portant sur du temps écoulé n’existe encore.

Pour un échantillon arrivé à maturité, la capitalisation candidate est :

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

Le plafond n’est relevé que si la valeur candidate dépasse le plafond historique. Avec H pour le plafond de capitalisation confirmé et $C_H$ pour le plafond de capacité confirmé :

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

Une baisse de prix ordinaire ne réduit pas ces deux plafonds historiquement confirmés. Le montant réellement disponible reste toutefois immédiatement limité par le spot.

4. Contrainte spot immédiate

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

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

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

Si le montant net vendu par toutes les positions existantes est O = totalOpenShortNative:

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

Baisse du spot : le montant ouvrable se réduit immédiatement, sans attendre un nouveau TWAP.
Rétablissement du spot : la capacité peut être immédiatement rétablie dans la limite du plafond confirmé.
Nouveau plus haut du spot : la part au-delà du plafond confirmé nécessite toujours un TWAP arrivé à maturité.
Spot inférieur à M₀: le modèle conserve le plancher M₀ ; cela ne signifie pas que tout risque de marché disparaît.

Exemple de scénario

Supposons un plafond de capitalisation historiquement confirmé de 10,000,000 USDC, et des ventes nettes existantes de 8,000 USDC:

Capitalisation spot actuelle	Capacité effective (environ, USDC)	Solde de ventes nettes pour de nouvelles ouvertures (environ, USDC)
25,000,000	55,056.240673	47,056.240673 ; la hausse au-delà de l’ancien plafond n’est pas libérée
1,000,000	10,518.095455	2,518.095455 ; réduction immédiate
10,000,000	55,056.240673	47,056.240673 ; rétablissement dans l’ancien plafond

Cet exemple ne calcule que la couche de risque. Les contraintes de prêt de Token de la Pair réelle peuvent encore réduire le montant exécutable final.

5. Contrainte du stock de Token

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

Le solde réel de Token de l’Engine doit aussi être au moins égal au solde comptable empruntable. Un transfert supplémentaire de Token n’augmente pas automatiquement L₀; si le solde est insuffisant, le Quoter renvoie une erreur au lieu de continuer à présenter un montant apparemment disponible.

Soient T la réserve Token18 de la Pair,R sa réserve USDC external6 et L les Token18 empruntables. Pour que le calcul inverse de sortie exacte V2 ne dépasse pas L, le montant maximal de ventes nettes external6 associé au stock est :

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

L = 0 retourne le zéro séparément dans ce cas.

Ce montant prévisualisé est converti vers external6 par arrondi inférieur, puis la plus petite valeur est retenue :

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

Si Qsold,max = 0, le notionnel est aussi nul. Les opérations + 1 / − 1 ici sont des unités entières brutes native18, et non 1 USDC.

6. Une cotation ne garantit pas l’exécution

La prévisualisation et l’état confirmé sont des champs différents ; l’interface doit les afficher séparément.
Après la cotation, un swap, l’ouverture d’un autre utilisateur, une conversion des Tax Token ou l’écoulement du temps peuvent survenir.
Le notionnel exécutable n’est pas encore une cotation de transaction complète : l’utilisateur doit aussi satisfaire les exigences de collatéral, de plafond d’emprunt de Token et de sortie nette exacte à six décimales.