cs-goal

name	cs-goal
description	Goal 自主达成。触发：明确终点/验收/预算、持续迭代到完成，或 grill me 后开工。不要用于单个功能的规划与实现(cs-feat)、大需求端到端拆解(cs-epic)、bug 诊断修复(cs-issue)、行为等价重构(cs-refactor)、对外文档(cs-docs)；也不用于没有实现终点的纯 design / roadmap / brainstorm / audit。
contracts	[{"grep":"state.yaml"},{"grep":"functional-acceptance"},{"grep":"owner-stop"},{"grep":"可见 Task agent"},{"not-grep":"git push"}]

cs-goal

动作前先跑 CodeStable preflight：读 .codestable/attention.md（缺失先 cs-onboard）；不要用 AGENTS.md/CLAUDE.md 等外部入口代替它；细则见 .codestable/reference/execution-conventions.md。

cs-goal 处理有界 goal：owner 给出起点和期望终态，CodeStable 先做轻量 interview / grill，动手前写起点报告，然后自主实现、验证、迭代；完成前必须请求 Task agent 做功能验收，并写 iteration 报告。报告正文遵守 .codestable/attention.md 中的项目报告语言；没有语言策略时，使用 owner 当前对话语言。

这是 goal 包装器，不替代 feature / issue / refactor 规则。goal 跨 capability boundary、暴露 bug root cause，或需要行为不变的 refactor governance 时，要在 goal iteration 中创建或引用对应 feature / issue / refactor 产物。

产物模板、state.yaml schema、报告标题和恢复规则见 reference.md。

cs-goal 是 goal driver（单一职责，非 stage 编排型 workflow）；下方 ## Spec 是前门契约，正文阶段 1/2/3、owner-stop、complete/blocked 规则是方法论主体。

Spec

csGoal :: GoalRequest -> GoalOutcome

data GoalRequest = GoalRequest
  { ownerGoal  : Maybe Text          -- 有界终点 / 验收 / 预算；缺则先 grill
  , repoFacts  : RepoFacts           -- .codestable/goals/ + state.yaml，优先于聊天历史
  , attention  : Maybe Attention     -- .codestable/attention.md；缺则 route to cs-onboard
  }

data GoalState = GoalState           -- 从 .codestable/goals/YYYY-MM-DD-{slug}/ 恢复
  { goalDir          : Maybe Path
  , status           : Active | Complete | Blocked   -- state.yaml 为机器 source of truth
  , hasStartReport   : Bool          -- goal.md 起点报告；实现前必须存在
  , currentIteration : Int           -- 最后一个已完成 iteration 编号
  , acceptancePassed : Bool          -- Task agent functional-acceptance verdict = pass
  , blockerSignature : Maybe Text
  , blockerCount     : Int           -- 同一 blocker 连续 iteration 次数
  }

data GoalOutcome
  = Iterating GoalState               -- 自主继续，已写 iteration 报告 + 刷新 state.yaml
  | HumanCheckpoint CheckpointReason  -- strict owner-stop：先写 approval-report.md 再停
  | Completed GoalSummary             -- acceptance + Task agent 验收 + final iteration 齐备
  | NeedsHuman Reason

data CheckpointReason      -- 全部枚举仅指已运行 goal 的 owner-stop：新 goal 未 grill 前的
                           -- 信息缺口（验收/预算/终点未谈）一律先走阶段 1 grill，不触发 checkpoint
  = AcceptanceConflict     -- 仅指已运行 goal 的验收标准自身冲突/不足以判断完成；
                           -- 验证全绿但未跑终端验收 → 先启动可见 Task agent 验收，也不是本 checkpoint
  | AmbiguousTerminal      -- objective / start / terminal 存在重大歧义
  | ScopeBoundaryChange    -- 会改变 goal 之外的 long-term spec / public contract / capability
  | RepeatedBlocker        -- 同一 blocker 连续三次 iteration
  | BudgetExhausted        -- budget 用尽或接近用尽
  | RiskAcceptanceNeeded   -- 需人类风险接受 / secrets / 破坏性 / 外部购买 / merge / deploy 批准
  | AcceptanceAgentUnavailable -- 可见 Task agent（终端验收/独立 review）无法启动且按生命周期
                           -- 重试仍失败：写 approval-report 后 owner-stop，不自验收

selectNextAttempt 是唯一路由真相，覆盖完整生命周期（决策细则见「阶段 1/2/3」「严格 Owner Stop」「Complete 与 Blocked 规则」；此处固定分支形态与顺序）：

selectNextAttempt :: GoalRequest -> GoalState -> GoalOutcome
selectNextAttempt(req, s)
  | attentionMissing                              -> NeedsHuman "route to cs-onboard"
  | isNothing s.goalDir && boundedGoal(req)       -> Iterating (grill req)          -- 阶段 1：先 grill 收集验收/预算/终点；
                                                                                    -- 新 goal 的信息缺口走 grill，不进任何 checkpoint
  | isNothing s.goalDir                           -> NeedsHuman "grill 无法收敛出有界 goal"
  | not s.hasStartReport && canRebuild(s, req)    -> Iterating (writeStartReport s) -- 阶段 2：从 state / interview 证据重建，实现前必须存在
  | not s.hasStartReport                          -> NeedsHuman "缺起点报告且无法从证据重建"
  | ownerStopTriggered(s)                         -> HumanCheckpoint (ownerStopReason s)  -- 含 RepeatedBlocker / Budget / …
  | s.status == Active && not s.acceptancePassed  -> Iterating (nextMinimalAttempt s)     -- 阶段 3：review / 验收经可见 Task agent
  | s.acceptancePassed                            -> Completed (summary s)

