Migração de COBOL → Java com agentes IA e validação determinística por paridade (bug-for-bug)

Este NÃO é um prompt solto: é um pacote de produção com 5 arquivos complementares + 3 diagramas SVG, no padrão que um engenheiro de IA usa para levar um agente a altíssima precisão em uma tarefa real e arriscada. Você vai usar agentes de IA (orquestrador + agentes de planejamento, migração, teste e revisão) para modernizar programas COBOL/mainframe para Java SEM mudar o comportamento observável do sistema.

POR QUE ESTE PACOTE EXISTE Migrações de legado falham quando a IA 'melhora' o código e quebra o que já funcionava. Do outro lado, o estado atual do método (referência arXiv 2607.28271, o 'Locksmith Loop') mostra que dá para validar migração de forma determinística: a origem e o alvo rodam os MESMOS mocks em hardware comum e um oráculo compara a saída byte a byte. O Java só é aceito se a paridade bater — bugs do sistema viram características preservadas (bug-for-bug, Lei de Hyrum), não defeitos a 'corrigir' às cegas.

O QUE VOCÊ RECEBE (5 arquivos + diagramas) 01-prompt-principal.md — o prompt reutilizável: papel (engenheiro sênior de modernização), objetivo, schema de saída exigido (ADR, plano de migração, tradução, plano de testes Locksmith Loop, relatório de risco) e passo a passo de raciocínio. 02-regras-e-restricoes.md — guardrails imperativos numerados: nunca alterar comportamento, nunca inventar cobertura, como tratar informação faltante/ambígua, e o formato exato de erro quando a tarefa for impossível. 03-contexto-e-exemplos.md — glossário (COBOL, CICS, VSAM, JCL, COMP-3, EBCDIC, oracle determinístico, Witness Search, Locked Paragraph), premissas do ambiente e 2 exemplos completos few-shot, incluindo um caso de borda difícil (preservar um bug que dependentes contam como correto). 04-harness-de-verificacao.md — checklist de autoverificação que o modelo roda ANTES de entregar, mais critérios objetivos de aceite que VOCÊ usa para validar a saída (correta vs. errada). 05-templates-de-variacao.md — variações: triagem rápida, só-validação (Locksmith Loop), outra stack (Assembler, .NET), humano no loop e estratégia incremental para grandes volumes.

Para quem é: times de plataforma e modernização, fintechs e órgãos públicos com COBOL em produção, e engenheiros que montam pipelines de agentes. É a diferença entre 'a IA migrou (tomara)' e 'a IA migrou e a paridade determinística prova que está igual'.