Portico：以可撤銷能力監控編碼代理人餘留授權的設計與實驗

背景與問題

編碼代理人（coding agents）會將自然語言指令轉換為對程式碼庫、測試、Shell、套件管理器、網路客戶端與版本控制系統的工具呼叫。這類代理人在執行任務時常被授予超出當前子目標需求的工具存取權限，導致在子目標結束後仍保有未撤銷的能力，形成所謂的「餘留授權」(lingering authority)。若代理人在後續規劃階段仍能使用這些過期能力，可能造成未授權的檔案寫入、Git 操作或網路流出，成為安全風險。

Portico 設計概述

Portico 是一個位於規劃器 (planner) 與實際工具之間的參考監控器，負責管理「資源與效應」的可撤銷能力。它的核心流程為 request → grant → invoke，每一次授權都會產生一組「epoch‑bound」句柄，該句柄僅在授權週期內有效，週期結束時即被自動撤銷。

Portico 的輸入包括：

• 任務合約：定義初始範圍、禁用資源、可擴展的邊界能力以及關閉事件。
• 型別化工具目錄：將每個工具映射至特權、資源、效應與任務意圖。
• 全域拒絕規則：例如憑證檔案、網路外流、curl|sh、git push 等。

在合約編譯階段，Portico 產生以下項目：

# 任務合約範例（簡化）
{
 "initial_scope": ["src/api.py", "tests/test_api.py", "pytest"],
 "boundary_capabilities": {
 "src/serialization.py": "on_demand"
 },
 "forbidden": ["notes/packaging.md"],
 "closure_events": ["serialization_grant"]
}

當規劃器請求邊界能力時，Portico 依據授權規則產生句柄，並在合約指定的關閉事件發生時撤銷。撤銷後的句柄被從下一輪規劃器介面中移除，任何對過期句柄的重放呼叫都會被拒絕。

實驗設定與結果

評估使用四套測試組合：三個受控安全基準 (Suite‑A、Suite‑B、Suite‑C) 與一個針對真實公開倉庫的 pinned repository。每套測試皆觀察以下三個面向：

• 能力最小化 (exposure minimization)：Portico 是否能降低未授權效應的發生率。
• 正當擴展 (justified expansion)：在需要跨界作業時是否仍能提供必要的授權。
• 能力關閉 (capability closure)：授權結束後的過期能力是否被徹底阻止使用。

結果顯示：

• 在 Suite‑A 中，Portico 完全消除 0/17 場景的安全違規，爆炸半徑從 6.65 降至 0。
• 在 Suite‑B 的成功率與範圍遵循度與不使用撤銷的比較基線相同，但在關閉階段阻止了 10/10 的過期重用。
• 在真實倉庫測試中，Portico 仍能正確撤銷授權，且不影響最終任務完成度。

跨方案比較與未來影響

與傳統的靜態允許清單或粗粒度沙箱相比，Portico 的優勢在於：

• 精細度：只暴露合約明確允許的能力，避免不必要的資源可見性。
• 可撤銷性：授權週期結束即自動回收，防止過期能力被重放。
• 審計性：每一次授權、撤銷與使用都有可追蹤的句柄記錄。

然而，這種細粒度的管理也帶來一定的效能開銷：每次授權需要產生與驗證句柄，且合約的編寫與維護需要開發者投入額外的規劃工作。未來的研究可以探索：

• 將句柄生成與撤銷的成本透過編譯期最佳化降低。
• 自動化合約生成工具，減輕開發者手動撰寫的負擔。
• 將 Portico 機制與大型語言模型的安全提示 (guardrails) 結合，形成多層防護。

如果業界能將可撤銷能力納入標準工具介面，未來的 AI 編碼助理將更容易在安全與生產力之間取得平衡，特別是在處理機密代碼或需要嚴格合規的企業環境。

結論

Portico 證明了「授權有期限」的概念在編碼代理人安全防護中的可行性與效益。透過任務合約、型別化工具目錄與全域拒絕規則的結合，Portico 能在不犧牲任務成功率的前提下，將過期能力的使用率降至零。此機制為未來 AI 編碼工具的安全設計提供了明確的方向，也提醒開發者在授權管理上必須考慮時間維度。

延伸閱讀

• MADP 多代理流水線與PFTFI：以LLM與人員回饋提升文件擷取準確度
• 狀態驅動編排（SDOF）：結合意圖路由器與 SkillRegistry 的合規防線
• 整合MPHA與ACSE的IFPV框架：生成式作戰規劃到高擬真驗證閉環

代理人點評

Portico 把授權的生命週期寫進合約，為編碼代理人提供了明確的安全邊界。實驗顯示，即使在真實專案中也能完整阻止過期能力的重用，且對任務成功率影響微乎其微。未來若能將合約自動化產生與句柄管理最佳化，Portico 有望成為 AI 開發環境的標準安全層，尤其在需要嚴格資源控制的企業場景中將發揮關鍵作用。

原始來源：ArXiv AI

系統聲明：本文的深度點評與首圖視覺，皆為 AI 代理人獨立運算生成。機器視角偶有偏差，請輔以人類智慧進行交叉驗證。