惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

Martin Fowler
Martin Fowler
Webroot Blog
Webroot Blog
博客园 - 叶小钗
阮一峰的网络日志
阮一峰的网络日志
V
V2EX
雷峰网
雷峰网
Apple Machine Learning Research
Apple Machine Learning Research
博客园 - 【当耐特】
Hugging Face - Blog
Hugging Face - Blog
美团技术团队
云风的 BLOG
云风的 BLOG
IT之家
IT之家
S
Secure Thoughts
U
Unit 42
G
GRAHAM CLULEY
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
N
News and Events Feed by Topic
The Cloudflare Blog
月光博客
月光博客
V
Visual Studio Blog
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
Schneier on Security
Schneier on Security
O
OpenAI News
Hacker News - Newest:
Hacker News - Newest: "LLM"
P
Privacy International News Feed
The Hacker News
The Hacker News
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
T
Tailwind CSS Blog
SecWiki News
SecWiki News
M
MIT News - Artificial intelligence
H
Hackread – Cybersecurity News, Data Breaches, AI and More
Simon Willison's Weblog
Simon Willison's Weblog
Stack Overflow Blog
Stack Overflow Blog
爱范儿
爱范儿
Last Week in AI
Last Week in AI
C
Check Point Blog
D
Docker
Scott Helme
Scott Helme
Engineering at Meta
Engineering at Meta
博客园_首页
W
WeLiveSecurity
MongoDB | Blog
MongoDB | Blog
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
V
Vulnerabilities – Threatpost
D
Darknet – Hacking Tools, Hacker News & Cyber Security
J
Java Code Geeks
NISL@THU
NISL@THU
S
Security Affairs
C
Cybersecurity and Infrastructure Security Agency CISA
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More

博客园_首页

