Task Completion Loop

Task Completion Loop

把已有 plan / spec / 半成品收敛为同一份最终代码快照上的可验证终态。

本 Skill 是薄编排：依赖 skill 拥有内部协议；本 Skill 只管理任务账本、调用顺序、证据新鲜度、授权边界和停止条件。

入口与授权

同时具备才启动：

1. Git 仓库，以及命名 plan/spec 或可从当前代码确定的明确范围。
2. 明确的完整闭环实现请求。只要 Goal、只要 review-fix-re-review、只要架构加固、普通实现、纯讨论、纯 review 或只读诊断 → 不是本 Loop。

先从文档与代码解析范围。仍无法安全确定时，只问一个范围问题并停止。禁止默认全仓库。

实现请求授权修改冻结范围内的 working tree；除非用户明确要求只读或禁止编辑。它不授权：

• git add、commit、push、merge、rebase、branch/worktree 创建；
• PR、issue、评论、消息、任务、API 数据、部署、生产写；
• 排除路径或冻结范围外修改。

agentic-review-handoff 所需的 .review-handoff/** 与幂等 $GIT_COMMON_DIR/info/exclude 条目是本闭环的本地协议产物，不是交付动作；预检时披露，完成报告中记录。用户明确禁止 .git/** 写时，在源码修改前返回 HUMAN_GATE。

能力预检

始终要求：

仅在用户显式要求 grill-with-docs，或预检发现仍有用户拥有的产品/领域决策时，要求并调用 grill-with-docs。

在讨论、Goal、源码修改前：

1. 解析每个 skill、传递硬依赖和 invocation policy。特别检查 architecture-hardening-loop 的 scanner、codebase-design、只读 delegation、真实 Grok adapter 等嵌套能力。用户点名本 Loop 即授权始终要求的硬依赖（含 architecture-hardening-loop 及其声明 scanner）按用途嵌套调用，不要求用户再点名每个嵌套 skill。disable-model-invocation / allow_implicit_invocation: false 只禁止孤立自动触发；若 host 仅因此不暴露入口但依赖文件可读，按依赖 Loop 的父会话执行路径继续，不返回缺失。仍视为缺少本轮可用能力：未安装/不可读、合同不兼容或实际 worker/工具无法执行。条件依赖 grill-with-docs 仍须用户显式要求或预检证明本轮需要它，且 host 能加载。不要等实现后才发现缺失。
2. 为 Grok / Claude 解析真实产品身份、创建方式、可恢复句柄和消息交换能力；Claude 还要有可验证的只读审查方式。只有名字、catalog 条目或 CLI 文件存在不算可用。
3. 确认 review 协议产物可写，且不与用户的 .git/** 限制冲突。

缺少始终要求的能力，或缺少本轮实际需要的条件能力：

Task Completion Result
- Result: MISSING_DEPENDENCIES
- Missing: <exact skill, dependency chain, or runtime capability>
- Stop point: before discussion, Goal activation, and source changes
- Substitution/install: none; no generic agent impersonation, copied skill logic, or automatic install
- Work started: no

禁止用通用 subagent 冒充 Grok/Claude、伪造会话、复制缺失 skill 逻辑或未经授权代装依赖。

状态机

预检与任务账本
  -> 三方交叉质疑
  -> 条件式 grill-with-docs 用户决策门
  -> Goal Gate
  -> 实现全部 PENDING + 验证
  -> agentic-review-handoff
  -> architecture-hardening-loop = NO_ACTIONABLE_FINDINGS
  -> 全新只读 Claude 盲审
       -> Fix：修、验、重跑下游门禁、再盲审
       -> 仅 Backlog / Reject：完成 Goal
  -> COMPLETED

Phase 0：任务账本与证据

1. 读取仓库指令、plan/spec、直接关联决策、当前代码与测试。
2. 记录仓库根、分支、HEAD、working tree；保留既有改动，不 reset / clean 无关内容。
3. 给原始计划的每项工作标记：

冻结范围包含本轮全部 PENDING 及必要测试/文档。可按依赖顺序拆成内聚批次，但不得只完成第一个容易批次就声称 plan 已完成。

原始 PENDING 不能被 reviewer 建议偷换成 Backlog；它只能完成、被有效决策取代、明确排除或进入 HUMAN_DECISION。

可逆、范围内、不改变已决定行为的实现细节与测试选择仍属于对应 PENDING，不是 HUMAN_DECISION。按权威文档、当前代码、仓库惯例、最小改动和验证质量自行决定；agent 意见不一致本身不构成门禁。

正式 evidence id 采用 agentic-review-handoff 的 { baseSha, pathFilter, digest, coveredPaths, sourceRound }。相等性只比较 baseSha + pathFilter + digest；coveredPaths 仅供审计。优先复用依赖 skill 的冻结证据，但每道门禁前后必须用同一 base/filter 执行 review-loop evidence 重算；只拿到 verdict、packet path、相同 HEAD 或相同 git status 不足以证明快照相同。任何范围内代码或测试修改都会使旧快照的下游 test/review/audit 结论过期。

Phase 1：三方收敛与决策门

A. 独立立场

宿主、真实 Grok Build、真实 Claude Code 分别读取同一组文档、代码和任务账本。每方写清范围、归属、假设、风险、排除项和可证伪验证。保留 Grok / Claude 可恢复句柄。

B. 交叉质疑

• 把宿主 + Claude 立场交给 Grok；把宿主 + Grok 立场交给 Claude。
• 双方攻击对方最强论点，并允许依据证据改口。
• 宿主独立打开引用路径、核对当前行为，再综合证据。

三份平行评论不算收敛。

C. 用户拥有的决策

• 权威文档和代码已经给出答案，或只剩普通技术默认值：自行收敛，不重新提问。
• 真正的 HUMAN_DECISION：用户说“不要问”也不扩大产品决策或外部写授权；Agent 一致不能代替用户。
• 出现真实用户决策或显式 grill-with-docs 时，先读 decision-and-terminal-gates.md 的 Human decision convergence，再决定是否返回 HUMAN_GATE。

记录：

Three-party Convergence
- Decision:
- Why:
- Work ledger:
- Frozen scope / exclusions:
- Ownership and dependency direction:
- Verification:
- Grok session:
- Claude session:
- Remaining decisions: none | <list>

Phase 2：Goal Gate

收敛后调用 goal-gate，严格服从其 Decision / Next：

• wait for user /goal、ask approval 或 defer：返回 HUMAN_GATE 并停止。生成 prompt 不代表 Goal 已激活。
• 已有 Goal：从 native 工具、产品状态或调用方传入的可核对 parent contract 比较 objective、冻结范围、Done condition 与 completion owner；native getter 不是唯一证据源。按下表确定 ownership，冲突或证据不足才 defer。
• 可激活或采用时，Goal 覆盖任务账本、冻结范围、验证、三道终态门禁、协议写和外部写边界。

Done condition 要求：账本无 PENDING / HUMAN_DECISION；验证和三道门禁覆盖同一最终 evidence id。只有本 Skill 拥有完成权时，才在这些条件满足后完成 Goal。

只有 created-by-loop / exact-same-goal 由本 Skill 完成。broader-compatible 即使本 Loop 已完成，也保持父 Goal active，并报告 Goal: active-checkpoint。

Phase 3：实现与验证

按依赖顺序处理全部 PENDING：

1. 转成可观察成功标准；行为变更可行时先展示失败复现。
2. 做最小内聚改动，不顺手做相邻 backlog 或投机抽象。
3. 先跑定向检查，再跑相关包/仓检查。
4. 对外可见行为使用浏览器、CLI、日志、渲染或请求/响应等真实 runtime 信号。
5. 证据通过后才标记 VERIFIED_DONE，并同步 plan / 现状文档。

未运行、失败或已过期的必需证据记 UNVERIFIED，不能算通过。

Phase 4：依赖拥有的门禁

开始或恢复本阶段前，读 decision-and-terminal-gates.md 的三份 terminal contract；依赖拥有内部状态机，本 Skill 只核对终态、证据身份和父 Goal ownership。

1. agentic-review-handoff：使用默认 completion=pass。BLOCKED 或 concerns_require_fix 都由本 Loop 在冻结范围内修复、验证、记 Fix Completion 并自动续审；只在最终 PASS / NO_FINDINGS 覆盖当前 evidence 时继续。只有用户显式选择 review-only 模式后出现的 awaiting_user_decision 才返回 HUMAN_GATE。
2. architecture-hardening-loop：同范围运行，只接受 NO_ACTIONABLE_FINDINGS。已冻结范围内的 Fix 在同一 Goal 下自行继续；范围或 ownership 冲突才 defer。它修改文件会使旧 evidence 失效。
3. 全新 Claude 盲审：使用新的可验证只读会话审最终 evidence。范围内 Fix 触发最小修复和全部下游门禁重跑；最多 2 轮。

终态与报告

时间或 token 见底既不是完成理由，也不是用户决策门。宿主可续跑时继续；必须交还控制时返回 UNVERIFIED、保持 Goal active，并从未完成证据继续，不要求用户重复授权。

Task Completion Result
- Scope / exclusions:
- Work ledger:
- Three-party decision:
- Goal: <completed | active-checkpoint | not-created | deferred-conflict>
- Final evidence id:
- Implemented:
- Verification:
- Agentic review: <packet/session + evidence id>
- Architecture hardening: <result + evidence id>
- Final Claude audit: <fresh session + evidence id>
- Fixed / Backlog / Rejected:
- Protocol, Git, and external actions:
- Result: COMPLETED | HUMAN_GATE | MISSING_DEPENDENCIES | UNVERIFIED