深度分析 CAAF:以 Harness 與 UAI 建立閉環決定性,強化 LLM 在安全工程的可控性 大型語言模型在安全關鍵工程展現可控性缺口。CAAF提出閉環決定性架構,三大支柱分別為遞歸原子分解、Harness作為資產並以統一斷言介面執行不變條件,以及結構化語意梯度與狀態鎖定。實驗於自駕L3與藥品流動反應器基準中顯示成效。能可靠偵測悖論並達成單調收斂,優於單體及其他多代理構型。