cs-goal

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
csGoal req | attentionMissing req = NeedsHuman "route to cs-onboard"
           | otherwise = either NeedsHuman (selectNextAttempt req) (restoreGoalState req.repoFacts >>= applyGoalResume req.resumeInput)
data GoalRequest = GoalRequest
  { ownerGoal  : Maybe Text          -- 有界终点 / 验收 / 预算；缺则先 grill
  , resumeInput : Maybe GoalResume
  , repoFacts  : RepoFacts           -- .codestable/goals/ + state.yaml，优先于聊天历史
  , attention  : Maybe Attention     -- .codestable/attention.md；缺则 route to cs-onboard
  }
data OwnerStopState
  = NoOwnerStop
  | PendingStop CheckpointReason
  | ResolvedStop GoalOwnerDecision
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
  , acceptanceReport, acceptanceFinalIteration : Maybe Path
  , finalIterationReport, finalAcceptanceReport : Maybe Path
  , blockerSignature : Maybe Text
  , blockerCount     : Int           -- 同一 blocker 连续 iteration 次数
  , ownerStop        : OwnerStopState
  }
data GoalOwnerDecision = ResumeWith GoalDelta | ApproveLocalReviewFallback ApprovalRef | KeepBlocked
data GoalResume = ResolveGoalStop CheckpointReason GoalOwnerDecision
applyGoalResume :: Maybe GoalResume -> GoalState -> Either Reason GoalState
applyGoalResume Nothing s = Right s
applyGoalResume (Just (ResolveGoalStop reason decision)) s
  | s.ownerStop == PendingStop reason && validGoalDecision reason decision s = Right (persistGoalDecision decision s)
  | otherwise = Left InvalidGoalResume
validGoalDecision :: CheckpointReason -> GoalOwnerDecision -> GoalState -> Bool
validGoalDecision ReviewAgentUnavailable (ApproveLocalReviewFallback ref) s = inheritedReviewAgentUnavailable s && approvalArtifactApproved s ref "goal-local-review"
validGoalDecision _ (ApproveLocalReviewFallback _) _ = False
validGoalDecision _ _ _ = True
data GoalOutcome
  = Iterating GoalState               -- 自主继续，已写 iteration 报告 + 刷新 state.yaml
  | HumanCheckpoint CheckpointReason  -- strict owner-stop：先写 approval-report.md 再停
  | Completed GoalSummary             -- acceptance + Task agent 验收 + final iteration 齐备
  | Blocked GoalSummary               -- owner 已决定保持 blocked；不重复询问
  | 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 无法启动且按生命周期
                           -- 重试仍失败：写 approval-report 后 owner-stop，不自验收
  | ReviewAgentUnavailable -- 独立 review agent 不可用；仅 inherited 配置可经命名 ApprovalRef 降级
acceptanceArtifactReady :: GoalState -> Bool
acceptanceArtifactReady s = s.acceptancePassed && canonicalFunctionalAcceptance s.acceptanceReport
completionEvidenceReady :: GoalState -> Bool
completionEvidenceReady s = acceptanceArtifactReady s
  && currentIterationReport s == s.finalIterationReport
  && s.acceptanceFinalIteration == s.finalIterationReport
  && s.finalAcceptanceReport == s.acceptanceReport

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 "缺起点报告且无法从证据重建"
  | s.status == Complete && completionEvidenceReady s -> Completed (summary s)
  | s.status == Complete                          -> NeedsHuman "complete goal lacks linked acceptance/final-iteration evidence"
  | s.ownerStop is PendingStop reason
                                                   -> HumanCheckpoint reason
  | s.status == Blocked && s.ownerStop is ResolvedStop (ResumeWith delta)
                                                   -> Iterating (resumeGoal s delta)
  | s.status == Blocked && s.ownerStop is ResolvedStop (ApproveLocalReviewFallback ref)
                                                   -> Iterating (resumeWithLocalReview s ref)
  | s.status == Blocked && s.ownerStop is ResolvedStop KeepBlocked
                                                   -> Blocked (summary s)
  | s.status == Blocked                           -> NeedsHuman "blocked goal lacks owner-stop state"
  | ownerStopTriggered(s)                         -> HumanCheckpoint (ownerStopReason s)  -- 含 RepeatedBlocker / Budget / …
  | s.status == Active && completionEvidenceReady s -> Iterating (repairCompleteState s)
  | s.status == Active && acceptanceArtifactReady s -> Iterating (recordFinalIterationAndComplete s)
  | s.status == Active                             -> Iterating (nextMinimalAttempt s)     -- 阶段 3：review / 验收经可见 Task agent

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，并复用共享 selectTaskAgent Review / reviewGate。显式 pin 的配置不可用时 owner-stop，不能降级；继承配置下 agent 不可用时先写 pending goal-local-review 命名决策，只有 ApproveLocalReviewFallback ApprovalRef 机械核验通过才可 local review。不在 goal driver 主线程静默自审。
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，已完成交付写 Delivery Record。
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 枚举及其注释为唯一权威（含 ReviewAgentUnavailable / 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 报告已含完整决策上下文、选项、推荐、权衡、证据、后果和下一步。
• Blocked：owner 已回答并选择保持 blocked，或明确不继续；记录后返回终态摘要，不重复同一 checkpoint。owner 选择 ResumeWith 时应用 GoalDelta；批准命名 local-review fallback 时持久化 ApprovalRef；两者都先把 status 改回 active 并清除 pending owner-stop，再继续 iteration。

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

Complete 与 Blocked 规则

只有 acceptance signal 已满足、Task agent 功能验收报告记录 passing verdict、final iteration 已落盘，且两份报告按 canonical 路径双向引用并与 currentIteration 对齐时，才能标记 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 行；过长就拆分。