Sistema antigo, contrato novo.

Os três casos, do sistema antigo ao avaliador.

Quatro passos, e o último diz não.

1. Ler o que existe

   O executável, quando é só o que sobrou, ou o código-fonte. Lido como dado: nada do sistema antigo é executado para isso.

2. Escrever o contrato

   Cada tela, rota, botão, tabela e regra vira uma lista conferível. Mesma entrada, mesmo arquivo, byte a byte.

3. Gerar o sistema novo

   Do contrato, e só dele, sai o sistema na tecnologia nova. O que não deu para traduzir fica marcado, não inventado.

4. Conferir e reprovar

   Um avaliador compara o antigo com o novo e reprova a diferença. Sem ele, "ficou igual" é opinião.

O que já foi medido.

• Delphi → web34 de 34telas idênticas ao código-fonte, lidas só do executável do HeidiSQL 12.21.
• Laravel → FastAPI19 de 19endpoints respondem igual (81 de 81 passos), com controle negativo.
• O jogo5 de 12funções do Chocolate Doom reescritas iguais ao fonte só pelo executável; 6 parciais.

Todo número desta página sai de um arquivo de evidência publicado aqui mesmo, em /dados/indice.json. Agentes de IA: comecem por /llms.txt. Para rodar o leitor de Delphi aqui mesmo, a aba Experimente.

O caminho inteiro, do arquivo .exe à tela na web.

Um arquivo de 25 MB, lido como bytes, sem rodar o programa.

• 38telas
• 1.634componentes
• 1.264eventos de tela
• 199comandos SQL
• 48tabelas citadas

Cada número vem do contrato gerado do executável oficial (sha256 nos créditos) e é refeito igual a cada execução. Em JSON: caso.json.

Escolha uma tela e clique num botão: aparece o que ele faz no sistema original.

Onde existe código-fonte, o executável tem que dizer a mesma coisa. Disse.

O executável não traz o código dos botões. A engenharia reversa traz.

Escolhemos 5 botões, cada um achado por um texto que só ele usa no código-fonte. A ferramenta de engenharia reversa achou o texto no binário, a função que o usa e escreveu essa função de novo, em pseudo-código. Depois comparamos com o fonte, fato por fato (botoes.json).

• 3de 5 iguais ao fonte
• 18 de 18fatos do caminho normal
• 0 de 3fatos do tratamento de erro
• 18 minde análise, uma vez
• 0,1 spor pergunta depois

Quatro passos, cada um com a sua conferência.

1. Ler o executável

   O Delphi guarda cada tela dentro do .exe. Lemos esses blocos como dados: telas, componentes, ligações e eventos. O programa nunca é executado.

2. Montar o contrato

   Tudo vira uma lista do que o sistema promete: cada botão, o evento dele, o SQL que aparece. Mesmo arquivo, mesmo resultado, byte a byte.

3. Conferir com o fonte, quando existe

   Lemos o código pelo arquivo de projeto e comparamos tela por tela. Aqui, 34 de 34 idênticas.

4. Subir para a web

   As telas viram HTML, cada evento ligado à operação do contrato. Um conferidor reprova se faltar um componente ou um evento: faltaram 0.

O que o executável não entrega, e como fechamos.

• O código de todos os botões. A engenharia reversa leu 5 botões, não os 1.264 eventos. Cada um custa uma consulta rápida depois da análise inicial, mas o bloco de erro ainda precisa ser conferido à parte.
• SQL montado em tempo de execução. No código-fonte do HeidiSQL, 195 comandos são montados com variáveis; a tabela real só aparece rodando. Ficam marcados para conferir com quem conhece o sistema.
• O desenho. A versão web usa as posições originais da tela. É o ponto de partida para redesenhar, não o visual final.

Mesmo status, mesma resposta, mesmo banco, depois de cada passo.

• 19 de 19endpoints iguais
• 81 de 81passos iguais
• 0 de 19no controle negativo
• 0diferenças no esquema de 10 tabelas
• 1pendência no contrato

Em JSON: resultado.json (passo a passo), resultado-negativo.json, realworld.json (contrato e rotas) e cobertura-gerador.json.

Inclui erro de validação, sem login, sem permissão, não encontrado e acento no título.

Do PHP ao contrato, do contrato ao Python, e um avaliador no meio.

1. Contrato

   O código PHP é lido pela árvore sintática, nunca executado: 19 rotas, 10 tabelas com 54 colunas, 4 models com 12 relações, 9 validações e 8 formatos de resposta.

2. Gerador

   Do contrato sai um app FastAPI que roda sozinho: rotas, validações, tabelas e o código do app traduzido. Trecho sem tradução responde "não implementado" em vez de inventar.

