论文
AI智能体提交操作时:跨数据、证据、策略和权限的认知可串行化
When AI Agents Commit: Cognitive Serializability Across Data, Evidence, Policy, and Authority
摘要
自主智能体依据数据库读取、检索证据、策略、信念和委托权限推导具体修改。这些输入可能在推理期间发生变化。数据库隔离为已提交事务排序;智能体事务处理则判断提案是否满足可执行契约。除非契约表示了相关谓词,两者都不能保证修改及其推导输入存在共同的有效时点。类型化依赖令牌区分内容完整性与适用性,可信中介记录暴露给推理的值。在严格认知可串行化下,已提交效果允许一种串行顺序及一个逻辑事件,使推导中可见的所有值在该时点保持不变。保护屏障持续到实现已封存持久性域的运行时事件。较弱的“效果兼容认知接纳”根据同时持有的当前依赖向量与策略重新认证效果,但不声称使原始随机推导可串行化。TCT结合不可变、带版本的可执行定义,由注册表导出的权限计划,封存信封,先检查保护条件的提交事务,封存后与信封和见证绑定的授权,共同提交的回执,幂等的授权最终确认,以及由回执驱动的认知状态协调。完整的注册访问范围和单一增长阶段,在本地保护条件与不兼容的外部预留之间形成无环的锁定点顺序。相应结果给出了可串行化条件,以及零错误可靠性与正向推进的观测等价边界。一套证伪测试检验实现义务:原型阻止了全部注入异常,并增加平均3.22毫秒提交开销。