arXiv · Software Engineering· Om Shankar Tiwari, Tangi Vass, Gagan Deep Singh·· 6 小时前精选AI 评分60
Assay:声明随代码失效的负责任 AI 辅助交付证据图
Assay: Claims That Decay With the Code. Content-Addressed Evidence Graphs for Accountable AI-Assisted Software Delivery
AI 导读
Assay 将 AI 编码智能体的声明绑定到代码依赖锥的 Merkle 哈希,使声明在代码或依赖变更时自动失效,并在五公开仓库上验证:600-token 简报比探索代理便宜 14–114 倍,温构建快至冷构建的 5 倍,锥绑定重验 7.9%–81.9% 声明,合并门拦截全部 9 种对抗行为。工具为无依赖 Python 包并带 MCP 服务器,所有数据由发布脚本生成。
推荐理由
用内容寻址证据图把智能体声明与代码依赖绑定,为代码变更时的自动失效与审核提供了可验证的工程路径。
来源:arXiv · Software Engineering · arxiv.org