SP/1.0:為AI智能體決策提供確定性、可復現的裁決
SHACKLE是一個針對自主AI智能體的運行時斷路器協議,通過9個數學不變性、Ed25519簽名審計日誌和Redis分佈式狀態引擎,提供確定性、可驗證的決策。
2026年6月,多個AI團隊獨立意識到一個關鍵問題:生成權限並非執行權限。大型語言模型驅動的自主智能體在執行工具調用時,往往缺乏運行時監督,導致代價高昂的無限循環和重複調用。例如,有生產環境記錄顯示,代理在遞歸限制觸發前已消耗超過6,000美元的API費用。為了解決這一痛點,Dante Bullock和Sovereign Logic發佈了SHACKLE協議(SP/1.0),這是首個具有加密審計鏈的開源運行時斷路器。
SHACKLE的核心是一個純函數決策函數,它回答一個簡單問題:“此刻,該智能體是否應被允許使用這些參數執行此工具?”該函數依託9個數學不變性、語言無關的消息模式、Ed25519簽名的追加式審計日誌以及Redis支持的分佈式狀態引擎。決策函數可在10分鐘內由人工審計,其算法由8個堆疊層組成:斷路器、防重放(通過nonce)、預算保護、重複調用保護、時間窗口限制、全局調用限制、概率性拒絕(在預算低於20%時引入隨機拒絕)、以及人工介入(HITL)觸發。特別地,錯誤信號放大機制能檢測HTTP 401、超時等錯誤,自動降低重複調用閾值,防止“死亡循環”。
SHACKLE支持三種部署模型:庫模式(單進程)、側車守護進程模型(通過gRPC/Unix套接字通信,用於生產環境)和分佈式企業模型(多智能體共享Redis狀態)。其設計原則包括確定性核心、守護進程作為唯一權威、追加式審計、數學驗證、優雅降級和故障關閉。所有裁決結果通過Protobuf消息通信,並記錄在Ed25519簽名的審計日誌中,實現加密級鏈式監管。SHACKLE的出現為自主AI系統提供了數學保障,使其能夠在生產環境中安全運行。參考實現已發佈在GitHub,採用AGPLv3和商業雙許可。未來版本將引入策略語言DSL,進一步簡化防護規則配置。