The Working Set of a Coding Agent: Coherence Debt in Repository-Scale Tasks 精读
马普所软件系统、EPFL、Apple与奥尔胡斯大学联合提出编码Agent的“一致性负债”(coherence debt)理论与实证框架:把仓库级任务建模为耦合事实图的重建——每次编辑所需事实要么来自近期上下文要么来自参数记忆,两通道都不覆盖的事实构成一致性负债。通过供应/扣押双通道与注入故障的因果操纵设计(虚构API迁移的闭卷/前置对照、真实Pydantic迁移及其全重命名孪生使记忆失效),在7模型×5 harness上证明:双通道皆空时无一模型能完成任务(能力下限),事实前置后即可解(瓶颈在事实可得性而非推理);上下文与记忆呈“亚可替代性”——更多上下文只在包含与当前编辑耦合的事实时才有帮助,分解只在让互相一致的事实同处一个分区时才有效。