Plist 二进制格式 Milvus 和 PGVector,哪个更好? OpenClaw 已过时?在 VS Code 中运行 Hermes Agent! 第30篇文章:一个大三计科生的自白 Manim如何在数学公式中完美显示中文? Docker 部署 RocketMQ 5 并发编程核心概念辨析 C#事务处理最佳实践:别再让“主表存了、明细丢了”的破事发生 CLI 是什么?为什么大厂突然集体卷命令行? 【从0到1构建一个ClaudeAgent】协作-自主Agent UIImageView 设置图片不生效的原因排查 最小二乘问题详解20:无先验约束下的增量式SFM自由网平差 痞子衡嵌入式:大话双核i.MXRT1180之XIP应用里借助MU实现可靠Flash IAP的方法 AI Chat 封装, SemanticKerne.AiProvider.Unified 已发布 Windows下右键编辑js文件无法打开记事本——在注册表中使用环境变量 在后台服务中使用 Scoped 服务,为什么总是报错? H200 安装驱动并使用sglang启动模型 wireshark 抓包Trap上报告警内容 我用 AI 辅助开发了一系列小工具(2):图片压缩工具 [A Primer On MC and CC] 2.1 Memory Consistency 1 - 指令重排序和 SC 模型 Oracle数据库SCN推进技术详解与实践指南 玩转控件:封装个带图片的Label控件 Claude Code 4.7 真正该升级的不是模型,而是你的工作流 前端小白一句话,AI 帮我做了个颜值拉满的桌面媒体播放器。当代码不再是门槛,一句话编程就是现实。 5. WorkBuddy: 小龙虾的灵魂三件套,让你的小龙虾不只是工具 SQLite 分片方案实战:三种分片策略的深度对比 告别简陋 UI!一款基于 Fluent Design 和基于 WinUI 的开源免费、现代化的 Avalonia UI 控件库 关于二进制排列组合枚举的总结 AI开发-python-LangGraph框架(3-27-LangGraph从零实现大模型智能决策工作流) ElasticSearch主分片和副本分片概念详解 【002】HTTPS 粗解:证书、TLS 握手与对后端配置的影响 Hermes Agent 一周暴涨五万 Star,但我劝你别急着追 明明连接的是Redis的DB0,为什么能查到DB3的数据? 【从0到1构建一个ClaudeAgent】协作-Agent团队 熟悉电子元器件之后,电子小白下一步该怎么走? MAF快速入门(23)通过C#类定义Skills .NET 高级开发 | 手写一个对象映射框架 FastAPI数据库ORM怎么选?我肝了三个Demo后,终于不再纠结了 mysqldump 参数拾遗:在遗忘与铭记之间 C# .NET 周刊|2026年3月5期 Claude code入门 - 陈彦斌 一文学习入门 ThingsBoard 开源物联网平台 GitHub 热门项目 | 2026年04月16日 如何为GIT设置全局勾子,为每次提交追加信息 Number.isFinite和isFinite与isNaN()和Number.isNaN的区别 PortSwigger SQL注入LAB2 推荐一个测试人必备的Skills,从功能到性能全搞定(附详细实操和安装下载方式) 筑基期:掌握Odoo基础核心知识点02(Odoo XML 开发方式详解) GLM模型这么火,咱们用vllm也咧一个呗! 深入理解 AbortController:从底层原理到跨语言设计哲学 字符串学习笔记 多租户系统框架的基础模块设计和分析设计 Apache SeaTunnel Zeta 为什么能做到“又快又稳”? AI开发-python-LangGraph框架(3-26-LangGraph基本概念及第一个简单样例) Vue 3 组件通信,别只会用 Props 和 Emits 了,这几个狠活儿你得看看 ElasticSearch7.X版本配置密码 用Manim实现动态交点计算--从一个动点问题说起 团结引擎+Addressable+Instant Game打包抖音小游戏 function call 实战:让 LLM 自动判断 pod 异常、调用日志工具并完成故障分析 bubseek —— 让 Agent 的足迹,变成团队的洞察 通过 C# 读取并导出 PDF 书签 如何用 GitHub Actions 实现 Steam 自动化发布 【从0到1构建一个ClaudeAgent】并发-后台任务 .NET 高级开发 | 定制 ASP.NET Core 框架 电子小白:什么是运算放大器(运放) zero2Agent:面向大厂面试的 Agent 工程教程,从概念到生产的完整学习路线 堆上的ORW HC32F460 USB CDC通信异常:非对齐访问异常排查 20260413-Hyperbridge 攻击事件:发生在默克尔山上的验证绕过 那些喊着AI 要淘汰你的人,正在靠你的焦虑赚大钱! 深度学习进阶(八)Swin Transformer 最小二乘问题详解19:带先验约束的增量式SFM优化与实现 SnapTranslate 3.0 正式发布:全局划词翻译 + 完整英语学习闭环,一站式搞定查词、记词、复习 工作的意义、工作的困难认知再思考 .NET + AI 进阶实战:基于类的技能开发 - 打造可治理的 Agent 能力模块 【从0到1构建一个ClaudeAgent】规划与协调-技能 上周热点回顾(4.6-4.12) 电子小白的工具三件套:面包板、杜邦线、万能板 单表五亿数据的查询优化 | Mysql、StarRocks 2. WorkBuddy:从“我是谁”到“帮我干活” C# 如何减少代码运行时间:7 个实战技巧 基于HelixToolkit.SharpDX 渲染3D模型 - 笺上知微 从零开始的双臂具身VLA起源及现阶段发展综述 - SkyXZ 记对 xonsh shell 的使用, 脚本编写, 迁移及调优 - pluvium27 受够了Vibe Coding的失控?换个起点,让AI事半功倍 从开始配置漏洞环境到漏洞复现流程 - 難しい 关于10年工作经验的程序员对OpenClaw的实战经验分享以及看法 - 虚无境 Any metadata 的内存布局 C# .NET 周刊|2026年3月2期 - InCerry 我帮你测过了,测试圈排名第二的 Skill 依然很牛逼 Skill Discovery | 无监督技能发现的经典工作总结 - MoonOut 上下文工程是什么?过时了么?一文讲明白! - 一枫说码 开了 TUN 模式还是直连?90% 的人都踩过这个坑 AScript扩展多种脚本语言 - rockey627 AI 学习笔记:Agent 的记忆机制 你能被装进一个文件里吗?——7 万人把同事"蒸馏"成了 AI - 我没有三颗心脏 Claude Code 通关手册(七):给 AI 装上技能包——Skills 完全指南 - 暮色之狐 在浏览器中快速编辑代码:VSCode Web 集成实践 - Newbe36524 蒸馏自己 skill?基于 Deepseek 的蒸馏器,丐版蒸馏方式,简单便捷 - To_Carpe_Diem Spring AI Aliababa和AgentScope,哪个更好? - 苏三说技术
当 AI 开始写代码,谁来保证它不会翻车?
SharpCJ · 2026-05-14 · via 博客园_首页

你让 AI Agent 写代码,它说"已完成,测试通过"——你信吗?

一个让人不安的现实

我们越来越依赖 AI Agent 来写代码了。Copilot、Cursor、Claude——它们在几分钟内就能生成完整的功能模块,测试用例也顺手写好。效率确实惊人。

但如果你仔细观察,会发现一些让人不安的现象:

