Ambiente de simulação determinística para validação da lógica de contabilidade de deltas, gestão de liquidez concentrada e invariantes de segurança do protocolo.
Nota de Rigor Científico: Este simulador utiliza aritmética de inteiros de precisão arbitrária (BigInt) para espelhar a EVM. Não há uso de ponto flutuante. A analogia de "saldos" refere-se estritamente a registros criptográficos no livro-razão do contrato, não a ativos físicos.
Painel de ControleBLOQUEADO
1. Ciclo de Vida do Pool
O Pool deve ser inicializado antes de qualquer operação. O Unlock abre a janela atômica.
2. Gestão de Liquidez (PositionManager)
Gera deltas no PoolManager. Usa o tokenId como salt para unicidade.
3. Operações de Pool
Swap troca moedas gerando delta. Donate injera valor direto nos provedores de liquidez.
4. Resolução de Deltas
Obriga o zeramento dos deltas antes do Lock. Clear perdoa deltas positivos pequenos para economizar gás.
Verifica se NonzeroDeltaCount == 0. Se falhar, REVERT.
Estado Global do Contrato
Delta Moeda 0 (WETH)
0
Delta Moeda 1 (USDC)
0
Contador Deltas Não Nulos
0
Reserva Sincronizada (Simulada)
0
Posições NFT Ativas (PositionManager)
Nenhuma posição cunhada.
Terminal de Execução (EVM Log)
[00:00:00] Sistema inicializado. Estado: Bloqueado. Deltas zerados.