目标化执行（设目标 → 逐格推进 → 判据全绿才收）

把"我会努力做完"换成"有一个可判定的目标 + 一组能失败的分格判据"。

一、什么时候用

仅用户或系统/开发者明确要求时调用 CreateGoal；已有目标不重复创建。长任务可使用任务清单，不因目录存在任务包或旧队列自动接手实施。先确定本轮授权范围，再从其验收要求提炼判据。

二、写目标（唯一硬要求：判据可失败）

用 Goal 机制（CreateGoal）设一个目标，objective 里必须含完成判据：

• ❌ 坏目标："把分享包更新好"、"优化一下配置" —— 判定不了，等于没有目标。
• ✅ 好目标："出包 5.0：文档计数 = 磁盘实测；四道验证（pack-share-extras / pack-folder / check-share-docs / verify-share-package）全部 exit=0；全量测试 0 失败；本任务适用且获准的接续记录已更新。判据：上述命令的退出码。"

判据写不出 ⇒ 任务没定义清楚，先澄清（弹窗问口径），别急着开工。

三、逐格推进（稳定性的来源）

1. 拆格：每格 = 能独立验证的最小交付单元（一个脚本 + 它的自测、一份文档 + 盘查、一次部署 + 验收）。拆不出判据的格，说明还没拆到位。
2. 每格固定四步：做 → 验证（判据真跑一遍，拿退出码/截图/计数）→ 落盘（/checkpoint 写进项目根 .qoder-work-queue.md）→ 核对目标判据还差什么。
3. 不要攒：不把"落盘"和"验证"留到收尾。上下文可能先崩；stop-gate 的 R6/R6c 会在收尾时拦下"还有未完成格"和"队列写了但接不了手"。
4. 一次一个目标：多目标并行 = 哪个都不完整；确实要并行，就分叉会话（fork_chat_session）各带一个目标。

四、卡住时怎么办（不允许静默降级）

• 撞到外部条件（凭据 / 进程 / 上游规格 / 用户拍板）：把它写进队列的 阻塞：<具体条件>，保持目标 active，继续做不依赖它的格子。
• 连败三次：换手段，同时在队列里记"已试过的 3 条路与结论"，避免下一轮重走。
• 禁止：把"跑了命令"当完成、把"看起来对"当完成、把受阻当完成、静默缩小范围（要缩范围就明说并让用户拍板）。

五、收尾（只有两种合法形态）

1. 判据全绿 → UpdateGoal(complete)，汇报按"已验证（命令 + 退出码）/ 未验证（原因）/ 风险"三段。
2. 被外部条件挡住 → 目标保持 active（或按规则记 blocked），汇报写清是哪一个条件挡住、以及此刻为什么做不了。

反模式清单（见到就停手自查）：目标没有判据 · 判据是"我检查过了" · 一格都没落盘就继续下一格 · 用"建议你……"结束（把动作推回给用户）· 中途悄悄改小目标。

六、跨会话交接

交付目标、可失败判据、入口和未完成项。仅请求提示词时不自动派发；明确要求代开执行才派发。新会话按本轮授权与目标工具要求决定是否创建目标，不从旧队列推定授权。

七、和别的机制怎么配合