規格可攜性：跨 LLM 開發代理的規格不是「代理中立」工件

來源： arXiv（cs.SE, cs.AI, cs.LO） 日期： 2026-08-21

摘要

以 Oracle→PostgreSQL 遷移為受控軟體轉型任務，研究跨代理的「規格可攜性」。第一階段「規格優先」遷移管線在 1,006 個 PL/SQL 檔案上，623 個成功重新生成、380 個產出腳本在 PostgreSQL 16 成功執行。第二階段用 1,802 個 Oracle 腳本對 Amazon Kiro、Google Gemini、GitHub Copilot（另含 Claude Code、Cursor）做跨代理實驗。核心發現：規格大小本身無法預測實作品質；跨代理轉移會產生顯著的「代理依賴劣化」——最差案例 Gemini 直接消費 Kiro 產出的規格時，Token F1 僅 0.035、SQL 語法有效性僅 2.33%、AST 平均相似度 0.015。重寫能大幅改善 Gemini、壓縮無普遍助益，而檢索增強攝取是 Gemini 與 Copilot 帕雷托前沿上唯一共通的有效策略。

對 CJ 哥的價值

企業在多代理軟體開發（SDD）工作流中，不能把規格當「代理中立」資產：換模型可能讓先前累積的規格近乎失效。CJ 哥談「LLM 選型與遷移」時可用此數據示警：規格需代理特定解釋＋檢索式存取，才能跨模型保留價值。

關鍵要點

規格大小 ≠ 實作品質（大小無法預測品質）

跨代理轉移劣化顯著：最差 Token F1=0.035、語法有效性 2.33%

重寫 > 壓縮（壓縮無普遍助益）

檢索增強攝取是唯一跨代理共通的帕雷托前沿策略