EvoUndo: Recoverability-Constrained Self-Evolution for LLM Agent Harnesses 精读

精读独立研究者团队的 EvoUndo。论文直面 LLM Agent 自进化的安全盲区:能提升能力的变异未必能被安全撤销,正确恢复往往依赖变异前状态。EvoUndo 把自变异表示为四元组(前向变异+见证捕获+恢复程序+效果契约),在反事实状态上做往返验证。600 个任务中 197 个能力正向但恢复失败的变异构成失败库:原始语言下常规修复 0/197;oracle 审计分解出双瓶颈——S0 层是 grounding 瓶颈(精确地址后 0/48→38/48),S1 层是表达力瓶颈(扩展语言后 142/143),组合修复 180/197。另发现丰富语言加精确诊断反而降效。把能改与改回去拆开的开创工作。

August 31, 2026 · 5 min

Logos: An Agent Harness on a Cross-Process Bus 精读

深度精读 Sussex、浙江工商大学与上海书缘信息技术合作的 Logos(AAMAS 2027)。针对单进程 agent 框架插件与会话共存一个进程的单点故障问题,论文用四个引理证明时空可组合性演算的可逆性保证可跨进程成立——可靠性不变量只定义在状态空间上,而模型推理是无状态的;再构建 ROS 风格跨进程 harness:插件即进程、路由器只存路由表、唯一共享状态是 append-only 转录。80 个会话在四个击杀点上全部冷切换恢复且零重复效应,总线跳 0.215ms 仅为首 token 的 1/823;同故障下单进程停机 547.1ms 中断全部会话,对等构造只影响一个节点。

August 31, 2026 · 4 min

LoopArena: Benchmarking Models as Runtime Controllers for Loop Engineering 精读

深度精读阿里 DreamX 团队联合北邮、UNSW Sydney 与 Data61 CSIRO 推出的 LoopArena:首个把『模型作为运行时循环控制者』的编排能力本身作为被评测对象的基准。它冻结 Worker 编码智能体与全部执行环境,只比较 Controller 模型在 advance/verify/stop 三类决策上的表现;Type I/II/III 三级成本递减设置使其可低成本诊断循环控制能力。关键发现:完整任务上最强 Controller(GPT-5.5)Strict Success Rate 仅 24.69%,机械重复目标的 fixed control 在全任务上与无控制持平(18.52%),证明有用的循环控制必须随运行状态自适应切换;Type II 切片评估平均省 64.4% 成本且与全任务排序高度一致(Spearman ρ=0.9747)。

August 31, 2026 · 5 min

openJiuwen: Beyond Static Harnesses for Long-Horizon Coding Agents 精读

深度精读华为开源的 openJiuwen 编码智能体 harness。论文把 agent harness 提升为一等系统层,用两大设计原则回应长时程编码的挑战:结构可组合性(共享 Inner Loop/Outer Loop 执行基座 + Rail 生命周期钩子上的有序能力组合,同一执行语义从单智能体复用到子智能体与 Swarm Flow 多智能体流)与运行时适应性(在固定模型策略周围改变框架控制的运行时状态:Context Management 渐进压缩、Goal Mode 语义化验收停止、LSP 被动反馈闭环修正、Self-Reflection 跨任务经验蒸馏)。SWE-bench Verified 达 82.6%(超最强榜单 3.4 个百分点)、Terminal-Bench 2.1 达 87.19%;模型对齐对比下 1-4 小时长任务 52.38% vs mini-swe-agent 同设定 35.71%,佐证上下文管理在长轨迹上保住了深推理收益。

August 31, 2026 · 5 min

WeAgent-MMSearch: Native Text-Vision Interaction for Multimodal Search Agents 精读

多模态搜索智能体常被环境拖后腿:许多搜索环境只把网页转成文本喂给模型,工具返回的图片直接丢弃,号称多模态的轨迹实际退化成纯文本推理;长时程交互中的超时、超长输出、格式错误还会污染 RL 训练信号。腾讯微信 AI 与中山大学提出 WeAgent-Harness,把检索图像注册为可寻址的持久状态并跨轮回灌,配合失败感知的 FA-GSPO 训练算法与可诊断『检索失败还是感知失败』的 VisTarget-Bench,基于 30B 模型在 8 个基准上取得 55.97% 平均分,媲美约 10 倍参数量的前沿模型。本文按九部分结构精读其动机、机制、证据与可迁移灵感。

