本期二重奏精读收录两项围绕「AI 智能体」的研究。上篇解读 Lasso Security 的企业研究 The Provenance Tax：Anthropic 即将在 Claude 中部署的 SynthID-Text 水印虽然宣称非失真，但改变了逐 token 采样过程，实验证明它会改变智能体的工具调用与拒绝行为，注入攻击下 gemma-3-27b 的逐项判定翻转率高达 23.5%。下篇解读阿里通义千问技术报告 Qwen3.8-Omni-Flash：一个原生全模态智能体模型，凭 Thinker-Talker 架构、1M 上下文与智能体式选择性感知，把音视频理解的准确率与 token 成本同时推向新平衡，并开源 Qwen-MM-Plugins 与 Qwen-Live-Harness 两个框架。两篇文章合起来，恰好构成 2026 年智能体工程的两条主线：模型行为的可靠性边界，与全模态 harness 的系统化设计。
MIT CSAIL 团队提出 JAZ：一个只比 agent loop 多一点点的极简智能体框架。它仅暴露一个 LLM 原语 invoke——一个函数体由 LLM 在运行时生成的函数——加上动态作用域与 hooks，就涌现出传统上需要专门 harness 才能实现的长程记忆与持续自改进能力：在 StuLife 远程回忆子集上以约 43% 的成本超越 Letta（MemGPT）8 个百分点，在 AppWorld 上以更低成本胜过专门的自改进框架 ACE。本文从语言原语的第一性原理出发，拆解 invoke 的两条定义性质、tail-recursive delegation 如何统一各类上下文管理为特例，并用 MemGPT、RLM、ACE、context rot 研究等外部文献交叉验证其效果优势的根源。
本精读合并解读两篇同期论文：MIT CSAIL 的 Harness as a Language（JAZ）把 agent harness 定义为一个极小的语言原语 invoke，函数体由 LLM 在调用时现场生成，从而用纯提示在长程记忆与自我改进两类任务上超过专用 harness；Qualixar 的 Bounded Loops 则给 harness 装上类型化循环与静态验证器，运行前即可证明终止性、花费上界与完成性三性质。两篇论文共同指向一个主题：harness 正从工程偶然走向数学对象——能做什么可证明，花多少可预证。本精读覆盖两文的动机、形式化核心、实验证据、交叉验证的根源解释，以及可迁移到其他领域的通用灵感。
2026云栖大会「AI Agent原生操作系统」分论坛回放：Agent负载让「换操作系统=白拿40%性能」、token成本治理下沉到系统调用层，AMD与Arm用「沙箱密度」重写CPU规格表，中兴提出OS的第一性使命是「踩刹车」。本文梳理Agentic OS、SysAgent、SkillHub、SAIL开源等发布，拆解负载变迁→OS价值位重估→治理标准之争三层传导，并给出可落地的观察指标。
精读北京大学与 Google 合作的 Harness-Zero，提出 agent-as-harness 范式：用一个审查型智能体在学生模型的响应边界上把进化出的专用 harness 收益「翻译」成可训练轨迹，经 SFT 把外挂行为蒸馏进权重，部署时彻底移除外挂。Qwen3.5-9B 宏平均成功率从 23.3% 提升到 44.3%，甚至超过挂载原 harness 的 41.7%。
深度精读 Google Cloud AI Research 等提出的 RRSI——首个把机器学习正则化思想系统迁移到 Agent Harness 递归自我改进的工作。文章从 Harness 与 RSI 概念讲起，拆解过拟合问题的成因，逐一讲解提案侧 L0 式退火编辑预算、证据感知信用分配、结构化探索，与选择侧泄漏筛查、噪声调整底线、L2 式成本门槛、L1 式结构剪枝，并结合八基准三域实验与外部检索交叉验证，剖析其「为何能泛化」的根源性解释与可迁移灵感。
2026年9月同主题连发的两篇论文不约而同地把「Agent 技能库」当作可进化的资产：Adobe+Brown 的 EVOLVE 让冻结模型在真实用户流量中演化 SKILL.md 技能库（Widening/Deepening 两轴 + Matched Replay Gate 保守准入）；港城大+NUS+南科大的 GraphSkillEvo 则把技能表示为「全局指导+有向图」，用种群进化（4算子变异/交叉）优化。本文合并精读二者，共用背景与灵感节，逐篇拆解问题定义、解法与评估，并用因果链解释优势根源（保守准入防评分漂移、图结构压缩搜索空间），交叉对照 Reflexion/ExpeL/Voyager/Safe-Policy-Improvement/GEPA 谱系。两文共同指向一条结论：把「改模型权重」换成「改模型身边的自然语言资产」，是一条更稳、更安全、可迁移的持续适应路线。
MIT 与 Sakana AI 的 SIFT 把递归自改进（RSI）编码智能体的最大瓶颈从’生成候选’移到了’验证候选太贵’：用 pairwise LLM-as-a-judge（每次 $0.044）+ 正则化 Bradley-Terry 聚合替代 $6.0 的基准子集评估作为中间信号，在完全解耦的树搜索流水线中让扩展与评估并行。Polyglot-225 上以 DGM 约 1/10 的 CPU 小时拿到 31.1%（Qwen3-30B）/35.1%（o3-mini）全面超越 DGM/HGM/SICA，TerminalBench 2.1 从 29.2% 提到 36.7%。本精读覆盖’便宜排名+昂贵验证’分离范式的机制因果、judge 输入格式的消融证据、与 DGM 谱系的定位对比，以及’把验证成本当一等公民’的通用性灵感。
UMass Amherst、Emory 联合 Zoom 的实证研究，把编码智能体 harness 从’黑盒整体评估’拆解为组件级受控实验：固定执行循环，只变化规划、动作空间、上下文管理三组件，在 4 个模型 × SWE-Bench Verified + Terminal-Bench 2.1 上跑出 176 组匹配设置。四个条件性发现——上下文管理在预算收紧时价值陡增（主要靠防溢出）、‘规则删略+LLM 摘要’分阶段策略效率最优、规划对弱模型是准确率支架对强模型是成本节省器、bash 熟练模型用纯 shell 更省——为’harness 设计是条件科学而非玄学’奠定第一块实验基石。
NVIDIA 联合 NTU/MIT 提出 SoL-Pi：把编码智能体 harness 的效率改进本身建模为跨环境搜索问题，用约 150 个方向、500 个环境、3000+ 次实验、60000+ 次交互的自动研究漏斗，筛选出 Action Fusion、Online Context Compact、ObservationPack、Evidence-Preserving Reducer 四个可复用机制，EdgeBench 上 token 流量降 44.7–49.0%、成本省 1/3 且性能持平，迁移到未见过的 Opus 5 后端仍保留 94.3% 性能。这是 RSI（递归自改进）从’改模型’转向’改脚手架’的代表性工作。