缺失的补充：编码代理的状态条件最小充分证据

编码代理在问题进行到一半时已经阅读了检索器排名最高的大部分内容。相关性是根据每个段落进行评分的，但充分性属于集合：排名者可以用一个所需事实的变体来填充其预算，而使决策不受支持。我们制定了状态条件的最小充分证据恢复：给定捕获的代理状态，恢复紧凑的证据组合，为其下一个决策提供仍缺乏的支持。 SERBench 在 45 个存储库中的 500 个保留状态上进行了测量，记录了代理所看到的内容，并仅记录涵盖当前决策注释所要求的所有事实的集合。 MSS-Complement 将习得视为集合构造，而不是排序。三个语义调用提出一个联合充足的集合，搜索它缺少的内容，并在 6,144 个标记内返回 4-8 个完整的源单元。固定在校准数据上的一种配置在 5 个项目中恢复了 73.0% 的状态，在 8 个项目中恢复了 80.6% 的完整状态，而通过重新排序的 Qwen3 嵌入的恢复率为 61.4% 和 72.4%。仅通过相似性进行匹配控制排名就达到 66.6%，将增益置于设定级别的策略中，而不是计算中。从没有黄金衍生池的冻结存储库源来看，领先优势为 5.0 点。在 AMA-Bench 上，它的答案提示小了 76.2%，准确度比该基准测试自己的内存代理高出 2.08 个点。在两个执行器下，从完整的一组中删除一个所需的组会花费 12.3 点和 11.1 点的修复定位精度。对代理的检索最好是恢复决策所缺少的内容，而不是重新排列问题的相似之处。