August 31, 2026 · 4 min

Metis: Typed Runtime Mediation for Tool-Using Software Agents 精读

深读一篇罕见的单人独立研究:Metis 把模型与外部副作用之间那一层运行时当作正经的系统软件工程对象,用类型化事件图显式刻画权限判定、并发调度、终态闭包与生命周期修复。30 对匹配真实 I/O 实验中四类调度中位耗时 14.146ms,全面快于强制串行的 25.958ms;子代理边界消融 0/5 逃逸、路由级权限 oracle 10/10 全对,同时诚实呈现 3 个负面结果。本精读逐部分拆解其机制设计与有界主张的写法。

August 29, 2026 · 5 min

SKILL.state: Scalable Long-Horizon Agent Skills 精读

让 Agent 执行长任务时,主流运行时把所有推理、动作、观察不断追加进对话历史,prompt 随步数二次膨胀,token 烧钱、噪声污染、过期事实还会诱发幻觉。Google 与 Purdue 合作的 SKILL.state 干脆废除这个 append-only 历史:每一步模型只看到技能规范、结构化执行状态和最新观察,推理轨迹用完即弃,状态以 JSON 补丁形式确定性合并。prompt 尺寸从 O(T) 降为 O(1),百步任务 token 缩减 16.2 倍,CTF pass@1 提升 7.8 个点,外部篡改状态后零步恢复而基线幻觉 5 至 8 步。本文精读其运行时设计、预算匹配对照实验与效果根源。

August 29, 2026 · 4 min

PILOT in the Loop: Live Self-Improvement for Long-Horizon Agents 精读

Agent 的自我改进大多发生在一次任务结束之后——但那时这次运行已经救不回来了。AllSpark 团队的 PILOT 把自改进做成 live 的:监督者通过双向活通道在工作者执行中途重定向或中止(live steering),同时从活轨迹蒸馏可复用技能进持久 harness(live self-evolution),模型参数全程冻结。在 Terminal-Bench 2.0 上 PILOT 以 71.6 均分领先最强单 Agent 基线 5.3 个点;20 轮自改进迭代后 GLM-5.1 从 66.3 升至 80.9(+14.6pp),每任务输出 token 反降 42.9%。评测协议设计严谨:运行中零基准反馈,验证器只决定哪些更新进入下一轮。本文精读其监督者-工作者架构与两个中途纠偏案例。

August 28, 2026 · 4 min

Repair or Resample? Rethinking Failure Debugging in LLM Multi-Agent Systems 精读

多智能体系统(MAS)失败后重跑一次就能修好?这篇论文用 SymTrace 可控回放框架和 536 条人工标注失败轨迹(SymFail)证明:现有任务级重跑方法的修复成功率仅 6.90%,且主要是靠 LLM 采样随机性’碰’出来的,而非真正修复了失败机制。作者提出的症状驱动节点级干预把单次干预修复率提到 20.15%(相对最强基线提升 191.89%)。本文精读其可控回放的数据集设计、实验证据与’因果修复 vs 随机修复’的方法论启示。

August 28, 2026 · 5 min

Same Model, Different Harness: Different Coding-Agent Results 精读

同一个模型、同一批任务,只换 Agent Harness 的配置,编码成功率能差多少?独立研究者 Sydney Lewis 用严格的配对实验给出答案:在 20,480-token 紧窗口下,SWE-bench Verified 的平均 F2PF 从 28% 涨到 49%,完全解决数从 43 到 72。treatment 只有三件机械武器:半衰期规则缩短旧工具结果、检测器打断重复劳动、命令防护。论文最有冲击力的结论是方法论层面的——模型加 harness 才是被测求解器,单报模型名字的编码评测并不完整。本文精读其实验设计、跨四模型迁移证据与机制分析(阅读边界翻倍)。

August 28, 2026 · 3 min