DSH 学习 · 计划栈
计划栈三层各管一件事：todo_write 每次替换整表快照（没有增量接口）；plan/mode 是 logged 布尔加可选 pending——闲即提交、忙即排队；goal 用 revision CAS 栅栏驱动生命周期——pause/block/clear 都撤权、resume 受轮次上限约束。切下面的面板逐层推。
先押一个注：模型提交了一份含两条相同 content 的 todo_write——会发生什么？
状态投影
独立校验
独立校验重跑同一份校验/迁移逻辑，再核对错误文案逐字一致、封闭词表与版本单调性。
证据边界