TWAP e capacidade executável

A confirmação TWAP madura, as restrições imediatas no local e o inventário de empréstimo determinam conjuntamente a capacidade máxima executável de venda curta.

Três restrições diferentes

Restrição	Pergunta a que responde	Fonte de dados
Curva de risco	Que venda líquida teórica é atualmente permitida	Modelo de parâmetros fixos
TWAP + spot	Que parte da subida está confirmada e se o preço atual reduz a capacidade	Preço acumulado V2 e reservas em tempo real
Token emprestáveis / saída exata	Se o inventário pode ser efetivamente vendido por essa quantidade de USDC	Contabilidade do Engine, saldo de Token e Pair em tempo real

O montante que pode finalmente ser aberto depende das três, não de uma única tabela de capitalização.

1. Preço acumulado e TWAP

V2 regista o preço acumulado de external6 / token18 . Se A(t) for o valor acumulado escalado por 2¹¹² e o intervalo entre duas observações for Δt:

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

Conversão para capitalização em native18:

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

2. A janela mínima não é uma janela móvel fixa

A família de Engine de referência utiliza uma janela mínima de observação de 300 segundos:

Δt < 300 segundos: As atualizações das observações não escreve o estado de observação nem eleva o limite confirmado.
Δt ≥ 300 segundos: esta média abrange todo o período.

3. Limite confirmado: só aumenta

Na inicialização, o limite de capacidade parte dos valores fixos M₀ e C(M₀) ; a capacidade inicial não é zero. Ainda não existe uma amostra TWAP de tempo decorrido.

Para uma amostra madura, a capitalização candidata é:

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

Só é elevado se o candidato superar o máximo histórico. Seja H o limite confirmado de capitalização e $C_H$ o limite confirmado de capacidade:

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

Uma queda normal de preço não reduz estes dois máximos históricos confirmados. Contudo, spot continua a limitar imediatamente a capacidade efetivamente disponível.

4. Restrição spot imediata

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

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

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

Se o volume líquido vendido de todas as posições existentes for O = totalOpenShortNative:

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

Queda de spot: reduz imediatamente a capacidade de abertura sem esperar por um novo TWAP.
Recuperação de spot: restaura imediatamente a capacidade dentro do limite confirmado.
Novo máximo de spot: a parte que ultrapassa o limite confirmado continua a exigir um TWAP maduro.
Spot inferior a M₀: o modelo conserva o mínimo M₀ ; isto não significa que desapareça o risco de todo o mercado.

Exemplo de cenários

Suponhamos um limite histórico confirmado de capitalização de 10,000,000 USDC e um volume líquido vendido existente de 8,000 USDC:

Capitalização spot atual	Capacidade efetiva (USDC aprox.)	Capacidade restante de novas vendas líquidas (USDC aprox.)
25,000,000	55,056.240673	47,056.240673; a subida acima do limite anterior não foi libertada
1,000,000	10,518.095455	2,518.095455; contração imediata
10,000,000	55,056.240673	47,056.240673; recuperação dentro do limite anterior

Este exemplo calcula apenas a camada de risco. A restrição de empréstimos em Token do Pair real pode reduzir a quantidade finalmente executável.

5. Restrição do inventário de Token

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

O saldo real de Token do motor deve ser pelo menos igual ao saldo contabilístico emprestável. Uma transferência adicional de Token não aumenta automaticamente L₀; se o saldo for insuficiente, o Quoter devolve um erro em vez de continuar a apresentar uma capacidade aparentemente disponível.

Sejam T as reservas Token18 do Pair,R as reservas USDC external6 e L os Token18 emprestáveis. Para que o cálculo inverso de saída exata V2 não ultrapasse L, a venda líquida máxima em external6 permitida pelo inventário é:

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

L = 0 Retorna zero separadamente nesse caso.

Esta capacidade prevista é convertida por defeito para external6 e toma-se o menor valor:

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

Se Qsold,max = 0, o nocional também é zero. A soma de 1 e a subtração de 1 destas expressões referem-se a unidades inteiras brutas native18, não a 1 USDC.

6. Uma cotação não garante a execução

A pré-visualização e o estado confirmado não são o mesmo campo; a interface deve apresentá-los separadamente.
Após a cotação podem ocorrer swaps, aberturas de outros utilizadores, liquidações de Token de taxas ou o avanço do tempo.
O nocional executável continua a não ser uma cotação completa da transação: o utilizador também tem de cumprir os requisitos de garantia, limite de Token emprestados e saída líquida exata de seis casas decimais.