Como o CodeGraph funciona
Faça o parse do patrimônio em um grafo tipado e então execute análises determinísticas. Nenhum LLM fica no caminho crítico.
O pipeline executa o patrimônio fixture, depois o parse (COBOL, copybooks, JCL, DB2 DDL), depois constrói um grafo de conhecimento tipado, depois o impacto de fecho transitivo mais proveniência, depois as análises determinísticas, depois uma auditoria e a exportação de evidências, depois o painel interativo. No carregamento, o aplicativo executa isso ao vivo via Server-Sent Events, de modo que cada estágio narra com sua latência real medida em um console, os painéis se preenchem progressivamente, e um trilho persistente de estágios permite abrir o rastreio de Entrada, Processamento e Saída de qualquer estágio. Um único controle reproduz a execução inteira.
O grafo de conhecimento tipado
Construído com networkx e mantido em memória mais SQLite, o grafo tem sete tipos de nó (programa, copybook, variável, tabela, jcl, dataset e um placeholder não resolvido) e arestas tipadas como DEFINES, IMPORTS, REDEFINES, CONTROLS_TYPE_OF, WRITES_VAR, REFERENCES, CALLS, READS e WRITES, EXECUTES, USES_DATASET e PRECEDES. No fixture enviado o grafo tem 47 nós e 70 arestas: 14 programas, 5 copybooks, 17 variáveis, 3 tabelas DB2, 3 jobs JCL, 4 datasets e 1 nó não resolvido.
Quatro análises determinísticas
São algoritmos de grafo simples, não chamadas a modelo, então o mesmo fixture produz o mesmo resultado a cada execução.
1. Fecho de impacto com proveniência
A fatia de dependência transitiva de uma mudança, com cada aresta carregando sua origem arquivo:linha, para que você veja não só o que é afetado, mas onde a evidência vive.
2. Recall ingênuo versus recall do grafo
O fecho do grafo pontuado contra o conjunto de verdade de referência conhecido do fixture, versus uma janela simulada de arquivo único, que é o que uma ferramenta baseada em texto realmente alimenta a um modelo.
3. Sequenciamento de extração
Uma pontuação de acoplamento e raio de impacto por programa (acoplamento ponderado três, armadilhas COMP-3 ponderadas dois, criticidade JCL ponderada dois, calls não resolvidos ponderados cinco) que ranqueia uma ordem segura de migração por figueira-estranguladora.
4. Alcançabilidade de código morto e portão de completude
Todo PERFORM, CALL, COPY e referência DB2 deve resolver ou ser sinalizado como precisa de revisão, nunca descartado em silêncio. Parágrafos inalcançáveis são relatados como ilustração, não pontuados como métrica de destaque.
Um único seletor torna a diferença tangível. Marque a visão de contexto de IA ingênua e o grafo se reduz ao arquivo-fonte único com algumas linhas de contexto. Seis dos nove fatos da transferência eletrônica desaparecem, um banner vermelho declara a consequência, e voltar restaura 9/9 com comprovantes. Esse seletor é uma ilustração do que a camada de recuperação precisa fornecer, não a fonte de valor.
Quando você termina, Export JSON grava um arquivo migration-evidence.json, e Evidence report renderiza um Relatório de Topologia e Completude da Base de Código imprimível: o resumo de nós e arestas, os fechos por módulo com proveniência arquivo:linha, o resultado e o método de recall, a sequência de extração ranqueada, a lista de código morto e um carimbo de data/hora. Posicionamos isso como um inventário de ativos de TIC da DORA e um comprovante de controle de mudanças SOC-2. Uma camada opcional Pydantic-AI pode responder perguntas sobre o fecho, mas está desligada por padrão e protegida por chave, e a demonstração determinística registra o resultado sem nenhuma chave.
