TraceCoder：使用位置键代码段版本控制生成可解释和可审计的代码

arXiv:2607.26307v1 公告类型：新 摘要：当代基于 LLM 的编码代理将代码生成为黑盒输出：每行背后的基本原理被隐藏，通过基准驱动修复的代码演变是短暂的，并且事后审计是不可能的。我们提出了一个代码生成概念，通过三种互补机制解决这些缺点：(i) 关系片段历史模式，记录每个修复事件、基准参考、轮数、故障文本和 LLM 解释，从而实现完整的来源查询； (ii) 基于浏览器的可视化工具，将这段历史呈现为热图、悬停注释的源代码； (iii) 具有树节点定界符的竞争性分数位置键索引方案，该方案为每个代码片段分配稳定的、按字典顺序排列的标识符，从而实现细粒度跟踪而不干扰周围的行。我们在 30 个算法编程任务上对 TraceCoder 进行了评估，这些任务涵盖字符串处理、数学计算和数据结构操作，跨两个提供程序配置。其中，10 个在具有微妙边缘情况行为的任务上耗尽了 6 次迭代预算。平均 Chg% 达到 30%，十分之三的代码片段带有可追踪的修复事件行，而使用 Gemini 2.0 Flash 作为 20 个任务子集的唯一提供程序时，该比例为 21%。三个详细的案例研究展示了系统如何解释哪些特定的基准测试失败影响了最终程序的每一行。所提出的机制使自动代码生成的内部“叙述”可审计和可重播，这是生产部署中信任和问责制所必需的属性。