CodeGraph 如何運作
將資產剖析成具型別的圖譜，再執行確定性分析。關鍵路徑上沒有 LLM。
管線依序執行：夾具資產，然後剖析（COBOL、copybooks、JCL、DB2 DDL），然後建立具型別的知識圖譜，然後遞移閉包影響加上出處，然後確定性分析，然後稽核與證據匯出，然後互動儀表板。載入時應用程式透過 Server-Sent Events 即時執行這整條管線，因此每個階段在主控台以真實量測延遲旁白，面板逐步填入，而持久的階段軌道讓您開啟任一階段的 Input、Processing 與 Output 追蹤。單一控制即可重播整次執行。
具型別的知識圖譜
以 networkx 建構並保存在記憶體內加上 SQLite，圖譜有七種節點類型（program、copybook、variable、table、jcl、dataset，以及 unresolved placeholder）以及型別化的邊，例如 DEFINES、IMPORTS、REDEFINES、CONTROLS_TYPE_OF、WRITES_VAR、REFERENCES、CALLS、READS 與 WRITES、EXECUTES、USES_DATASET 與 PRECEDES。在隨附夾具上，圖譜有 47 個節點與 70 條邊：14 支程式、5 個 copybooks、17 個變數、3 張 DB2 資料表、3 個 JCL 作業、4 個 datasets，以及 1 個未解析節點。
四項確定性分析
這些是普通的圖譜演算法，不是模型呼叫，因此同一夾具每次執行都得到相同結果。
1. 帶出處的影響閉包
一次變更的遞移相依切片，每條邊帶有其檔案:行號來源，因此您不僅能看見什麼受影響，還能看見證據位於何處。
2. 樸素對比圖譜召回率
圖譜閉包對照夾具已知真實標註相依集計分，對比模擬的單檔視窗——那才是以文字為基礎的工具實際餵給模型的內容。
3. 抽取排序
每支程式的耦合與波及範圍分數（耦合權重三、COMP-3 陷阱權重二、JCL 關鍵性權重二、未解析呼叫權重五），據此排出安全的絞殺榕遷移順序。
4. 死碼可達性與完整度閘門
每一個 PERFORM、CALL、COPY 與 DB2 參照都必須解析，或標記為需審查，絕不可靜默丟棄。不可達的段落作為說明回報，不計為頭條指標。
一個切換讓差異變得具體。勾選樸素 AI 上下文視圖，圖譜就暗淡成單一來源檔案加上幾行上下文。九項電匯事實中有六項消失，紅色橫幅陳述後果，再切回去則以憑據還原 9/9。那個切換是在說明擷取層必須提供什麼上下文，而不是價值來源本身。
完成後，Export JSON 寫出 migration-evidence.json 檔案，Evidence report 則渲染可列印的程式碼庫拓撲與完整度報告：節點與邊摘要、各模組帶檔案:行號出處的閉包、召回率結果與方法、排序後的抽取序列、死碼清單，以及時間戳記。我們將其定位為 DORA ICT-asset 清冊與 SOC-2 變更控制憑據。可選的 Pydantic-AI 層可針對閉包回答問題，但預設關閉且以金鑰把關，確定性示範在沒有任何金鑰的情況下記錄結果。