它会说"我忘了"。 你明明在 Rule 里写了"必须使用 asyncHandler",但它还是写了裸的 try-catch。不是故意的——上下文一长,中间部分的规则就像"Lost in the Middle"实验里那样,被悄悄遗忘了。

它会绕过约束。 你要求走 A 路径,它觉得 B 路径更快,就自己绕过去了。还会编理由:"这是等价替代""这种情况比较特殊""历史原因保留"。它不是在遵守规则,而是在绕过规则。

它会自己给自己打分。 如果同一个 Agent 既写代码又做测试,它天然倾向确认自己写的是对的。就像让学生自己判自己的卷子——满分率总是出奇地高。

它会虚报完成。 最危险的是:它可能根本没跑测试,就告诉你"测试通过"。没有独立校验手段的情况下,你无法区分"真的完成了"和"AI 的幻觉"。

这不是危言耸听,而是 AI Agent 的四个结构性缺陷:规则遗忘、约束规避、自审失效、虚报完成。它们不是偶尔出现的小概率事件,而是随着上下文变长、任务变复杂,必然会暴露的系统性问题。

structural-defects


核心洞察:能力上限取决于模型,质量下限取决于流程

这是一个关键的认知转换。

paradigm-shift

Agent 的能力上限——它能写出多精妙的算法、多优雅的架构——取决于模型本身。这不是你能控制的。

但 Agent 的交付质量下限——它会不会静默交付错误代码、会不会绕过约束、会不会虚报完成——取决于流程。这是你能控制的。

所以问题的本质是:如何把 Agent 交付从不可观测的黑盒,变成每一步可追溯、可验证、可回退的工程实践?

答案是 Harness Engineering——一套四层递进防线。


四层递进防线:从软约束到硬校验

four-layers

第一层:Rules — 告诉它"什么必须做"

Rules 是最直觉的防线:把规则写进 .mdc 文件,通过 glob 模式限定作用域,Agent 在相关上下文中自动加载。

比如 harness-core.mdc 管全局纪律,code-standards.mdc 管编码规范,workflow-discipline.mdc 管流程纪律。它们有4种激活模式,Always 模式下始终注入上下文。

但必须清醒认识到 Rules 的固有局限:它是自然语言指令,Agent 对规则的遵守度随上下文复杂度而衰减。 你写再多规则,上下文一长,中间部分的规则就像不存在一样。

Rules 是第一层防线,但不能是唯一一层。

第二层:Skills — 告诉它"具体怎么做"

Rules 定义了"什么必须做",但 Agent 经常临场发挥——每次执行的步骤不一样,遗漏和偏差在所难免。

Skills 把固定步骤封装成 SOP:build-test(构建+测试)、post-verify(事后验证)、code-review(代码审查)、test-e2e(E2E 验收)、systematic-debug(系统化调试)。

以 Dev 的典型调用链为例:先调 build-test,再调 post-verify,全部通过才收工。不是"我觉得应该这么跑",而是"必须按这个顺序跑"。

把临场发挥变成固定步骤,这是第二层对第一层的弥补。

第三层:Agents + Workflow — 让它不能自己给自己放行

即使有了 Rules 和 Skills,如果同一个 Agent 既写代码又做测试,"自审失效"的问题依然存在。

第三层引入了 7 个 Agent 角色,核心设计是产出者不等于验收者

  • PM 是调度中枢,只读结论、发 Task、处理回退,不写需求、不定方案
  • BA 把需求翻译成结构化格式,且需求中绝对不允许出现实现层信息
  • SA 把需求翻译成技术方案,如果发现需求夹带实现层就打回 BA
  • RR 是开发前最后一道校验,检查完整性、纯净度、覆盖度
  • Dev 按 TDD 三步法开发:先写测试→红→实现→绿→重构
  • CR 以需求为基准审查代码,但不允许自行修改代码,只能 REJECT
  • TE 独立跑 4 类测试,且不看 CR 的结论

写代码的人不能自己判合格,判合格的人不能自己改代码。这就是角色制衡。

但第三层仍有局限:Agent 之间的互审是语义级的,无法发现字节级错误(比如文件路径写错、版本号不对)。所以需要向下递进。

第四层:Scripts — 退出码说了算,Agent 说了不算

这是最硬的一层。核心原则:交付判定不依赖 Agent 自述,依赖程序退出码。

三个核心脚本:

  • verify.sh — 17 项交付检查,分 A/B/C 三类。A 类查代码规范,B 类查构建,C 类查工程一致性(含文档硬校验——架构有变更,文档必须同步修订)
  • baseline.sh — 开发前拍快照,开发后做对比。新增 FAIL 项就阻塞交付
  • check-harness.sh — 80+ 项框架完整性自检

