ArXiv 日报 — 2026-07-04

长程 agent 的记忆是一份"合约"——规定每次决策允许看到什么。最常见的实现是把过去的观测/工具调用/反思全部追加到每次 prompt 中，但这让不同记忆组件的贡献无法隔离。AgenticSTS 提出"有界记忆合约"：每次决策从新的 user message 组装，通过类型化检索（typed retrieval）填入，不附加原始跨决策 transcript。由此建立可控测试床，精确研究 agent 在哪类记忆条件下成功或失败，揭示长程 agent 的记忆需求。

长期记忆让 agent 成为持久助手，但用户事实会改变。一个可用的记忆系统必须知道"什么是现在的真相、什么曾经是真相、什么发生了变化"。论文研究 ghost memory：旧事实、当前事实、过渡事实在记忆库中并存、在检索时混合、误导回答模型的协调失败。提出从三个层次理解和优化记忆系统：记忆库维护、检索、回答时消歧。ATMA 是 state-aware 覆盖层，跨这三个层次处理 ghost memory 问题。

LLM agent 依赖迭代执行——规划、工具调用、状态更新、agent 协作。这种设计使灵活自动化成为可能，但也带来新型失效：当反馈路径无有效边界时，agent 会反复执行模型调用/工具/工作流转换/agent 交接而不停止。论文将此命名为 Infinite Agentic Loops（IAL）：IAL 不是普通编程循环，而是 agent 逻辑、框架语义、运行时观测的交互涌现。构建 IAL benchmark，分析根因并提出检测和缓解策略。

领域 agent 面临噪声业务数据、不确定的后训练收益、离线/应用错位和 adapter 发布风险。CLAP（Closed-Loop Agent Post-training）将业务数据转化为结构化 SFT 样本、决策偏好样本、holdout 集、风险诊断和发布门控记录；结合数据验证、目标/证据归一化、reward/KL 诊断、离线门控和应用链 replay，在完整闭环内决定 adapter 是否适合目标应用。

越来越多的 agentic coding 工具被赋予更多能力（浏览器测试工具、设计导向 system prompt），默认假设"能力越多越好"。本研究直接检验这一假设：90 次独立 agent 运行从同一详细规格构建同一应用（实时回顾板），用 14 条标准功能评分表（42 分制）和视觉质量评审打分。跨越多个模型代、两种 agent harness、两种推理模式。结论：推理投入（reasoning effort）才是首次成功率的关键，工具访问并不是。

当前 agentic program repair 方法主要依赖顺序文本代码导航，根本限制了在大规模长程 repo（模块组织/调用关系/依赖链复杂）上的推理能力。issue resolution agent 通过碎片化文本观测遍历 repo 时，结构信息必须从文本中隐式重建，代价高昂且不可靠。本文提出双模态结构推理：将文本代码导航与显式结构表示（调用图、模块图）结合，在 issue resolution 时直接推理 repo 的结构依赖。

LLM agent 解决复杂多步任务的性能提升通常依赖更大模型或任务特定微调：前者计算昂贵，后者泛化差。基于 prompt 的控制虽无需训练且通用，但现有方法将子任务的输入输出依赖隐式嵌入文本轨迹，使中间结果验证困难。Atomic Task Graph 将任务分解为原子节点的有向图，节点间有显式依赖边，支持结构化执行、中间结果验证和并行化。

在 SWE-Bench 和 GAIA 等 benchmark 上评估 LLM agent 代价昂贵（单次评估可耗费数千美元、历时数天），且需要复杂基础设施。非 agentic benchmark 则快速廉价。本文研究：能否用一个小型、精心挑选的原子能力评估子集，准确预测昂贵 agentic benchmark 的性能？PACE 提出代理评估方法，识别与 agentic 能力最相关的原子能力维度，以极低成本代替全量评估。

LLM coding agent 越来越多地被部署在真实生产基础设施上——执行 shell 命令、修改仓库、调用运维 API。"完成任务"已不足够：错误操作可造成严重后果。现有 benchmark 强调任务完成率，忽视 agent 在善意但规格不足的指令下如何行为。UnderSpecBench 是首个专门测量 coding agent（Claude Code、Codex、OpenC...）在欠规格 DevOps 指令下行动边界违规的 benchmark。

Coding agent 能力强劲，但人工监督成为瓶颈。无约束 agent 引入安全风险、侵蚀代码库可扩展性、使人工审查成本上升。论文指出：管理大型人类工程团队数十年的方法——访问控制、网络策略、工具强制的编码规范——可以直接迁移到 coding agent 管理，且比近期 agentic 脚手架方案的 token 成本更低。提出基于约束可控性的可扩展监督系统。