Come funziona CodeGraph
Analizza il patrimonio in un grafo tipizzato, poi esegue analisi deterministiche. Nessun LLM è nel percorso critico.
La pipeline esegue Fixture estate, poi parse (COBOL, copybook, JCL, DB2 DDL), poi costruisce un grafo di conoscenza tipizzato, poi impatto a chiusura transitiva più provenienza, poi le analisi deterministiche, poi un audit e l'export delle evidenze, poi la dashboard interattiva. Al caricamento l'app esegue questo in diretta su Server-Sent Events, così ogni fase narra con la sua latenza reale misurata in una console, i pannelli si riempiono progressivamente, e una barra di fase persistente consente di aprire la traccia Input, Processing e Output di qualsiasi fase. Un unico controllo riesegue l'intera corsa.
Il grafo di conoscenza tipizzato
Costruito con networkx e tenuto in-memory più SQLite, il grafo ha sette tipi di nodo (program, copybook, variable, table, jcl, dataset, e un placeholder unresolved) e archi tipizzati come DEFINES, IMPORTS, REDEFINES, CONTROLS_TYPE_OF, WRITES_VAR, REFERENCES, CALLS, READS and WRITES, EXECUTES, USES_DATASET, e PRECEDES. Sul fixture incluso il grafo ha 47 nodi e 70 archi: 14 programmi, 5 copybook, 17 variabili, 3 tabelle DB2, 3 job JCL, 4 dataset, e 1 nodo unresolved.
Quattro analisi deterministiche
Sono algoritmi di grafo semplici, non chiamate a un modello, quindi lo stesso fixture produce lo stesso risultato a ogni esecuzione.
1. Chiusura di impatto con provenienza
La fetta transitiva di dipendenze di una modifica, con ogni arco che porta la sua sorgente file:line, così vedi non solo cosa è interessato ma dove vive l'evidenza.
2. Recall naive versus grafo
La chiusura del grafo valutata rispetto all'insieme noto di dipendenze ground-truth del fixture, versus una finestra a file singolo simulata, che è ciò che uno strumento basato su testo alimenta davvero a un modello.
3. Sequenza di estrazione
Un punteggio di accoppiamento e raggio d'impatto per programma (accoppiamento pesato tre, trappole COMP-3 pesate due, criticità JCL pesata due, chiamate unresolved pesate cinque) che classifica un ordine di migrazione strangler-fig sicuro.
4. Raggiungibilità del dead-code e gate di completezza
Ogni PERFORM, CALL, COPY e riferimento DB2 deve risolversi o essere segnalato come da revisionare, mai scartato in silenzio. I paragrafi irraggiungibili sono riportati come illustrazione, non valutati come metrica in evidenza.
Un solo toggle rende la differenza tangibile. Attiva la vista naive AI context e il grafo si attenua al singolo file sorgente con poche righe di contesto. Sei dei nove fatti sul bonifico svaniscono, un banner rosso dichiara la conseguenza, e tornare indietro ripristina 9/9 con le ricevute. Quel toggle è un'illustrazione di quale contesto lo strato di retrieval deve fornire, non la fonte del valore.
Quando hai finito, Export JSON scrive un file migration-evidence.json, e Evidence report genera un Codebase Topology and Completeness Report stampabile: il riepilogo di nodi e archi, le chiusure per modulo con provenienza file:line, il risultato e il metodo di recall, la sequenza di estrazione classificata, l'elenco del dead-code e un timestamp. Lo posizioniamo come inventario di asset ICT DORA e come ricevuta di change-control SOC-2. Uno strato opzionale Pydantic-AI può rispondere a domande sulla chiusura, ma è disattivato di default e protetto da chiave, e la demo deterministica registra il risultato senza alcuna chiave.
