编程 Agent 命令执行回执:可核验 Transcript、流式脱敏与截断证明
终端里出现一行命令不等于它真的按批准方式执行。本文定义命令 argv、cwd、可执行文件、策略判定、退出状态与输出摘要的不可变回执,同时避免秘密随日志扩散。
Vibe Coding、Cursor、Claude Code、Codex、Copilot
本专题收录 AI 编程 方向的文章和社区讨论,重点关注真实工程场景、工具选择、实践路径和风险边界。
页面会持续更新,适合作为学习路线、选型参考和技术复盘入口。
终端里出现一行命令不等于它真的按批准方式执行。本文定义命令 argv、cwd、可执行文件、策略判定、退出状态与输出摘要的不可变回执,同时避免秘密随日志扩散。
上下文窗口变大并不意味着应把整个仓库交给模型。本文介绍任务级 token 预算、分层摘要、证据引用、缓存失效和压缩质量检查,让编程 Agent 在有限上下文中保持工程判断力。
一句报错和最终补丁不足以证明 Bug 已复现。本文定义内容寻址的调试证据包,冻结代码、未提交状态、依赖、输入与失败判据,让另一台隔离 runner 能先看到旧失败,再验证新修复。
一个插件当前版本表现正常,不代表下一次自动更新仍只读仓库。本文把扩展制品、发布者血缘、权限能力和更新代际绑定成准入合同,用隔离试运行与撤销演练控制 IDE、MCP 和 Agent 插件供应链。
自动重试会把不稳定测试伪装成绿色。本文建立失败指纹、环境采集、确定性复现、限时隔离与恢复门禁,让 Agent 处理 flaky test 时不削弱回归保护。
Agent 暂停时,一段进度描述不足以让开发者安全续作。本文用绑定 Git 工作树的版本化接班记录、可恢复制品和显式接收协议,避免遗漏改动、重复执行与责任悬空。
把 Agent 评论直接当作合并结论会放大误报和漏报。本文设计 PR 中的证据分级、问题复现、修复回合和人工最终决策,形成可追溯的代码评审闭环。
编程 Agent 接手大型仓库时,最大的浪费是无差别读取文件。本文设计仓库地图、模块边界、命令证据和风险标签,让 Agent 在改代码前先建立可验证的工作上下文。
Agent 可以交出绿色测试,却未必实现了需求。本文用版本化 acceptance claim、双向证据图、反证样本和量化门禁,让每项验收都能追到具体改动与同一快照上的结果。
编程 Agent 的真正风险通常来自 shell、文件系统和凭据,而不是代码补全。本文给出最小权限沙箱、路径允许列表、网络出口、临时凭据和审计策略。
全量回归太慢,按文件名猜测试又会漏检。本文用基线提交、依赖图、动态覆盖和风险规则构建可解释的受影响测试集合,并规定何时必须升级为全量测试。
通用榜单和现场 Demo 无法证明工具适合自己的仓库。本文把真实任务、执行环境、权限、预算和验收 oracle 冻结成可重放基准,用配对试验与盲审支持采购和续约决策。