3. Avaliador diferencial

   Os dois apps sobem com cópias idênticas do mesmo banco. Cada passo vai aos dois; status, resposta e o banco inteiro são comparados. Diferença sai com o motivo.

Num app grande, o gerador ainda não cobre nenhuma rota da API.

O BookStack v26.09.1 tem 340 rotas (82 da API), 40 tabelas e 502 classes. O contrato sai inteiro, mas o gerador cobre 0 de 82 rotas da API: toda rota da API passa pela sessão do Laravel, que a tradução ainda não tem. O que mais trava, em número de rotas:

Em JSON: bookstack.json. O placar do RealWorld vale para o que o cenário exercita; o BookStack mostra o que falta para um app grande.

Textos quase todos; nomes, nenhum.

• 5 de 12funções equivalentes ao fonte
• 6parciais, com o defeito anotado
• 89,8%dos textos do fonte achados no binário
• 1.501funções próprias achadas (o fonte define até 2.101)
• 0nomes do jogo recuperados

O fonte é teto, não alvo: o compilador descarta e embute funções, então 1.501 de 2.101 não é taxa de acerto. Em JSON: metricas.json e caso.json.

Pseudo-código da engenharia reversa contra o código-fonte.

Em JSON, com o motivo de cada veredito: funcoes.json.

Onde o pseudo-código engana, e em quais funções.

• O retorno antecipado some. Sai um if vazio seguido do erro: lido ao pé da letra, a função sempre aborta. Quem portar o código a partir do pseudo-código tem de conferir o assembly nesses pontos. Em: W_ReadLump, W_GetNumForName, G_DoLoadGame.
• A chamada por ponteiro perde os argumentos. A leitura do arquivo é chamada por ponteiro, e o pseudo-código fica sem os argumentos; o deslocamento certo só aparece no assembly, que a ferramenta também devolve. Em: W_AddFile, W_ReadLump.
• A fronteira da função sai errada. Uma função ganhou três vizinhas coladas no fim; outra nem virou função, porque o endereço que usa o texto ficou fora de qualquer procedimento. Em: M_LoadDefaults, G_Ticker.
• Função embutida apaga a forma. O compilador embutiu funções pequenas: sobra um bloco corrido com bem menos chamadas que o fonte. Em: TryRunTics.
• Nenhum nome do jogo volta. O executável não tem tabela de símbolos: 3 procedimentos ganharam nome, e 0 deles é nome do jogo.

O formato do arquivo de dados do jogo, escrito só a partir do binário.

O WAD guarda mapas, sons e texturas; documentá-lo é o que permite editor de mapa, mod e preservação. O formato foi escrito a partir do pseudo-código e do assembly da função que abre o arquivo, e só depois conferido contra o fonte. Rodado no freedoom1.wad do Freedoom:

• IWADtipo do arquivo, lido do cabeçalho
• 3.163blocos de dados no diretório
• 36mapas, de E1M1 a E4M9
• 0blocos fora do arquivo

O diretório começa no byte 28.744.468 e termina exatamente no fim do arquivo. Em JSON: freedoom1.wad.json.

O mesmo programa da linha de comando, sem servidor.

• Na primeira vez o navegador baixa o Python 3.14.2 em WebAssembly (Pyodide 314.0.7, 13,5 MB sem compressão); depois fica em cache.
• Nenhum envio: a página só busca arquivos deste site. O arquivo escolhido é lido na própria aba.
• Mesmo resultado da linha de comando: o pacote que roda aqui é o mesmo do leitor de Delphi, copiado sem mudança. Há dois exemplos prontos para quem não tem um executável à mão.
• Licença do Pyodide: MPL-2.0, sem alteração nos arquivos.

A página do leitor e os dados de cada caso, sem raspar HTML.

• /experimente/: o campo #arquivo recebe o arquivo; body[data-estado] diz em que ponto está; o resultado sai em #resultado-json e o contrato inteiro em #contrato-json; window.delphiContrato faz o mesmo por código; com document.modelContext, a página registra as ferramentas WebMCP extrair_contrato e comparar.
• /llms.txt: o que é este site e onde está cada dado, em texto simples.
• /dados/indice.json: os três casos, os números do placar e o endereço de cada evidência.
• Delphi: caso.json, telas.json (o contrato das telas), botoes.json.
• Laravel → FastAPI: realworld.json (contrato), resultado.json (placar), resultado-negativo.json, bookstack.json.
• O jogo: caso.json, metricas.json, funcoes.json, freedoom1.wad.json.