为什么上下文越长，系统提示词越没用

很多人以为长上下文问题出在「开头被遗忘」。Transformer 的注意力核心是检索：能否检索到，取决于两点——信号强度（内容本身够不够「显著」）和显式记录（有没有被写进消息流）。进度之所以丢，不是位置靠前，而是它根本没有作为独立信号存在过。

todo_write 只有一个输入：整份采用列表。schema 用 z.strictObject + z.array + 各项 .refine 校验：status 只能是 pending / in_progress / done。用 transform 保证语义归一（如去空白后不能为空）。只保留这一个入口，模型就没法把「更新进度」理解成别的。

const TodosSchema = z.strictObject({
  todos: z.array(TodosItem),
});
// 模型必须提交整份 TODO，缺一项 = 删一项

整体替换没有隐式 merge：模型这次提交 3 项，下次只交 1 项，另外 2 项就没了。「漏写即删除」是刻意的——半更新比不更新更危险，至少模型能看见结果一致。校验全部通过后才做一次赋值，所以不存在半更新，失败也不需要回滚。

工具结果必须是对模型「有用而且能复读」的完整快照：content 返回整份 {"todos":[...]}，中文转成 \uXXXX（如 编写 → \u7f16\u5199）。字节级稳定让离线测试能精确断言，模型也能把结果原样喂回下一步。

{"todos":[{"content":"\u7f16\u5199 README","status":"done"}]}

todo 快照和陈旧计数都是会话状态。如果做成 export const tracker = new TodoTracker() 的单例，两个不同会话跑同一个进程就会串台：A 会话的「三连陈旧」会触发 B 会话的提醒。状态必须从组合根按会话创建并注入。

system 里一份固定文案只说明：有 todo_write 工具、它的入参是完整快照、什么时候该调用。它不携带任何进度数据（带了就破坏静态前缀 / KV Cache）。提醒计数按 assistant 消息算：一条 assistant 消息里三个工具调用只算一轮。计数到 3 和注入提醒不在同一次请求；注入后立刻清零。

STALE_TOOL_ROUNDS = 3
// 连续 3 个陈旧工具轮 → 下次请求注入提醒 → 立即清零

提醒加进 ModelRequest（本轮给模型的 messages），但不 push 进 #history。否则提醒会在轨迹里累积成过期提示，第二条任务轮到时就变成噪音。在 result.history 里搜不到 Keep the TODO list current，正是这个契约的证明。

request.messages.push(reminderSystemMessage)   // 当次请求
// history.push(...)  ← 这里没有

todo_write 的 effect 是 write，但它只改会话内状态，不碰磁盘。规则精确匹配工具名而不是粗暴按 effect 匹配，所以 todos 更新不弹审批框；审计里有记录（任何最终决定都进审计），但无关磁盘安全。

handler 里先校验、后赋值。模型提交 {"todos":[...]} 中有非法项时，Zod 在 prepare 阶段就拦下：handler 一次都没跑，旧快照原样保留（用 toBe 断言，失败路径连新对象都没创建）。

// 失败路径：handler 不跑、无副作用、旧快照 isEqual/to 不变
if (prepared.error) return prepared.error;   // invalid_arguments

请求1  模型连续调用工具(读文件)            陈旧计数 0→1
请求2  模型又调工具,没提交快照            陈旧计数 1→2
请求3  模型又调工具,没提交快照            陈旧计数 2→3
请求4  beforeModel: 计数已到 3 → 注入提醒,清零   ← 第 4 次请求看到提醒
       模型看到提醒 → 调 todo_write 提交快照

npm run test:ch05   # 预期 14 files / 109 tests

npm run ch05 -- --prompt "先建立完整 TODO，再读取 README.md 并总结运行和验证步骤"
# stderr 有 [Hook]/[Permission];模型是否先调 todo_write 取决于模型本身,
# 系统提示是引导,不是强制门控。不调就把 prompt 写更明确。

npm run ch05 -- --prompt "先用 todo_write 建立三项计划，然后原样告诉我 todo_write 返回的完整文本"
# 模型复述出的是一整份 {"todos":[...]},中文是 \uXXXX 形式

• 长任务里丢的不是「目标」，是「进度」——目标在开头出现过一次，进度从来没被显式记录。
• 所以本章把进度做成结构化状态：模型每次提交完整快照，快照作为最新的 tool result 回到消息流。
• 模型忘记更新时，运行时按「连续三个陈旧工具轮」注入一条只进当次请求的提醒。

• 模型提交 3 项计划，下一次只提交 1 项，另外 2 项会怎样？
• 为什么快照要输出 编写 而不是直接输出中文？
• TodoTracker 做成单例 export const 会出什么问题？至少说两个。
• 一条 assistant 消息里有 3 个工具调用，计数加几？
• 提醒在第几次模型请求出现？为什么不是第 3 次？
• 在 result.history 里能搜到 Keep the TODO list current 吗？为什么？
• todo_write 的 effect 是 write，为什么不弹审批框？审计里有东西吗？