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,进一步简化防护规则配置。