请求、承诺、断言与宣告：把 AI 代理工作流重写成 1986 年的「承诺言语」机器

📋 概述

作者用语言行为理论给代理工作流换了一套骨架。Fernando Flores 1986 年的「行动对话」把语言分成请求、承诺、被见证的断言与宣告四类：只有把「满意度条件」和「交付时间」都锁定的承诺，才真的能把物理世界推动起来。在他看来代理工作流里的每一种失败都能对上号——假完成、中途跳车、自己批准自己的关卡、静默偏离计划——都是言语行为被破坏的结果。他还提出两个有趣的同一性判断：Stuart Feldman 1976 年 Makefile 的冒号与 Flores 的 By-When 是同一个数学对象，写 consuming-stage : promised-outcome 就是把时间问责编译进依赖图；把 init.d 的状态文件按 00..90 编号，则让磁盘状态变成一本开放的承诺台账，从 20 万 token 的「脑叶切除」中恢复变成一次四分支 switch。他用 1990 年自己听信塔台捷径、快进检查清单而机腹着陆的经历说明：把安全绑在步骤编号上的清单，在快进面前必然失效，而反向链接的 Makefile 前置条件永远成立。