CodeGraph 如何运作
将资产解析为带类型的图谱，然后运行确定性分析。关键路径上没有 LLM。
流水线依次运行：夹具资产，然后解析（COBOL、copybook、JCL、DB2 DDL），然后构建带类型的知识图谱，然后传递闭包影响加出处，然后确定性分析，然后审计与证据导出，然后交互式仪表盘。加载时应用通过 Server-Sent Events 实时运行，因此每一阶段都在控制台以真实测得延迟旁白，面板逐步填满，持久的阶段轨让你打开任一阶段的 Input、Processing 和 Output 追踪。单一控件可重放整次运行。
带类型的知识图谱
用 networkx 构建并驻于内存加 SQLite，图谱有七种节点类型（program、copybook、variable、table、jcl、dataset，以及 unresolved 占位）以及诸如 DEFINES、IMPORTS、REDEFINES、CONTROLS_TYPE_OF、WRITES_VAR、REFERENCES、CALLS、READS 和 WRITES、EXECUTES、USES_DATASET 和 PRECEDES 的带类型边。在随附夹具上，图谱有 47 个节点和 70 条边：14 个程序、5 份 copybook、17 个变量、3 张 DB2 表、3 个 JCL 作业、4 个数据集，以及 1 个未解析节点。
四项确定性分析
这些是普通图算法，不是模型调用，因此同一夹具每次运行给出相同结果。
1. 带出处的影响闭包
一次变更的传递依赖切片，每条边携带其 file:line 来源，因此你不仅能看见受影响的是什么，还能看见证据在哪里。
2. 朴素 vs 图谱召回
将图谱闭包对照夹具已知真值依赖集打分，对照模拟的单文件窗口——那才是基于文本的工具实际喂给模型的内容。
3. 抽取排序
每个程序的耦合与爆炸半径分数（耦合权重三、COMP-3 陷阱权重二、JCL 关键性权重二、未解析调用权重五），据此排出安全的绞杀藤迁移顺序。
4. 死代码可达性与完备性门禁
每一处 PERFORM、CALL、COPY 和 DB2 引用必须解析，或被标记为需复核，绝不能静默丢弃。不可达段落作为说明报告，不作为头条指标计分。
一个开关让差别可感知。勾选朴素 AI 上下文视图，图谱淡化为带少量上下文行的单一源文件。九项电汇事实中的六项消失，红色横幅陈述后果，翻回去则连同凭据恢复 9/9。该开关是检索层必须提供何种上下文的说明，不是价值来源。
完成后，Export JSON 写出 migration-evidence.json 文件，Evidence report 渲染可打印的代码库拓扑与完备性报告：节点与边摘要、带 file:line 出处的按模块闭包、召回结果与方法、排序后的抽取序列、死代码列表，以及时间戳。我们将其定位为 DORA ICT 资产清单和 SOC-2 变更控制凭证。可选的 Pydantic-AI 层可就闭包回答问题，但默认关闭且受密钥门控，确定性演示在没有任何密钥的情况下记录结果。
