Resumo de Inteligência de Sincronização de Protocolo Reconciliação total a montante concluída. Toly promoveu uma atualização estrutural do programa — limites administrativos por mercado embutidos na configuração da 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 de operador e a interface de negociação ao vivo — agora fala o mesmo formato de wire do binário atualizado. A mudança central: guarda-limites de governança no 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 definido, o programa os aplica para sempre — sem override de administrador, sem saída multiassinatura. Taxa máxima de manutenção por slot (128 bits sem sinal). Limiar máximo de risco (128 bits sem sinal). Mínimo do limite de preço do Oracle (64 bits sem sinal). Esses atuam como tetos e pisos duros. Qualquer operação administrativa subsequente que viole esses limites é rejeitada on-chain com o novo erro InvalidConfigParam. Isso é minimização de confiança em nível de protocolo — os implantadores de mercado se comprometem com limites de parâmetros na gênesis. A geometria da laje mudou. A região de configuração cresceu em 48 bytes para acomodar os três campos limite, além do espaço reservado. O comprimento da configuração vai de 320 para 368. O bloco do motor muda a jusante do deslocamento 392 para 440. A alocação total de slab cresce de 992.560 para 992.616 bytes. Cada leitura dependente do offset — análise de bitmap, consultas de conta, extração de estado do motor, leituras de balanço do cofre — recalibrada em toda a pilha. Quatro camadas de análise sintática independentes atualizadas para corresponder: o parser canônico do lado do servidor, o analisador do navegador, as constantes locais do construtor de transações e a constante de cálculo do aluguel para novas implantações de mercado. Três novas instruções para o ciclo de vida pós-resolução. Tag 21: força-fechamento administrativo para contas abandonadas após a resolução do mercado. Exige a flag de resolução, posição zero, assinatura de administrador. Metas de oito contas com o contexto completo do cofre/token/oráculo. É assim que se limpa os retardatários depois que um mercado binário se estabiliza. Tag 22: configuração da apólice de saque de seguro. O administrador define uma autoridade, base mínima de saque, pontos base máximos de saque e um período de recarga nos slots. Acesso limitado por taxa para mercados resolvidos — a autoridade pode drenar incrementalmente, mas nunca exceder os limites configurados por época. Tag 23: execute um saque de seguro com limite de taxa sob a apólice configurada. A autoridade envia um valor, o programa verifica contra as restrições mínimas/máximas/tempo de recarga, e transfere do cofre se for válido. Sete metas de conta, incluindo clock para aplicação do cooldown. Os três totalmente codificados — layouts de dados de instruções, especificações de ordenação de contas com sinalizadores/flags graváveis exatos, e funções de codificação de alto nível prontas para uso tanto em CLI quanto em programas programáticos. Formato da wire InitMarket atualizado. A instrução de inicialização agora espera três campos adicionais entre o preço inicial de marca e o bloco de parâmetros de risco: os três limites administrativos. Codificado como u128, u128, u64 na ordem exata dos fios. O CLI os aceita como --taxa máxima-manutenção, --limiar-máximo-risco-e --preço-oráculo-limite-teto. O construtor de transações de UI injeta padrões generosos — tetos de trilhões para taxas e limiar, zero floor para limite de oráculo — garantindo que os fluxos de implantação de mercado existentes não quebrem enquanto dá aos operadores controle total quando necessário. Dois novos códigos de erro de programa. Código 26: InvalidConfigParam — dispara quando qualquer operação administrativa tenta definir um valor que supere ou subestime os limites imutáveis do mercado. O CLI destaca orientações técnicas; a interface traduz-se para linguagem acionável de usuário sobre verificação de restrições de parâmetros. ...