Resumo da Inteligência do Protocolo Sync Reconciliação completa a montante. Toly implementou uma atualização estrutural do programa — limites administrativos por mercado incorporados na configuração do slab como restrições imutáveis. Absorvemos todo o delta na pilha ALIENTOR. Cada camada — análise on-chain, codificação de instruções, construção de transações, tratamento de erros, ferramentas para operadores e a interface de trading ao vivo — agora fala o mesmo formato de wire que o binário atualizado. A mudança central: guardrails de governança ao nível da configuração. Três novos parâmetros imutáveis são carimbados em cada mercado no momento da inicialização. Uma vez definidos, o programa os impõe para sempre — sem sobreposição administrativa, sem escape hatch multisig. Taxa máxima de manutenção por slot (unsigned de 128 bits). Limite máximo de risco (unsigned de 128 bits). Teto mínimo de preço do oráculo (unsigned de 64 bits). Estes atuam como tetos e pisos rígidos. Qualquer operação administrativa subsequente que viole esses limites é rejeitada on-chain com o novo erro InvalidConfigParam. Esta é a minimização de confiança ao nível do protocolo — os implementadores de mercado comprometem-se com os limites de parâmetros na gênese. Geometria do slab alterada. A região de configuração cresceu em 48 bytes para acomodar os três campos de limite mais espaço reservado. O comprimento da configuração passa de 320 para 368. O bloco do motor desloca-se a jusante do deslocamento 392 para 440. A alocação total do slab cresce de 992.560 para 992.616 bytes. Cada leitura dependente de deslocamento — análise de bitmap, buscas de contas, extração de estado do motor, leituras de saldo de vault — recalibrada em toda a pilha. Quatro camadas de análise independentes atualizadas para corresponder: o analisador canônico do lado do servidor, o analisador do lado do navegador, as constantes locais do construtor de transações e a constante de cálculo de aluguel para novas implementações de mercado. Três novas instruções para o ciclo de vida pós-resolução. Tag 21: fechamento forçado administrativo para contas abandonadas após a resolução do mercado. Requer a flag resolvida, posição zero, assinatura administrativa. Oito metas de conta com o contexto completo de vault/token/oracle. É assim que você limpa os restos após um mercado binário se estabelecer. Tag 22: configuração da política de retirada de seguro. O administrador define uma autoridade, base mínima de retirada, pontos de base máxima de retirada e um período de cooldown em slots. Acesso ao seguro limitado por taxa para mercados resolvidos — a autoridade pode drenar incrementalmente, mas nunca exceder os limites configurados por época. Tag 23: executar uma retirada de seguro limitada por taxa sob a política configurada. A autoridade submete um montante, o programa verifica contra as restrições de min/max/cooldown e transfere do vault se válido. Sete metas de conta incluindo relógio para a aplicação do cooldown. Todos os três totalmente codificados — layouts de dados de instrução, especificações de ordenação de contas com flags exatas de signatário/escrita, e funções de codificação de alto nível prontas para uso tanto em CLI quanto programático. Formato de wire InitMarket atualizado. A instrução de inicialização agora espera três campos adicionais entre o preço de marca inicial e o bloco de parâmetros de risco: os três limites administrativos. Codificados como u128, u128, u64 na ordem exata do wire. O CLI aceita-os como --max-maintenance-fee, --max-risk-threshold, e --min-oracle-price-cap. O construtor de transações da UI injeta padrões generosos — tetos em escala de trilhões para taxa e limite, piso zero para o teto do oráculo — garantindo que os fluxos de implementação de mercado existentes não quebrem enquanto dão aos operadores controle total quando necessário. Dois novos códigos de erro do programa. Código 26: InvalidConfigParam — dispara quando qualquer operação administrativa tenta definir um valor que excede ou subestima os limites imutáveis do mercado. O CLI apresenta orientações técnicas; a UI traduz para uma linguagem acionável para o usuário sobre a verificação das restrições de parâmetros. ...