130 行 Do NOT 规则靠 1986 言语行为状态机删光,agent 提示词不再腐烂
RandalSchwartz · reddit · 2026-10-15
作者团队把 21 步 agent checklist 换成 Makefile 依赖图和磁盘上的 init-d 状态目录后,主 skill 文件仍悄然长出 130 行防御性禁令(Do NOT skip tests、Do NOT mark complete without diff receipt 等)——每次 agent 出新错就补一条英文规则。
复盘发现,所有失败其实只对应 Fernando Flores/Terry Winograd 1986 年 Conversation for Action 状态机里四种坏迁移:
- 假完成:宣称 tests pass 却没有物理见证回执(SHA-256 哈希 + 命令退出码);
- 中途弃约/偷偷改范围:Promise 后遇到编译错误,不干净地撤销 Promise 而是绕过已批准方案;
- 自我审批:执行者 agent 说出只属于 Customer 角色的 Declaration(approved to commit);
- 抄近路跳过验证:把校验绑在顺序 checklist 的步骤编号上,而非 Makefile 反向链式前置(commit: approved-review human-commit-approval)。
用四种言语行为(Request/Promise/Assertion/Declaration)加 Belnap 1977 年四值真值(UNKNOWN/ESTABLISHED/CONTRADICTED/RETRACTED)和 Hoare 的 CSP 通道前缀(? 监听阻塞、! 发送)建模后,防御性散文规则全部消失。把 init-d 状态文件按 0090 编号对齐 Makefile 目标后,从 20 万 token 上下文压缩中恢复变成一个对未决承诺的 4 分支 switch 语句。
「编程与Agent」频道最新
- 开源 AI 视频预演工具 CozyClay 获作者背书推荐 — cocktailpeanut · 2026-10-23
- Supabase 一键给应用装 MCP 服务器：ChatGPT/Claude 可直接调用你的应用 — dshukertjr · 2026-10-23
- Grok Bot 配「专属电脑」：浏览器+终端+云端文件系统直接干完任务 — nima_owji · 2026-10-23
- Neon 推出 TanStack AI 官方 AI Gateway 适配器，一个凭据调用多家模型 — matei_zaharia · 2026-10-23
- Reflection AI 演示 Beam 接入 opencode,自动微调 Gemma-4 准确率提升 66.5% — danielhanchen · 2026-10-23
- Cua 推出 Spaces SDK：让 Hermes 等 Agent 跑在你自己的电脑沙箱里 — Teknium · 2026-10-23