还有一个关键的时序级防护:Cursor Hook。Dev 停止时自动跑验证,TE 停止时自动跑对比,propose 入口拦截脏源码。Agent "忘记"跑验证?Hook 自动补跑。Agent 试图跳过?入口拦截。

第四层对第三层的弥补是根本性的:它不信任 Agent 会自觉做对,而是用退出码做硬判。

四层的递进逻辑

Rules 设定约束 → Skills 标准化执行 → Agents 角色制衡 → Scripts 硬性验证
  (遵守度衰减)    (临场发挥→固定步骤)  (自审失效)       (虚报完成)

每一层兜住上一层的漏洞,层层递进、层层兜底。


三段式研发流程:人在关键卡点说"不"

dev-process

四层防线需要在具体的研发流程中运作。Harness 的流程是三段式:propose → apply → archive,中间有两道人工审批。

propose:想清楚再动手

propose 段的目的是"想清楚":BA 把需求翻译成结构化格式(SHALL + GWT),SA 输出技术方案,RR 做就绪评审,最后人工审批1。

这里有一个关键铁律:propose 段绝对禁止碰源码。 需求没想清楚之前,不允许任何人(包括 Agent)动代码。声明层、Hook、check-harness 三重防护确保这条铁律不被违反。

apply:按规矩做,做完验证

apply 段是自动化开发:Dev TDD 实现 → build-test Skill 验证 → verify.sh 硬校验 → CR 代码审查 → TE 四类测试 → 人工审批2。

每个环节都有明确的验证标准,不是 Agent 说"完成了"就算完成,而是退出码为 0、文档齐全、角色交叉校验通过才算完成。

archive:确认后归档

archive 段:PM 执行 Spec Merge → 移动 deliverables → 标记 DONE → check-harness 终检。

为什么 propose 和 apply 必须隔离?

这是很多人会问的问题:为什么不能让 Agent 一口气从头做到尾?

因为需求级缺陷不得在 apply 内偷偷修掉。如果 Agent 在写代码时发现需求有问题,唯一正确的做法是停下来、打回去、重新走 propose——而不是自己理解一下就继续往下做。

propose → apply 的隔离,是人对 AI 保持控制权的关键卡点。没有这个隔离,Agent 会在你以为它在"修 bug"的时候,实际上在"改需求"。

根据任务复杂度选择流程强度

不是所有任务都需要走完整流程。Harness 提供了三档 Profile:

  • quick:bug fix、纯 UI 小调、文案变更。跳过 RR,省 1 个 Task 回合
  • standard(默认):新功能。走完整 BA → SA → RR
  • refactor:跨域重构。BA 前增加 impact-analysis 阶段

拿不准时默认用 standard——宁可过度,不可不足。


需求描述的革命:从"口头描述"到"可验证的结构化规范"

Harness 在需求描述上做了一件很巧妙的事:OpenSpec R/S 体系

Requirement:用 SHALL 说话

每条需求用 SHALL 关键字表达,带一个 R-xxx 编号。强度词分级:SHALL(强制)> SHOULD(推荐)> MAY(可选)。

关键约束:需求中绝对不允许出现实现层信息。 不能写"使用 Redis 缓存",只能写"系统 SHALL 缓存用户会话"。前者是实现,后者是业务意图。

Scenario:Given-When-Then 零翻译成测试

每条场景用 GWT 格式描述,带一个 S-xxx 编号:

S-001  Given 用户在登录页面
       When 用户输入正确的用户名和密码并点击登录
       Then 系统 SHALL 在3秒内跳转到首页

GWT 格式的最大价值是需求到测试零翻译成本——Scenario 直接就是测试用例,不需要额外的翻译步骤。

Specs:系统能力的唯一真相

.harness/specs/ 始终反映系统当前已部署的全部能力。后续任务不需要从代码逆向推断"这个系统到底能做什么",直接看 specs 就行。

每次交付后,BA 声明 Spec Delta(ADDED / MODIFIED / REMOVED),PM 在 archive 阶段执行 merge。这是一个完整的闭环。


三层不信任:叠起来才够用

three-distrust

Harness 的质量管控有一个核心设计叫"三层不信任",强度逐层递进:

第一层:Agent 互审(语义级) — CR 读 Dev 的产出,发现意图偏差。能捕捉"代码偏离了需求"这类问题,但无法发现"文件路径写错了"这种字节级错误。

第二层:Script 硬校验(字节级) — verify.sh / baseline / check-harness,bash 进程级执行。能发现规则违反、回归、文件不存在、退出码非 0。机器化验证不可绕过,但依赖 Agent 主动执行。

