Cómo funciona CodeGraph
Analice el patrimonio en un grafo tipado y luego ejecute análisis deterministas. Ningún LLM se sienta en el camino crítico.
El pipeline recorre el patrimonio fixture, luego el parse (COBOL, copybooks, JCL, DB2 DDL), luego construye un grafo de conocimiento tipado, luego el impacto por cierre transitivo más procedencia, luego los análisis deterministas, luego una auditoría y exportación de evidencia, luego el panel interactivo. Al cargar, la aplicación ejecuta esto en vivo sobre Server-Sent Events, de modo que cada etapa narra con su latencia real medida en una consola, los paneles se llenan de forma progresiva, y un riel persistente de etapas le permite abrir la traza de Entrada, Procesamiento y Salida de cualquier etapa. Un único control reproduce toda la ejecución.
El grafo de conocimiento tipado
Construido con networkx y mantenido en memoria más SQLite, el grafo tiene siete tipos de nodo (programa, copybook, variable, tabla, jcl, dataset y un marcador de posición no resuelto) y aristas tipadas como DEFINES, IMPORTS, REDEFINES, CONTROLS_TYPE_OF, WRITES_VAR, REFERENCES, CALLS, READS y WRITES, EXECUTES, USES_DATASET y PRECEDES. En el fixture publicado el grafo tiene 47 nodos y 70 aristas: 14 programas, 5 copybooks, 17 variables, 3 tablas DB2, 3 trabajos JCL, 4 datasets y 1 nodo no resuelto.
Cuatro análisis deterministas
Estos son algoritmos de grafo simples, no llamadas a un modelo, de modo que el mismo fixture produce el mismo resultado en cada ejecución.
1. Cierre de impacto con procedencia
El corte de dependencia transitiva de un cambio, con cada arista llevando su origen archivo:línea, de modo que puede ver no solo qué se ve afectado sino dónde vive la evidencia.
2. Recall ingenuo versus recall del grafo
El cierre del grafo puntuado contra el conjunto conocido de dependencias de verdad de referencia del fixture, frente a una ventana de un solo archivo simulada, que es lo que una herramienta basada en texto realmente alimenta a un modelo.
3. Secuenciación de extracción
Una puntuación de acoplamiento y radio de explosión por programa (acoplamiento ponderado tres, trampas COMP-3 ponderadas dos, criticidad JCL ponderada dos, llamadas no resueltas ponderadas cinco) que establece un orden de migración strangler-fig seguro.
4. Alcanzabilidad de código muerto y puerta de completitud
Cada PERFORM, CALL, COPY y referencia DB2 debe resolverse o marcarse como necesita revisión, nunca descartarse en silencio. Los párrafos inalcanzables se reportan como una ilustración, no se puntúan como una métrica principal.
Un interruptor hace tangible la diferencia. Active la vista de contexto de IA ingenua y el grafo se atenúa al único archivo fuente con unas pocas líneas de contexto. Seis de los nueve hechos de la transferencia electrónica desaparecen, un banner rojo enuncia la consecuencia, y al volver se restauran 9/9 con comprobantes. Ese interruptor es una ilustración de qué contexto debe suministrar la capa de recuperación, no la fuente de valor.
Cuando termina, Export JSON escribe un archivo migration-evidence.json, y Evidence report renderiza un Informe de topología y completitud de la base de código imprimible: el resumen de nodos y aristas, los cierres por módulo con procedencia archivo:línea, el resultado de recall y el método, la secuencia de extracción ordenada, la lista de código muerto y una marca de tiempo. Lo posicionamos como un inventario de activos TIC DORA y un comprobante de control de cambios SOC-2. Una capa opcional Pydantic-AI puede responder preguntas sobre el cierre, pero está desactivada por defecto y protegida por clave, y la demo determinista registra el resultado sin ninguna clave.