Operation

主执行主线（每次调用按序走；按需渐进加载参考，不在启动时读全部）：

1. preflight — 读 .codestable/attention.md（缺失 → cs-onboard）+ 本技能 reference.md； system-overview.md 存在则读。其余按需：goal-conventions.md / approval-conventions.md 在写 goal 产物 / approval-report 前读；agent-conventions.md 在 Task agent review / 验收前读。
2. restoreGoalState — 扫 .codestable/goals/ 匹配 active goal（即使日期前缀不是今天）。 state.yaml（active | complete | blocked）是机器 source of truth，Markdown 面向人； 恢复优先级 state.yaml > latest iteration frontmatter > 正文；state.yaml 有明确值就不从 报告正文推断。goal 指向已有领域时，搜索 .codestable/compound/ 与相关 feature / issue / refactor 文档。
3. selectNextAttempt — 按上方 guards 选：grill / 重建起点报告 / 自主迭代 / checkpoint / 完成。
4. execute — 按阶段 1 / 2 / 3 规则执行；review 与终端验收经附近可见 Task agent，不自审不自验收。
5. record — 写 iteration 报告（编号递增不覆盖）+ 刷新 state.yaml。
6. exit — 以 complete | blocked | active 三态之一可恢复退出（见 Exit）。

---

使用场景

owner 表达有界目标时使用 cs-goal：修好这个坏状态直到测试全过、达到某验收结果、 自主迭代到 complete 或 blocked、"grill me first, then implement"、 "I care about the outcome, not the technical choices"。

不要用于：没有实现目标的纯 design / roadmap / 讨论请求；owner 还不知道终态的开放式 brainstorm；不要求 AI 推进到完成的状态检查或 audit。

---

阶段 1：Grill 对齐

创建新 goal 前总是先 grill。把 interview / grill 视为正式 goal 起点，不是一次性聊天。 保持简短，聚焦 owner 层面的信息。

最多问 3-5 个聚焦问题。每轮一个问题，配 2-4 个有实质差异的选项。除非答案会改变 goal 边界，否则不要问实现细节。

如果 grill 答案需要 owner 批准范围、路线、预算、风险或停止策略，且选项需要解释，先写 .codestable/goals/YYYY-MM-DD-{slug}/approval-report.md。简单澄清问题可以留在 chat；决策 checkpoint 必须有报告。

只收集：

• objective。
• starting point。
• acceptance / done signal。
• non-goals。
• 已给出的 budget 或 stopping preference。
• 本 goal 特有的 strict owner-stop conditions。

如果 owner 已给足信息，先总结再继续。

---

阶段 2：创建或恢复 Goal

goal 生命周期目录：

.codestable/goals/YYYY-MM-DD-{slug}/
├── state.yaml
├── goal.md
├── functional-acceptance.md
└── iterations/

目录名使用 goal 创建日期，保持和 feature / issue / refactor 目录风格一致。 state.yaml 的 goal 字段保留裸业务 slug。

functional-acceptance.md 只在终端验收 gate 创建，不在 goal 开始时创建空文件。

goal.md 是从 interview / grill 生成的持久起点报告，必须在实现前存在。内容包括 objective、starting point、acceptance criteria、non-goals、owner decisions、 unresolved assumptions 和 next action。保持简洁，只在 goal 边界或状态变化时更新。

默认使用无后缀 canonical 报告路径。如果 .codestable/attention.md 明确要求额外语言副本， 再添加 goal.{lang}.md、functional-acceptance.{lang}.md、 iterations/{nnn}.{lang}.md 这类后缀副本；默认不要求这些变体。

恢复与重建规则见 ## Operation 第 2 步与 selectNextAttempt guards：已有匹配 active goal 一律恢复、不建重复目录。

---

阶段 3：自主迭代

一次 iteration 是一次连贯的实现 / 验证尝试，不是一条命令。

选实现方案（缩范围、fake / mock / 正则 / 占位、实现深度）时，先做 .codestable/reference/solution-depth-conventions.md 的方案深度 pre-pass：goal 自主迭代最易滑向"够跑就行"，按场景论证深度，采用降级 / 替身时在 iteration 报告显式写候选、理由和转正条件，不因省事默认最小。

当 state: active 时循环：

