作为 AI 导航原语的形式化架构描述符 编码智能体

AI 编码智能体 将其工具调用的很大一部分用于无向代码库探索。我们研究为代理提供正式的架构描述符是否可以减少这种导航开销。我们提出了三项补充研究。首先，一项对照实验（24 个代码本地化任务 x 4 个条件，Claude Sonnet 4.6，温度 = 0）表明架构上下文将导航步骤减少了 33-44%（Wilcoxon p=0.009，Cohen's d=0.92），并且在 S-表达式、JSON、YAML 和 Markdown 中没有检测到显着的格式差异。其次，工件与流程实验（15 个任务 x 3 个条件）表明，自动生成的描述符实现了 100% 的准确率，而盲法为 80%（p=0.002，d=1.04），证明了独立于开发人员自我澄清的直接导航价值。第三，一项针对 7,012 个 Claude Code 会话的现场观察研究表明，座席行为差异减少了 52%。编写器端实验（96 次生成运行，96 次错误注入）揭示了关键的故障模式差异：JSON 原子失败，YAML 默默地破坏 50% 的错误，S 表达式检测所有结构完整性错误。我们提出了intent.lisp，一个S-表达式架构描述符，并开源了Forge工具包。