Soei：面向多智能体 AI 软件工程的结构化证据与意图可观测性

论文提出 Soei，用证据账本区分完成声明与证明。

资讯摘要

论文先审计开源编码智能体本地可观测工具 Agenttrail，指出其事件管线未统一、Map 服务存在未认证本地变更面；随后在 45 个真实编码智能体会话（102,233 条记录）上运行原型，作者报告 23.4% 的代码编辑片段在最后一次编辑后无独立检查，57.8% 的已完成待办缺少中间证据。论文据此提出 Soei，包含确认感知事件模式、哈希链本地账本、对齐 W3C PROV 的图与验证层，作者报告账本体积为原始数据的 20%，验证速度约 126k 事件/秒。

要点速读

1. 论文审计 Agenttrail 源码，称其两条事件管线从未统一，Map 服务存在未认证本地变更面。
2. 在 45 个真实会话中，作者用盲审分类器估计 23.4% 的代码编辑片段末次编辑后无独立检查。
3. Soei 采用哈希链本地账本与 W3C PROV 对齐图，作者报告账本为原始体积 20%、约 126k 事件/秒验证。

中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/31 08:00:18（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。