這篇論文關注的是一個在真實生產系統中愈發常見、卻常被忽視的問題:當AI代理已經具備調用工具、執行具有外部後果的操作能力之後,如果一次執行在途中被打斷,而代理的授權狀態在此期間發生了變化,同時外部世界究竟發生了什麼仍然不明,那麼它應當如何決定是否重試。作者Deekshith Marla等人把這一問題從語言模型的行為中剝離出來,專門作為執行期的可靠性問題來研究,而不是把它當作提示工程或模型能力問題。
論文的核心主張是,一個持久化代理若要安全地恢復一項有後果的操作,必須把若干被混為一談的職責明確區分開來:檢查點狀態記錄了什麼、是否擁有派發該操作的許可、是否存在外部效果已經發生的證據,以及是否擁有對該效果進行對賬的許可。這四項義務各自獨立,任何一項被錯誤地合併或省略,都可能導致重複執行、越權執行,或在效果未明時草率收尾。作者認為,安全性、完成度與未解決義務應當被分別報告,而不是壓縮成單一的“成功率”。
為檢驗這些義務,作者設計了一項有限一致性研究:用歷史記錄對照一個對恢復方隱藏的提供方效果賬本來評分,從而判斷代理的恢復決策是否正確。實驗採用事先凍結的方案,在原生LangGraph和Temporal兩類主機上執行了336條歷史,交叉覆蓋14種調度、三種提供方契約和四種相匹配的應用策略。在168個配對主機單元中,兩者給出的受檢結果完全一致,這説明結論並非某一框架的偶然產物。
就恢復策略而言,結果差異明顯。按主機統計,保留賬本對賬在全部42條歷史中通過,其中包括21次受檢完成、15次拒絕,以及6次結果未知但保留預留的情形。相比之下,緩存重試通過30條,重試前重新驗證通過36條,穩定鍵重試通過31條。作者指出,這些差異揭示了當前授權、提供方契約和保留觀測在恢復過程中各自扮演的角色。
此外,論文還包含一項針對企業AI平台InfinityOS的16例組件研究,在倉庫偽造件之上運行導出的授權、工作線程、恢復與結算代碼,用以補充主實驗。全文共7頁,含2幅圖和3張表,作者同時公開了組件結果、歷史結果、策略結果以及替換工作線程時間等數據文件。