《AI 渐进编程》之二十一:Agent 不光要交代码,还要交证据包

发布时间:2026/7/23 18:30:54

《AI 渐进编程》之二十一:Agent 不光要交代码,还要交证据包
使用 AI 编程时最容易被看到的是生成能力。代码写出来了页面生成了接口补上了看起来任务已经完成。但在真实项目里生成只是第一步。这就像吊车搬运重物。货物被吊到目标区域并不等于已经放准还需要确认位置、偏差和后续影响。AI 编程也是一样。Agent 写完代码不等于完成交付。它还需要说明改了什么为什么这样改影响了哪里如何验证还有哪些风险需要人判断。这就是证据包。AI 生成速度远超过人工审查速度。如果每次都让人检查全部代码流程很快就会堵住。证据包的作用是把修改范围、验证结果和剩余风险提前整理出来让人集中判断关键风险。所以AI 编程不应该只是生成式交付而应该是验证式交付。1. AI 的审查能力也要用起来过去代码审查主要依赖人。人要读 diff、理解调用关系、判断影响范围、确认测试是否充分还要识别隐藏风险。这件事很难也很耗时间。AI 出现以后不能只利用它的生成能力也要利用它的审查能力。Agent 在提交结果之前应该先做一轮机器审查是否越过修改边界是否破坏调用关系是否只修复了表面问题是否缺少关键路径测试是否留下旧代码和过期注释是否有需要人工判断的风险。这些检查不能完全替代人但它可以把大量原本需要人从头梳理的信息提前整理出来。2. 传统工程审代码Agent 工程审证据传统软件工程里一轮开发大致是需求 → 设计 → 手写代码 → 人工审查 → 测试代码是主要交付物。审查者拿到代码 diff再自己判断改动是否合理。Agent 工程不应该只是把“手写代码”换成“AI 写代码”。更合理的流程是意图与约束 → 项目状态检索 → 生成 / 执行 / 反馈循环 → 机器验证 → 证据包 → 人类风险审批这里的关键变化是Agent 不能只交结果还要交代结果是怎样来的。它不仅要说“我改完了”还要说明基于什么上下文修改、影响范围在哪里、已经验证了什么还有哪些风险没有覆盖。3. 证据包应该包括什么证据包不是一堆日志。它是一份让人能够快速判断风险的工程说明。一份基本的证据包可以包括任务目标 修改文件 关键改动 影响范围 验证结果 未覆盖风险 需要人工判断的问题例如任务目标 修复空购物车结算异常。 修改文件 - checkout/service.py - tests/test_checkout.py 关键改动 - 在结算前增加 empty cart 检查 - 阻止空购物车进入支付流程 - 增加空购物车测试。 影响范围 - checkout service - order creation - payment request path。 验证结果 - 空购物车测试通过 - 正常购物车测试通过 - 未发送 payment request。 未覆盖风险 - 未验证优惠券叠加场景 - 未验证多币种结算路径。 需要人工判断 - 空购物车错误提示文案是否符合产品要求。这样的提交比一句“已修复”有用得多。4. 人类审批的是风险Agent 可以生成代码也可以整理证据。但最后是否接受修改仍然需要人类判断。因为有些问题不是测试能完全决定的业务是否合理用户体验是否接受风险是否可承受是否符合长期架构方向是否应该现在解决还是写入open_issues.md。所以人类审查的重点不只是逐行看代码而是判断证据是否充分、风险是否说清、当前结果是否可以进入项目状态。人不是重新替 Agent 做一遍而是做最后的风险审批。5. 证据包让交付可追踪如果 Agent 每次只返回“已完成”项目很快会变得不可追踪。人不知道它基于什么理解修改验证了哪些路径有没有越界留下了哪些风险。所以在长期项目里证据包应该成为每一轮交付的一部分。可以在current_task.md中提前要求本轮完成时必须提交证据包包括 1. 修改文件清单 2. 关键改动摘要 3. 影响范围分析 4. 已执行的验证 5. 未覆盖风险 6. 是否清理旧代码 7. 需要人工审批的问题。这不是形式主义。它是在让 Agent 的工作变得可审查、可追踪、可回滚。本章小结Agent 工程的交付物不应该只有代码还应该有证据包。代码说明“改了什么”证据包说明“为什么这样改、验证了什么、还有什么风险”。人类不必从零审查而是基于证据包做风险判断。

相关新闻

SIM820X-M2 5G HAT OpenWrt软路由器——安装MySQL(三)问题记录

SIM820X-M2 5G HAT OpenWrt软路由器——安装MySQL(三)问题记录

2026/7/23 18:30:54

问题一:只读文件系统错误描述:这表示文件系统以只读方式安装,从而阻止了软件包安装所需的任何写入操作。解决办法:要将文件系统重新挂载为读写,可以使用以下命令:mount -o remount,rw /成功!问题…

MCP协议:AI工具互联互通的标准解决方案

MCP协议:AI工具互联互通的标准解决方案

2026/7/23 18:30:54

1. MCP协议:AI工具互联互通的"普通话"去年在调试一个多AI协作系统时,我遇到了工具链整合的噩梦——每个模型都需要单独对接API,参数格式千奇百怪,光是处理不同服务的错误码就耗掉两周。直到发现Anthropic推出的MCP协议&…

深入解析C2000 eQEP模块:正交编码器硬件解码与高精度运动控制

深入解析C2000 eQEP模块:正交编码器硬件解码与高精度运动控制

2026/7/23 18:30:54

1. 项目概述与核心价值在伺服电机、工业机器人或者高精度数控机床的研发调试过程中,你是否曾为如何精确、实时地获取电机转轴的位置和速度信息而头疼?面对编码器输出的两路看似简单的方波信号,软件解码不仅占用宝贵的CPU资源,在高…

