法律AI，而非帶腳手架編碼代理

法律AI，不是帶腳手架編碼代理。

大多數法律AI的使用是通過為編碼構建的代理進行的。讓我們關注一下專門為法律目的構建的系統可能實現的具體成果。

一般而言，法律AI應找到最強有力的可支持論點，識別正確的證據，並使該證據易於驗證。

代理工作空間是正確界面。用户可以看到審計跟蹤，包括模型使用的工具和來源。他們能夠通過創建側邊聊天來控制上下文，並定義特定的來源和技能來操縱模型行為。

代理的接地必須在單個聲明和編輯級別進行。僅僅檢索一個外部文檔並整體引用是不夠的。這種粒度取決於論點——可能要求一個單獨的句子、一個段落或一組頁面。每個來源的層次、狀態和預期目的應明確。這些信息可以通過本體或類似的圖網絡存儲。例如，法律權威與客户事實、當前文檔語言與先前起草語言。

當AI建議編輯時，律師應能看到為什麼做出該更改。這包括原始指令、審查的條款、考慮的事實、依賴的法律來源，以及任何可以確定計算並整齊打包給用户的警告或不確定性。

AI不應自動進行更改。它應以修訂格式（或跟蹤更改！）顯示建議的編輯，以便逐一處理。這種工作流程有助於阻止用户盲目接受更改。不用説，更改會被記錄並可在任何時間通過底層版本控制系統撤銷。讓概率過程在沒有版本控制系統的情況下編輯文檔簡直是魯莽的。

技能、記憶和壓縮應保留對證據的訪問。它們不應以摘要代替證據。在法律用例中，這還不夠。相反，它應留下一個查找工件，允許查看確切原始內容以獲取事實信息。

AI，即使以證據為基礎，也絕不能取代法律判斷。來源可能過時、狹窄、不完整或限於特定司法管轄區。系統應使這些限制更可見，而不是更少，並使律師能夠利用最新信息做出充分知情的決策。

編碼代理只強制執行機械正確性，將解釋作為指導原則。律師正在受到制裁，因為證據接地被視為可選的指導層，而不是核心產品或工作流要求。不幸的是，這就是當前法律AI工具的故事。

刪除條款：補丁是否匹配，依賴關係是否檢查？

以指令“刪除第12.7條，因為其義務似乎在其他地方重複”為例。有兩種可能出錯的方式。文本可能自編輯準備以來已更改，或者另一條款可能仍引用第12.7條。

Codex的原生補丁路徑直接解決第一個失敗。它查找當前文件中的舊行：

如果預期文本不再存在，補丁失敗，而不是應用於過時的位置。

這是一個強大的文本不變性，但它對法律文檔的依賴關係沒有説明。Codex可以搜索交叉引用，但原生補丁應用並不要求該搜索已經發生。

Lexifina記錄結構化交叉引用查找是否成功完成：

對於整個章節的刪除，缺少該記錄的審查變成了編輯級別的警告：

每個系統防止不同的失敗。Codex防止過時的補丁應用於不再匹配的文本。Lexifina將結構性依賴檢查的缺失帶入審查對象。

壓縮：模型能否恢復確切的工具輸出？

假設一個研究工具返回了一個長的意見摘錄，模型使用了其中的兩個段落，並且在起草完成之前對話被壓縮。一個説“該案例支持論點”的敍述摘要不是證據。相關的問題是，活動代理能否獲得確切的工具輸出。

在Codex的本地壓縮路徑中，替換歷史由保留的用户消息和生成的摘要構建：

這就是模型的主動替換歷史。它沒有向摘要中添加每個工具結果的查找。這並不意味着Codex刪除其持久性rollout，代理可能能夠重新讀取源文件或重新運行工具。

Lexifina的壓縮標記給模型留下了一個可執行地址來獲取清除的結果：

read_tool_result將該id解析為持久化的完整輸出，並返回請求的範圍，而無需要求另一個模型重新構建它：

這種恢復限於活動運行：模型面對的文件是臨時的，並在運行結束時刪除：

簡而言之，壓縮可以用大塊文本替換，而不會迫使下一個模型信任釋義；tool_use_id仍然是返回確切持久化工具文本的路線。Codex的本地替換歷史保留了摘要，但本身不暴露等效的調用ID查找。

修訂模式顯示更改了什麼。它能證明哪個起草決定更改了它？

假設版本3將賠償上限設定為協議下支付的費用。團隊隨後回退到早期草稿並創建了版本6，其中上限消失了。律師的問題不僅僅是“文本有何不同？”而是：當前的起草分支是否移除了上限，哪個接受的編輯導致了它，什麼指令產生了該編輯，答案是基於保存的更改記錄還是後來重建？

Codex為當前請求中提交的補丁所做的文件更改維護一個確切的淨差異：

只有確切的補丁增量被允許進入該跟蹤器。不精確的增量會使結果無效，而不是允許潛在誤導的差異存活：

發送給客户端的事件包含該統一差異：

事件的整個負載是一個文本字段：

這是對“這個Codex請求改變了什麼？”的有力回答。它本身並不使差異事件成為保存的文檔譜系記錄：塊沒有父版本、接受的編輯ID、觸發指令、審閲者、應用時間或置信度字段。Codex可以保留周圍的rollout事件，版本控制系統可以添加提交歷史。更狹義的觀點是，這些關係不是這個原生差異對象的不變性。

[根據輸入截斷]