Definição
A margem de manutenção é o capital mínimo sobre o qual uma posição pode se apoiar, e é uma parte do nocional, e não da margem colocada: metade da margem inicial na alavancagem máxima do mercado, então entre 1,25 % do nocional em um mercado de 40x e 16,7 % em um de 3x. Qual capital é lido depende do modo. Uma posição cruzada é liquidada quando o valor da conta, com lucros e perdas não realizados incluídos, fica menor que a margem de manutenção vezes o nocional aberto total. Uma posição isolada segue a mesma regra com só a margem dela e o nocional dela como entradas.
O que acontece depois tem uma ordem. Primeiro se tenta fechar as posições inteiras mandando ordens a mercado para o livro, pelo tamanho inteiro, e elas podem executar inteiras ou em parte; se isso traz a conta de volta ao cumprimento da exigência, todo colateral que sobra fica com quem operava, e nenhuma taxa de liquidação é cobrada. Se o capital cai abaixo de 2/3 da margem de manutenção sem que uma liquidação pelo livro tenha dado certo, o vault liquidante, uma das estratégias que compõem a HLP, assume a posição, e a margem de manutenção então não volta.
Uma posição grande não é jogada inteira no livro. Para uma posição liquidável maior que 100.000 USDC (10.000 USDC na testnet), só 20 % dela sai como ordem de liquidação a mercado, e depois de um bloco em que alguma posição de um usuário é liquidada em parte há uma espera de 30 segundos durante a qual toda ordem de liquidação a mercado desse usuário é pela posição inteira. As liquidações são medidas no preço mark, não no último negócio que você viu.
O preço de liquidação mostrado antes da entrada é uma estimativa, e a documentação diz que ele pode estar impreciso porque a liquidez do livro muda. O preço mostrado depois que você está dentro tem a certeza do preço de entrada, mas anda mesmo assim com os pagamentos de funding e, em uma conta cruzada, com os lucros e perdas não realizados das suas outras posições. Um resultado surpreende: esse preço é independente da alavancagem definida em uma posição cruzada, e depende dela em uma isolada.
Fórmula
liq_price = price - side * margin_available / position_size / (1 - l * side), onde l = 1 / MAINTENANCE_LEVERAGE, side é 1 para um long e -1 para um short, e margin_available é account_value - maintenance_margin_required em uma posição cruzada ou isolated_margin - maintenance_margin_required em uma isolada.
Exemplo
Um exemplo, em números redondos. Um long isolado de 0,1 BTC entrado a US$ 100.000 em 10x coloca US$ 1.000 de margem. Em um mercado de 40x a margem de manutenção é 1,25 % dos US$ 10.000 de nocional, ou seja US$ 125, o que deixa US$ 875 de margem disponível e uma alavancagem de manutenção de 80, então l é 0,0125. A fórmula dá US$ 875 sobre 0,1 BTC sobre 0,9875, cerca de US$ 8.861 abaixo da entrada: uma liquidação perto de US$ 91.139, uma queda de 8,9 %.