深度分析 DART：運行時語意可受理性與回滾可接受性檢查 在結構化工具代理執行中，局部還原可能破壞已被承諾的下游結果。DART 透過失敗實例定位、可回復邊界認證、檢查點對齊與可受理回滾選擇四步驟，僅在語意上安全時才回復本地檢查點，實驗與 LangGraph 外部驗證顯示能避免承諾敏感情境下的不當回滾並保留已完成進度，並指出控制器合法性不等於語意有效性。
