Radar Tech: agentes IA migram COBOL para Java — e a validação determinística por paridade muda o jogo
O tópico mais comentado das últimas 24h em engenharia: IA agentes na modernização de mainframe. Da pesquisa do 'Locksmith Loop' (arXiv 2607.28271) ao debate sobre bug-for-bug e Lei de Hyrum — entenda o método que prova, em vez de confiar, na migração de legado.
Radar Tech: agentes IA na migração de legado
As últimas 24 horas foram marcadas por um debate intenso sobre o papel da IA aplicada à engenharia de software — e o tema que mais cresceu foi a migração de COBOL para Java assistida por agentes.
O que está rodando
Um estudo (arXiv 2607.28271) propôs o "Locksmith Loop": um método agentico para validar de forma determinística a migração de programas legados. Em vez de confiar que a tradução "parece certa", a técnica roda a origem (COBOL) e o alvo (Java) com os mesmos mocks em hardware comum, e um oráculo de paridade compara a saída byte a byte.
- Witness Search gera mocks de entrada para penetrar em branches ainda não cobertos.
- Mutações preservadoras de paridade ampliam a cobertura mantendo a igualdade de saída.
- Quando algo bloqueia a exploração, um analista identifica o parágrafo bloqueado e o desbloqueia.
- Nos casos de estudo (430 a 4.114 LOC), a cobertura chegou a quase 100% em código aberto e a 91,9% num programa produtivo-like — com o Java aceito sob checagens determinísticas.
O debate de fundo: bug-for-bug
A discussão mais quente não é se a IA consegue traduzir, mas o que fazer com os bugs. A resposta da comunidade é clara: quando dezenas de relatórios e jobs dependem de um comportamento "errado" (Lei de Hyrum), corrigi-lo na migração quebra o que já funciona. Por isso a migração moderna preserva o bug como característica e abre um ADR separado para eliminá-lo gradualmente.
Dois pontos que separam sucesso de desastre:
- Determinismo: a tradução de código é feita de forma determinística (AST, temperatura zero); o LLM planeja, gera testes e revisa — não "chuta" a tradução.
- Oracle, não opinião: cada caso é julgado por paridade de saída, não por inspeção visual. Se não passar, é divergência a investigar, nunca "arredondar" o problema.
Por que isso importa
São centenas de bilhões de linhas de COBOL em produção, e a mão de obra especializada encolhe. Ferramentas de migração assistida por IA já são reais — o ganho estratégico é o controle: saber que a mudança preserva o comportamento antes de promovê-la. Migrar legado deixa de ser aposta e vira engenharia verificável.
No nosso marketplace, publicamos um pacote completo de prompts para aplicar exatamente esse método: você orquestra agentes de planejamento, migração, teste e revisão, com harness de verificação e critérios objetivos de aceite. O mesmo assunto desta edição do Radar Tech, pronto para uso no seu time.
Resumo do dia
- Riscos de migração: integração com CICS/VSAM/JCL e precisão numérica (PIC, COMP-3, EBCDIC) são os pontos onde a paridade costuma quebrar.
- Bugs ≠ defeitos na migração: o comportamento observável vira contrato.
- Validação determinística é o diferencial: cobertura orientada a branches + oracle de paridade.
Acompanhe o Radar Tech para continuar ligado no que a IA está mudando na engenharia de software.