1. 从 state.yaml 选择最小有用的下一次尝试。
2. 按既有 CodeStable 约束实现；spec-governance 和 commit 规则适用时同样遵守。 涉及 review gate（cs-code-review）时，按 .codestable/reference/agent-conventions.md 通过附近可见 Task agent 启动独立 reviewer 审查本轮 diff——与 cs-feat / cs-epic 同一模式，不在 goal driver 主线程自审；reviewer 无法启动时按 Task agent 生命周期 重试，仍失败记录降级原因（self-review 需在报告中显式标注）。
3. 用 fresh 命令或证据验证。
4. 修改 state.yaml.current_iteration 前，根据 state.yaml.current_iteration 和已有 iterations/{nnn}*.md 文件推导下一个三位数 iteration 编号；不要覆盖旧报告。
5. 为已完成尝试更新 state.yaml，留下 current_iteration: {n}。
6. 写该次完成 iteration 的 canonical 报告：iterations/{nnn}.md。只有 .codestable/attention.md 要求时才添加语言后缀副本。
7. 除非触发 owner-stop 条件，否则自主继续。

不要每条命令后都写报告；报告是 iteration 摘要。不要仅凭普通测试证据把 goal 标成完成； 必须先运行终端功能验收 gate。

终端功能验收

把 state.yaml.status 改为 complete 前：

1. 用 fresh evidence 跑正常验证。
2. 按 .codestable/reference/agent-conventions.md 的 Task agent 选择规则启动附近 可见 Task agent（按 agent-conventions「启动 mode」用 plan / read-only 等价 mode 只读 启动，一步到位不要先默认 mode 再重起），对记录的 owner acceptance criteria 和实际产品 / 产物行为做功能验收。
3. 把结果写入 functional-acceptance.md，包括 reviewer、scope、acceptance checks、 functional evidence、verdict、residual risks 和 follow-up。
4. 结果被写入并引用后，按 Task agent 生命周期关闭该验收 agent；关闭失败只记录 warning。
5. 在 final iteration 中引用功能验收报告。

功能验收是面向产品的证据。它可以包括黑盒使用、产物检查、UI / API workflow 检查、 fixture 输出复核，或其他和 owner 相关的证明。单测、lint 和 build 是有用证据，但单独 不足以完成 goal。

如果 Task agent 无法启动或未获授权，先按 Task agent 生命周期处理容量失败重试；仍失败时写 approval-report.md 并 owner-stop。不要自验收 goal 为 complete。

严格 Owner Stop

只有触发 owner-stop 才停下来问 owner；触发条件以 Spec 的 CheckpointReason 枚举及其注释为唯一权威（AcceptanceConflict / AmbiguousTerminal / ScopeBoundaryChange / RepeatedBlocker / BudgetExhausted / RiskAcceptanceNeeded / AcceptanceAgentUnavailable），本节不另列清单。

普通技术选择、测试失败、实现备选和局部 refactor 由 AI 负责，除非跨过以上 stop 条件。

---

Failure Behavior

cs-goal 停下的两种形态：

• NeedsHuman：无法启动 goal driver。.codestable/attention.md 缺失（→ cs-onboard）； owner 未给终点且 grill 也无法收敛出有界 goal；已有 active goal 但缺起点报告且无法从 state 与 interview 证据重建。
• HumanCheckpoint：driver 触发 strict owner-stop（见「严格 Owner Stop」枚举的 CheckpointReason）。停前先写 .codestable/goals/YYYY-MM-DD-{slug}/approval-report.md， 除非最新 iteration 报告已含完整决策上下文、选项、推荐、权衡、证据、后果和下一步。

两种情况都要报告：当前 goal 目录、state.yaml.status、阻塞或 checkpoint 原因、需要的 owner 决策或下一步动作、已写文件（起点报告 / 最新 iteration / approval-report），以及是否 可安全重试或继续。不要在 acceptance 未过时假装完成，也不要自验收 goal 为 complete。

---

Complete 与 Blocked 规则

只有 acceptance signal 已满足、Task agent 功能验收报告记录 passing verdict，且证据已写入 final iteration 时，才能标记 complete。

只有同一个 blocker 至少连续三次 iteration 重复，或 owner-stop 规则说明 AI 无法安全继续时， 才能标记 blocked。记录 blocker_signature、blocker_count、证据和需要的 owner 决策。问 owner 决策前，先在 goal 目录写 approval-report.md，除非最新 iteration 报告已经 包含完整决策上下文、选项、推荐、权衡、证据、后果和下一步。

如果 budget 在验收前结束，带审批上下文停下，不要假装完成。

---

Exit

goal run 以下列状态之一退出：

• complete：acceptance evidence、Task agent 功能验收和 final iteration 均已写入。
• blocked：blocker 证据和 owner 问题已记录。
• active：iteration 报告和 next action 已记录，但当前回合或 budget 不足以继续。

最终回复要短；goal 完成时指向 goal.md、最新 iteration 报告和 functional-acceptance.md。

---

Guardrails

• 不让 owner 选择日常技术细节。
• 不让报告正文覆盖 state.yaml。
• 不为同一 objective 创建重复 active goal。
• 有实质工作后不跳过 iteration 报告。
• 不仅凭测试标记完成，也不伪造 Task agent 验收。
• strict owner-stop 触发后不继续迭代。
• 每个 Markdown 产物必须少于 300 行；过长就拆分。