AI日报编制3.0:多模态数据整合与智能分析实践

AI日报编制3.0:多模态数据整合与智能分析实践

2026/7/23 19:10:55

1. 项目概述"AI日报 - 2026年04月08日"这个标题看似简单,实际上蕴含着一个专业科技媒体或研究机构的核心工作流程。作为长期跟踪AI领域发展的从业者,我深知这类日报的编制远不止是信息汇总那么简单。它需要建立在对行业动态的持续监测、技术趋…

科技型中小企业如何申请政府补贴?申报指南

科技型中小企业如何申请政府补贴?申报指南

2026/7/23 19:10:55

一、为什么要看这份榜单 科技型中小企业在发展过程中,政府补贴是重要的资金来源,但申请流程复杂、政策更新快、材料准备繁琐,许多企业因缺乏专业指导而错失良机。本榜单旨在帮助科技型中小企业选择合适的科技咨询服务机构,提高政府…

0基础录音转换成文字在线教程,看完就能直接上手

0基础录音转换成文字在线教程,看完就能直接上手

2026/7/23 19:10:55

没有基础想做录音转换成文字在线操作,照着来就能直接上手,不用提前学什么复杂操作。这是我踩了三个学期坑整理出来的避坑方案,专门给需要转课堂录音、论文调研访谈录音的零基础学生准备的。如果你需要100%逐字高精度转写涉密或正式出版级的录…

汽车电子面试问题记录

汽车电子面试问题记录

2026/7/23 19:10:55

1.CAN如何实现仲裁 2.错误帧的类型 3.C语言基础 结构体,指针,指针函数,函数指针的区别 4.使用硬件IIC会有什么问题,硬件IIIC和软件IIC对比 5.CAN OTA的流程 6.静态变量如何实现跨文件使用:通过函数间接调用。 h…

私域邦网络卖二返本模式系统开发

私域邦网络卖二返本模式系统开发

2026/7/23 19:10:55

卖二返本模式系统开发指南编辑𝑽:araolin(土土哥)卖二返本模式是一种营销策略,消费者购买一定数量的商品后,系统自动返还部分或全部本金。以下是开发此类系统的关键步骤:核心功能设计用户管理模…

2026 年资质齐全跨境财税服务商行业调研与落地实操洞察

2026 年资质齐全跨境财税服务商行业调研与落地实操洞察

2026/7/23 19:00:55

市面同类行业评测内容大多简单罗列机构名单、堆砌服务优势,同质化严重。本文跳出榜单式传统写作思路,以企业长期合规隐性成本为全新分析视角,结合 2026 年金税四期多部门数据互通监管环境,拆解跨境财税服务市场分层格局、三大行业…

微服务进阶:服务网格与Istio

微服务进阶:服务网格与Istio

2026/7/23 3:40:08

541|微服务进阶:服务网格与Istio 上篇文章我们聊了微服务的基本概念和拆分方法。 但微服务多了,问题也多了: 服务之间怎么通信? 怎么监控每个服务的调用链路? 熔断、限流、重试怎么做? 安全认证怎么统一? 以前这些都靠SDK库(比如Hystrix、Feign),每个服务都要集成…

零售超级终端全域协同:ShareKit 碰一碰商品流转业务落地案例

零售超级终端全域协同:ShareKit 碰一碰商品流转业务落地案例

2026/7/23 4:40:05

一、零售门店全域协同业务背景与行业痛点 1.1 门店超级终端设备矩阵(连锁便利店/商超标准配置) 自助收银Kiosk一体机:顾客结算、自助核销优惠券、商品素材预览;运营折叠平板:店长后台商品上新、图片录入、活动配置、…

噗叽短视频界面分析

噗叽短视频界面分析

2026/7/23 1:54:13

1 和小红书类似,可以采用类似判断方法------------其实他比小红书好判断,因为他没有图片,控件位置几乎是固定的,都不用判断------------2 因为他没有点赞按钮------------而且几乎所有控件位置都是完全一样的,所以我就…

企业级AI搜索落地选型实战手册(含LLM+RAG+Hybrid架构对比矩阵与ROI测算模板)

企业级AI搜索落地选型实战手册(含LLM+RAG+Hybrid架构对比矩阵与ROI测算模板)

2026/7/23 0:09:56

更多请点击: https://kaifayun.com 第一章:企业级AI搜索落地选型实战手册(含LLMRAGHybrid架构对比矩阵与ROI测算模板) 企业级AI搜索系统落地成败,核心在于技术选型与业务价值的精准对齐。盲目堆砌大模型能力或过度依赖…

TM4C129LNCZAD外设实战:LCD、比较器与PWM寄存器配置详解

TM4C129LNCZAD外设实战:LCD、比较器与PWM寄存器配置详解

2026/7/23 0:09:56

1. 项目概述与核心价值在嵌入式系统开发,尤其是基于ARM Cortex-M内核的微控制器项目中,深入理解并熟练配置芯片的片上外设,是从“点亮LED”迈向“实现复杂系统功能”的关键一步。Tiva™ TM4C129LNCZAD作为TI公司Cortex-M4F家族中的高性能成员…

AtomCode `fmt_dur` 争议溯源:两个函数、三段演进、四个事实

AtomCode `fmt_dur` 争议溯源:两个函数、三段演进、四个事实

2026/7/23 0:09:56

一、快速声明与争议背景本文是对 AtomCode 终端 spinner 时长显示 fmt_dur 相关说法的事实性核验。2026 年 7 月 CSDN 上出现两篇互相矛盾的博文,近期又有 AI 在对话中输出格式描述 XhYm / YmZs / Zs。本文基于 AtomCode 仓库 main4677ddfa 及全分支 Git 历史给出可…