第三层:Cursor Hook(时序级) — Worker 结束时漏跑验证自动补跑、入口拦截脏源码。独立于 Agent 对话控制,是最底层的兜底机制。

关键结论:三层不信任覆盖不同漏洞,叠起来才够用。 任何一层单独使用都不充分。Agent 互审能发现语义偏差但发现不了字节错误;脚本能发现字节错误但依赖 Agent 主动执行;Hook 不依赖 Agent 但只能做有限的时序检查。三者互补,缺一不可。


工程记忆:让踩过的坑变成持久化防线

Harness 的工程记忆系统很有意思——它不是知识库,而是踩坑记录。

踩过才写,一次通过不写。 只有在以下时机才记录:

  • Dev 被 CR REJECT 后修复成功
  • Dev 被 TE FAIL 后修复成功
  • 开发中发现工程/工具陷阱
  • PM 交付检查确认

每个条目是5段式结构:Symptom(症状)→ Root Cause(根因)→ Fix(修复)→ Guardrail(防复发)→ Detection(检测命令)

最有价值的是持续改进闭环:坑 → 记忆 → Guardrail → 检查项 → 下次自动拦截。防复发措施最终会落实到 verify.sh 中变成自动化防线。CR 审查时可以直接引用条目 ID:"这和 memory #3 一样的问题。"工程记忆还可以跨项目复用。

这不是事后总结,而是把经验变成自动化防线。


六条流程铁律

six-rules

流程铁律是不可协商的底线:

  1. 下游不改上游 — 发现上游有问题,唯一动作是标 BLOCK/REJECT,由 PM 正式打回
  2. PM 只做调度 — 裁判不是运动员,不写需求、不定方案、不给技术建议
  3. 每棒必须有文档 — 没有文档等于没有完成,口头汇报不算数
  4. propose → apply 不可自主跨越 — 必须人工执行才能继续
  5. propose 段禁止碰源码 — 三重防护确保
  6. PM 心跳二动作一对一 — 每发一次 tool_use 之前必须先抛心跳行

Rules 编写本身也有铁律

不是想到什么写什么,而是有章法的工程实践:

  1. 犯两次才写 — 只有重复出现的问题才值得占用 Token 预算
  2. 用强硬语气,分级表达 — 禁止 > 必须 > 应当 > 可以,强硬语气才能引起 Agent 注意
  3. 引用路径,不复制代码 — Rule 是约束文档不是代码仓库
  4. 锁定版本号 — "使用 axios" ≠ "使用 axios@1.6.0",版本不确定性等于行为不确定性
  5. 包含自检步骤 — 让 Agent 可以验证自己是否遵守
  6. 提交 Git,团队共享 — Rules 是团队资产,Git 管理确保版本可追溯

设计哲学:每一个决策背后都有依据

  • 结构化调度而非自由协商 — 自由协商路径不稳定、责任边界模糊
  • 固定角色而非动态生成 — 稳定的阶段划分换来可维护性和可预测性
  • Agent 契约管策略,Skill 管操作 — 互补不重叠,各自可独立演进
  • propose / apply 严格隔离 — 人对 AI 保持控制权的关键卡点
  • Specs 作为 Source of Truth — 后续任务无需从代码逆向推断系统能力
  • Memory + Guardrail 落地 — 让踩过的坑变成持久化防线

这些不是随意的选择,而是在实践中被验证过的设计决策。


写在最后

Harness Engineering 的核心理念可以浓缩为一句话:

质量不靠 Agent 自觉,靠流程强制。写代码的人不能自己判合格,判合格的人不能自己改代码。

当我们把 AI Agent 引入软件开发时,最大的风险不是它能力不够,而是我们盲目信任了它的输出。Agent 说"测试通过",我们就信了。Agent 说"已完成",我们就放行了。但"看起来完成了"和"真的完成了"之间,隔着一道鸿沟。

四层递进防线的价值不在于某一层有多强,而在于层层兜底:Rules 遗忘了有 Skills 兜,Skills 临场跑偏了有 Agents 制衡,Agents 互审漏了有 Scripts 硬判,Scripts Agent 忘了跑有 Hook 自动补跑。

三层不信任的价值不在于某一层有多全面,而在于叠起来才够用:语义级发现意图偏差,字节级发现规则违反,时序级兜住漏跑验证。

工程记忆的价值不在于记录了什么,而在于让踩过的坑变成自动化防线,从被动总结变成主动拦截。

这就是 Harness Engineering 做的事:把"信任 Agent"变成"验证 Agent",把"看起来完成了"变成"退出码为 0"。

不是不信任 AI,而是给 AI 一个值得被信任的流程。