@cyning/harness 2.4.0 → 2.6.0

package/CHANGELOG.md

@@ -4,6 +4,41 @@
 
 ## [Unreleased]
 
+## [2.6.0] - 2026-07-24
+
+### Added
+
+- **task lint · 思考轮结构规则组（G4）**：条件触发（行首 `### R0` 或 `##/###` 标题含「思考轮」）后检查：
+  - **E8** R0–R5 槽位标题齐全（`^### R\d` 前缀宽容）
+  - **E9** 控制表字段 `actual_last_round` / `early_stop` / `residual_risks`
+  - **E10** `early_stop=yes` 时 `early_stop_reason` 非空
+  - **W4** 无思考轮节（SPEC 承载 / bugfix 合法豁免提示）
+  - **W5** 存在 `### R6+` 但缺 `round_extension_note`
+- 槽内容 `（待填）` / `（跳过 · 见思考轮控制）` 合法；**不**查思考内容质量（20 帽职责）。
+- SPEC：`docs/spec/SPEC-task-lint-thinking-rounds_v1.md`
+
+### Notes
+
+- 背景：机械化率审计 G4（rethink 矩阵 P1 · 第三波）；与 G1 同命令、分开交付。
+- minor · 无 verify 行为变更 · `npm test` 含既有回归全绿
+- **待发布**：`@cyning/harness@2.6.0`（维护者 CLOSE 后 npm publish + tag）
+
+## [2.5.0] - 2026-07-24
+
+### Changed
+
+- **⚠ 行为变更 · reviews 留档闸（G2）**：`verify --task` 新增 blocking 条件——`docs/harness/reviews/task_<base>_audit_R<n>_*.md`（n≥1）不存在时 `VERIFY: BLOCKED · missing R<n> review` exit 2（即使人工闸表全 approved）。职责切分：机器只查**存在性**，审查结论仍由维护者签 `HG-AUDIT-R1` 覆盖。**豁免**：`--allow-no-review`（warn 放行 · 留痕）。
+- `task close` 新增**检查 6**：归档时 R<n> 审查文应存在（纸链完整）；同 `--allow-no-review` 豁免。
+- `findReviewPath` 升级 `findReview`：glob `_audit_R1_` → `_audit_R` 多轮取最新；**匹配两侧剥离版本后缀**（合法变体 `task_x_v1.md` ↔ `task_x_audit_R1_*.md` · R1 审查实测案例）；`review_path` 字段兼容。
+- verify `--json` handoff 新增 `review_found` / `review_latest` / `review_rounds`；`may_start_30` 纳入审查文条件。
+
+### Notes
+
+- 背景：机械化率审计 G2（rethink 矩阵 P0 最后一块）；22/20 帽自此脱离「全帽零机械」。
+- dogfood：工作区 approved 任务全过（含版本后缀变体 ops_clarify · 恰好是 R1 审查抓出的案例）。
+- minor · verify 行为变更（本版核心 · 见上）· `npm test` 118 全绿 · SPEC `docs/spec/SPEC-reviews-retention-gate_v1.md`
+- **已发布**：`@cyning/harness@2.5.0`（npm `latest` · 2026-07-24）· tag `v2.5.0` 已推送
+
 ## [2.4.0] - 2026-07-24
 
 ### Changed
@@ -29,6 +64,7 @@
 - **升级指引**：业务仓 `upgrade` 后若出现 `warn: obsolete`，按提示人工删除旧帽文件即可（sync 不会自动删）。
 - 背景：三方对比（后端仓=V1 手工快照 · 包内=半途状态 · V2 真值仅在工作区）· task `cyning-harness-hat-v2-split-sync`。
 - minor · 无 CLI breaking · `npm test` 111 全绿
+- **已发布**：`@cyning/harness@2.4.0`（npm `latest` · 2026-07-24）· tag `v2.4.0` 已推送
 
 ## [2.3.0] - 2026-07-24
 

package/docs/rethink/2026-07-mechanization-rate/03_coverage_matrix.md

@@ -35,9 +35,9 @@ description: 机械化率统计矩阵 + 缺口聚类 + 候选闸优先级排序
 | 优先级 | 缺口 | 风险 | 成本 | 候选闸形态 | 挂点 |
 |---|---|---|---|---|---|
 | ~~P0~~ ✅ | **G1 · task md 结构 lint** | 高（下游全部闸的输入假设） | 低（解析与 M5 共享） | **已落地 v2.3.0**：`harness task lint`（E1–E7/W1–W3）· 不接入 verify（dogfood 后另议） | 10 产出时 |
-| **P0** | **G2 · reviews 留档闸** | 高（与 invoke 失守同构，且是 HG-AUDIT-R1 的签署依据） | 低（glob 命名模式） | `verify` 增检查：`reviews/task_<slug>_audit_R1_*.md` 存在（may_start_30 加条件）；可选 `close` 增第 6 项 | verify（30 前）· close（归档前） |
+| ~~P0~~ ✅ | **G2 · reviews 留档闸** | 高（与 invoke 失守同构，且是 HG-AUDIT-R1 的签署依据） | 低（glob 命名模式） | **已落地 v2.5.0**：verify blocking（`missing R<n> review`）+ close 检查 6 · 豁免 `--allow-no-review` · 匹配两侧剥离版本后缀 | verify（30 前）· close（归档前） |
 | ~~P1~~ ✅（task 部分） | **G3 · 文本纪律 grep 闸** | 中 | 极低（正则） | **已落地 v2.3.0**（E6 绝对路径）；invoke 预写 approved grep 缓做（SPEC R2：误报不可控） | 同 G1 |
-| **P1** | **G4 · 思考轮结构检查** | 中（阶段 C 纪律，漏槽=思考轮形同虚设） | 中（格式变体多，须宽容：只查槽位存在与控制表字段，不查内容质量） | 并入 `task lint`：R0–R5 槽 + `actual_last_round`/`early_stop`/`residual_risks` 字段存在性 | 10 产出时 |
+| ~~P1~~ ✅ | **G4 · 思考轮结构检查** | 中（阶段 C 纪律，漏槽=思考轮形同虚设） | 中（格式变体多，须宽容：只查槽位存在与控制表字段，不查内容质量） | **已落地 v2.6.0**：`task lint` 条件触发 E8–E10 / W4–W5（有节才查 · 形态 B/C 仅 W4） | 10 产出时 |
 | **P2** | **G7 · 执行证据** | 高但难（「真跑过」本质要 runner 见证） | 高 | `harness run -- <验证命令>`：包装执行、留 exit code + 输出摘要到 `.cyning-harness/runs/`，40 回填引用 run id | 方向二状态机内再做 |
 | **P3** | **G6 · git 行为层** | 中 | 高（需 hook/平台集成） | 暂留 prompt 层；远期 Agent 契约（方向三）的行为审计范畴 | 方向三 |
 

package/docs/rethink/2026-07-mechanization-rate/04_next_steps.md

@@ -27,7 +27,7 @@ description: 结论与立项建议 · 缺口到 SPEC/task 的转化路径 + 与
 - `close` 可选增第 6 项检查（归档时 R1 审查文应仍在）
 - 注意与现有流程的兼容：`findReviewPath` 已被 `verify --json` 消费（handoff.review_path），本次是把它从「信息」升级为「闸」
 
-### 第三波 · 思考轮结构检查（G4）· 建议 v2.4.0
+### 第三波 · 思考轮结构检查（G4）· ✅ v2.6.0
 
 - 并入 `task lint` 但作为独立规则组；宽容度设计需 dogfood 一轮（工作区 task 的槽位写法变体多）
 - 只查结构（槽位存在、控制表字段），**不查**内容质量——质量判定永远留在 22 帽

package/docs/rethink/2026-07-mechanization-rate/README.md

@@ -31,6 +31,7 @@ description: 索引与背景 · 2026-07 机械化率审计思考系列 · 何时
 | 2026-07-24 | 矩阵聚合 + 缺口聚类 | 03 |
 | 2026-07-24 | 结论与立项建议 | 04 |
 | 2026-07-24 | **第一波落地**：G1+G3（task 部分）→ `task lint` v2.3.0（03 已勾 ✅）；dogfood 数据：17 个 active task 中 15 个存在真实结构缺口 | 03 更新 |
+| 2026-07-24 | **第二波落地**：G2 → verify/close reviews 闸 v2.5.0（03 已勾 ✅ · **P0 队列清零**）；期间帽定义 V2 拆分收编（v2.4.0） | 03 更新 |
 
 **机制编号约定**（02/03 引用）：M1 gate-check.sh · M2 verify · M3 audit · M4 task check · M5 task close · M6 task lint-done · M7 graph yaml · M8 graph HGM · M9 harness-sync · M10 package-scripts
 

package/docs/spec/SPEC-reviews-retention-gate_v1.md

@@ -0,0 +1,141 @@
+# SPEC：reviews 留档闸（verify + close 的 R<n> 审查文存在性检查）（v1）
+
+> **状态**：`done`（10-spec R0–R5 已回填 · **维护者已签收 2026-07-24** · → 00 起草 task）  
+> **track**：`feature`  
+> **关联图谱**：无（纯 Harness 工具链）  
+> **上游思考**：[`docs/rethink/2026-07-mechanization-rate/`](../rethink/2026-07-mechanization-rate/)（缺口 G2 · P0 最后一块）  
+> **下游**：SPEC 签收 → 00 起草 task → 10-task
+
+---
+
+## Harness 元信息
+
+| 字段 | 值 |
+|------|-----|
+| **spec_slug** | `reviews-retention-gate` |
+| **test_strategy** | `required` |
+| **test_strategy_note** | verify/close 双挂点的 block/pass/豁免路径均可 fixture 驱动 |
+| **entry_invoke_10_spec** | `Projects/docs/harness/invokes/by-task/cyning-harness-reviews-retention-gate/invoke_20260724_10_spec_reviews_retention_gate.md` |
+| **entry_invoke_00_draft** | 工作区 `docs/harness/prompts/PROMPT_00_draft_spec_or_task_v1_zh.md` |
+
+---
+
+## 1. 背景与目标
+
+机械化率审计（rethink 02 C1–C4）：**20-task-audit（原 22）全帽零机械**——「必须落盘 `reviews/task_<slug>_audit_R<n>_<date>.md`」是纯 Prompt 纪律，与 invoke 失守同构。`FRAGMENT_30_gate_verify` 闸扫描表里本有一行「reviews：`task_*_audit_R1_*.md` 存在且 R1 通过？」，但它是**手工填表项**，无任何代码消费。
+
+**关键事实**：`HG-AUDIT-R1` 是 30 的硬闸且由人签，但**签署依据（R1 审查文）的存在性本身没有闸**——人可以对着一份不存在的审查文签 approved，机械层面无法发现。
+
+**目标**：把「R&lt;n&gt; 审查文存在」从填表项升级为机械闸，双挂点：
+
+1. **verify（30 前）**：`may_start_30` 增加前置条件——`docs/harness/reviews/task_<base>_audit_R<n>_*.md`（n≥1）至少一份存在；
+2. **close（归档前）**：新增第 6 项检查——归档时 R&lt;n&gt; 审查文应存在（纸链完整性）。
+
+**职责切分（核心设计）**：机器只查**存在性**（形式）；审查**结论是否通过**由维护者签 `HG-AUDIT-R1` 覆盖（实质）。闸不做内容判定。
+
+## 2. 范围
+
+- **D1 · verify 挂点（`lib/verify.js` + `lib/task-meta.js`）**：
+  - `findReviewPath` 扩展：glob 从 `_audit_R1_` 放宽为 `_audit_R`（取最新轮），返回 `{found, latest, rounds[]}`
+  - `verifyTarget`：taskFile 模式下审查文缺失 → `VERIFY: BLOCKED · missing R<n> review` · exit 2
+  - 豁免：`--allow-no-review`（warn 放行 · 留痕）；handoff JSON 增加 `review_found` / `review_latest`（`review_path` 保留兼容）
+- **D2 · close 挂点（`lib/task-close.js`）**：新增检查 6——R&lt;n&gt; 审查文存在；缺失 → `CLOSE: BLOCKED`；同一 `--allow-no-review` 豁免（warn）
+- **D3 · 测试**：verify 三态（存在 pass / 缺失 block / 豁免 warn）+ close 检查 6 三态；`npm test` 全绿（含既有回归）
+- **D4 · dogfood**：工作区 active tasks 跑 verify 报告「approved 但无审查文」分布（只报告）
+- **D5 · 文档**：`FRAGMENT_30_gate_verify_v1_zh.md` 该行标注「v2.5+ verify 机械强制存在性」；CHANGELOG + 版本 **v2.5.0**
+
+## 3. 非范围
+
+- 审查文**内容**判定（pass/fail 结论、核对项质量）——永远人/20 帽职责
+- SPEC 审查文（20-spec-audit · HG-SPEC-SIGNOFF）留档闸——下一轮
+- `task lint-done` 的 reviews 集合 diff（done↔reviews）——有需求再议
+- 存量 done 任务的 reviews 补录；R 轮次与 task 回填一致性的交叉校验
+
+---
+
+## 4. 验收标准
+
+- [ ] verify：task 有 `reviews/task_<base>_audit_R<n>_*.md`（n≥1）→ 行为不变；**缺失 → `VERIFY: BLOCKED · missing R<n> review`** exit 2（即使闸表全 approved）
+- [ ] verify：`--allow-no-review` → warn + 放行；`--json` handoff 含 `review_found` / `review_latest`
+- [ ] verify：多轮审查文（R1+R2）取最新轮为 `review_latest`
+- [ ] close：检查 6 缺失审查文 → exit 2 不 mv；`--allow-no-review` warn 放行
+- [ ] `npm test` 全绿（新增用例覆盖上述三态 · 既有 111 例回归）
+- [ ] dogfood：工作区 active tasks「approved 无审查文」分布落自检结论
+- [ ] FRAGMENT_30 + CHANGELOG（v2.5.0 · 行为变更醒目说明 + 豁免指引）
+
+---
+
+## 5. failure_paths
+
+| 触发条件 | 系统行为 | 可重试 |
+|----------|----------|--------|
+| 30 前审查文缺失 | `VERIFY: BLOCKED · missing R<n> review` · exit 2 | 20 补审落盘后重跑；或维护者授意 `--allow-no-review` |
+| 归档时审查文缺失 | `CLOSE: BLOCKED` · 不 mv | 补审 / 豁免后重跑 |
+| 存量 approved 无审查文任务被挡 | 属**预期拦截**（闸的目的）；豁免阀 `--allow-no-review` 留痕放行 | 同上 |
+| 审查文命名不规范（无 `_audit_R` 段） | 视为缺失（形式宽容止于轮次段，文件名主体必须匹配 task basename） | 重命名后重跑 |
+| 业务仓未升级 2.5.0 | 旧 verify 无此检查 · 行为不变 | upgrade |
+
+---
+
+## 6. 依赖与引用
+
+- 复用：`lib/task-meta.js` `findReviewPath`（现 glob `_audit_R1_` · 已服务 verify --json 的 `review_path` 信息位）
+- 挂点：`lib/verify.js` `verifyTarget`（taskFile 分支 · gate-check 之后）；`lib/task-close.js` 检查表第 6 项
+- 纪律原文：`harness/prompts/20-task-audit.md`（必须落盘 reviews）· `harness/prompts/FRAGMENT_30_gate_verify_v1_zh.md`（reviews 填表行）
+- 缺口出处：rethink 02（C1–C4）· 03（G2 行）
+
+---
+
+## 7. 思考轮（10-spec 回填 · R0–R5）
+
+### R0 · 读入与约束
+
+读入：rethink 02/03（G2=P0 队列最后一块）；`findReviewPath` 现实现（只 glob R1 · 只作信息位）；FRAGMENT_30 的 reviews 填表行（纪律原文）；v2.3 教训（lint 不接入 verify = 不误伤存量）。约束：verify 新增 blocking 条件是**行为变更**，豁免阀与 CHANGELOG 醒目说明是硬要求。
+
+### R1 · 范围 / 非范围 / 场景
+
+场景：① 30 前 verify 挡「闸表 approved 但审查文不存在」（主）；② 归档时 close 保证纸链完整；③ 存量任务被挡时维护者有豁免阀。**职责切分**是本 SPEC 最重要的边界：机器查存在性（形式），人签覆盖结论（实质）——不做审查文内容判定，那是 20 帽与维护者的职责，机械判定会重蹈 slug 式误报。双挂点同波做：机制共享（同一个 finder），分开做反而要两次发版说明。
+
+### R2 · 方案对比
+
+| 决策点 | 选项 | 裁定 | 理由 |
+|---|---|---|---|
+| 严格度 | block / warn 起步 | **block + `--allow-no-review`** | 这是 verify 的语义本职（「30 可开工？」应含签署依据存在）；warn 起步等于又把纪律留在自觉层。豁免阀保灵活 |
+| 挂点 | verify only / close only / 双挂点 | **双挂点同波** | finder 共享 · 一份发版说明；close 保证归档纸链（done 任务的未来审计入口） |
+| 轮次语义 | 只认 R1 / 最新 R&lt;n&gt; / 要求结论 pass | **存在 ≥1 份 R&lt;n&gt;，信息位报最新轮** | R1 有阻塞 → 回填 → R2 是合法流程；结论 pass 由 HG-AUDIT-R1 人签覆盖，机器不判内容 |
+| 与 `--allow-unchecked` 合并豁免阀 | 合并 / 独立 flag | **独立 `--allow-no-review`** | 语义不同（勾选豁免 vs 审查文豁免），合并会模糊审计痕迹 |
+| verify 无 --task 全量模式 | 也查 reviews / 只查闸表 | **本波只查闸表（不变）** | 全量模式的存量面太大（dogfood 前先探）；taskFile 模式是 30 开工的正式路径 |
+
+### R3 · 边界 / 失败语义 / 安全
+
+- **存量误伤面**：受影响 = 「HG-AUDIT-R1 approved 且无 R&lt;n&gt; 审查文」的在途 task。工作区近三波 task 全有 R1 文（实测）；业务仓手工快照可能有缺口 → 豁免阀 + dogfood 报告（D4）先行量化。
+- **文件名形式宽容边界**：宽容到「轮次数字任意」，不宽容到「文件名主体必须 = task basename」——否则张冠李戴的审查文也能过闸，闸就失去意义。
+- **兼容**：`review_path` 字段保留（handoff 既有消费者）；新增字段不删旧字段。
+- **安全**：verify/close 均为只读检查（close 的 mv 语义不变）；无 git 动作。
+
+### R4 · 验收 / 可测性 / test_strategy
+
+`test_strategy: required`。fixture：verify 三态 + 多轮取最新 + close 检查 6 三态；复用 verify.test.js / task-close.test.js 的 mkdtemp 模式。dogfood 命令与分布落自检结论（同 v2.3 模式）。
+
+### R5 · SPEC 签收就绪 · 是否可交 00 出 task
+
+SPEC 自足：双挂点行为、豁免阀、职责切分、存量缓解均有明确规则。**可交 00 起草 task**。图谱：纯工具链无需 bootstrap。版本 v2.5.0（行为变更但属闸语义本职 · CHANGELOG 醒目 + 豁免指引）。落地后 rethink 矩阵 ❌ 8 → 6（C1/C2 族 ✅），22/20 帽脱离「全帽零机械」。
+
+### 思考轮控制
+
+| 字段 | 值 |
+|------|-----|
+| `actual_last_round` | `R5` |
+| `early_stop` | `no` |
+| `early_stop_reason` | — |
+| `residual_risks` | ① 存量仓 verify 行为变更可能挡在途 task（豁免阀 + CHANGELOG 醒目 + dogfood 量化缓解）；② 「审查文命名不规范视为缺失」可能对历史命名变体过严（宽容边界已声明 · 误报可重命名或豁免）；③ verify 无 --task 全量模式本波不查 reviews，遗留到 dogfood 后决策 |
+| `round_extension_note` | — |
+
+---
+
+## 修订记录
+
+| 日期 | 摘要 |
+|------|------|
+| 2026-07-24 | 10-spec R0–R5 同会话回填（维护者委派「开始」）· 基于 rethink G2 + findReviewPath 资产核查 |
+| 2026-07-24 | **维护者签收** · 进入 00 起草 task |

package/docs/spec/SPEC-task-lint-thinking-rounds_v1.md

@@ -0,0 +1,144 @@
+# SPEC：task lint 思考轮结构规则组（G4）（v1）
+
+> **状态**：`signed`（维护者签收 2026-07-24 · 对话「签收，继续」）  
+> **track**：`feature`  
+> **关联图谱**：无（纯 Harness 工具链）  
+> **上游思考**：[`docs/rethink/2026-07-mechanization-rate/`](../rethink/2026-07-mechanization-rate/)（缺口 G4 · P1）  
+> **前置**：v2.3.0 `task lint`（G1+G3）· 本 SPEC 为其规则组扩展  
+> **下游**：00 已起草 task → 20-task-audit → HG-AUDIT-R1 → 30
+
+---
+
+## Harness 元信息
+
+| 字段 | 值 |
+|------|-----|
+| **spec_slug** | `task-lint-thinking-rounds` |
+| **test_strategy** | `required` |
+| **test_strategy_note** | 条件触发三形态 + 每条 E/W 规则的 fail/pass fixture；`npm test` 全绿含回归 |
+| **entry_invoke_10_spec** | `Projects/docs/harness/invokes/by-task/cyning-harness-task-lint-thinking-rounds/invoke_20260724_10_spec_task_lint_thinking_rounds.md` |
+| **entry_invoke_00_draft** | 工作区 `docs/harness/prompts/PROMPT_00_draft_spec_or_task_v1_zh.md` |
+
+---
+
+## 1. 背景与目标
+
+rethink 02 D3：10 帽「预置 R0–R5 思考轮槽 + 思考轮控制表」是纯 Prompt 纪律（零机械）。v2.3.0 `task lint` 落地时本项被显式推迟（SPEC R1：写法变体多 · 宽容度需独立 dogfood）——本 SPEC 即第三波。
+
+**变体实测（2026-07-24 · SPEC 设计依据）**：
+
+| 形态 | 实例 | 占比（active 16） |
+|---|---|---|
+| **A · task 内嵌**（### R0–R5 + 控制表） | hat_chain_assessment · v0_2_d3_ide · ops_desk_kimi_code_spec_10_refine | ~2-3/16 |
+| **B · SPEC 承载**（task 无槽位 · 链 SPEC） | 近三波 task（lint/reviews-gate 等）· 3 份 SPEC 均有完整结构 | ~2/16 |
+| **C · 无思考轮**（bugfix 轨 / Issue≈SPEC） | hat_v2_split 等 | ~12/16 |
+
+**目标**：`task lint` 新增思考轮规则组——**条件触发**（有思考轮节才查结构完整性），只查结构不查内容质量；形态 B/C 不挡（W 级提示）。
+
+## 2. 范围
+
+- **D1 · `lib/task-lint.js` 规则组扩展**：
+  - 触发条件：文件含思考轮节（标题含「思考轮」或存在 `### R0` 槽标题）
+  - **E 级**（触发后）：E8 R0–R5 槽位标题齐全 · E9 控制表必填字段齐全（`actual_last_round` / `early_stop` / `residual_risks`）· E10 `early_stop=yes` 时 `early_stop_reason` 非空
+  - **W 级**：W4 无思考轮节（提示 · 注明 SPEC 承载/bugfix 轨合法豁免）· W5 存在 `### R6`+ 但 `round_extension_note` 缺失或为空
+  - 槽位内容为 `（待填）`/`（跳过 · 见思考轮控制）` **合法**（draft 期语义 · 同自检结论占位原则）
+- **D2 · 测试**：三形态（A 完整 pass / A 缺槽或缺字段 fail / B·C 仅 W4）+ E10 逻辑用例 + W5 用例；`npm test` 全绿含 118 例回归
+- **D3 · dogfood**：工作区 active + done tasks 全量 lint，三形态分布与规则命中落自检结论（只报告）
+- **D4 · 文档**：`harness/prompts/10-task-requirements.md` 思考轮摘要节补「v2.6+ task lint 机械检查结构」；CHANGELOG + 版本 **v2.6.0**；rethink 03 G4 行 ❌→✅
+
+## 3. 非范围
+
+- 思考轮**内容质量**判定（是否「真思考」）—— 20 帽职责，永不在 lint
+- SPEC 文件的 lint（E1 元信息字段不同 · 规则组设计为可复用，SPEC lint 下一轮）
+- `verify` 接入 lint（维持 v2.3 裁定 · 独立命令）
+- 强制所有 task 必须有思考轮（形态 B/C 合法 · 本闸不消灭变体）
+
+---
+
+## 4. 验收标准
+
+- [ ] 形态 A 完整（R0–R5 + 三字段 + early_stop 逻辑一致）→ 无 E · exit 0
+- [ ] 形态 A 缺槽（如缺 `### R3`）→ E8 exit 2；缺控制表字段 → E9；`early_stop=yes` 无 reason → E10
+- [ ] 形态 B/C（无思考轮节）→ 仅 W4 · exit 0
+- [ ] `### R6` 存在且 `round_extension_note` 空 → W5 · exit 0
+- [ ] 槽位 `（待填）`/`（跳过 · 见思考轮控制）` 不触发任何 E
+- [ ] `npm test` 全绿（新增用例 + 118 例回归）
+- [ ] dogfood 三形态分布落自检结论
+- [ ] 10-task Prompt + CHANGELOG（v2.6.0）；rethink G4 行 ❌→✅
+
+---
+
+## 5. failure_paths
+
+| 触发条件 | 系统行为 | 可重试 |
+|----------|----------|--------|
+| 有思考轮节但结构不全 | exit 2 · 逐条列出（E8/E9/E10）· 不改文件 | 补齐后重跑 |
+| 形态 B/C | W4 提示 · exit 0 | — |
+| 槽标题变体（如 `### R3 · 边界`） | 槽匹配按 `^### R\d` 前缀（形式宽容）| 误报则 dogfood 期调整 |
+| 既有 task 大量 W4 | 不影响 exit · dogfood 记录分布 | — |
+| 业务仓未升级 2.6.0 | 旧 lint 无本规则组 · 行为不变 | upgrade |
+
+---
+
+## 6. 依赖与引用
+
+- 复用：`lib/task-lint.js`（规则组框架 · E/W 分级）· `lib/task-meta.js`（`extractSection` 行首锚定）
+- 纪律原文：`harness/prompts/10-task-requirements.md`「OSS 阶段 C · 思考轮」节；工作区 `FRAGMENT_rethink_backfill_spec_v1_zh.md`（控制表字段定义）
+- 变体实测：2026-07-24 扫描（§1 表）
+- 缺口出处：rethink 02（D3）· 03（G4 行）· SPEC-task-lint-structure-gate R1（推迟裁定）
+
+---
+
+## 7. 思考轮（10-spec 回填 · R0–R5）
+
+### R0 · 读入与约束
+
+读入：rethink 02 D3 / 03 G4 / 04 第三波定义；v2.3 SPEC 的推迟裁定；变体实测数据（§1）；10-task 新帽思考轮摘要节（v2.4.0）。约束：只查结构不查内容是 04 定下的硬边界；不消灭形态 B/C（它们是 R1 审查已接受的合法轨）。
+
+### R1 · 范围 / 非范围 / 场景
+
+变体实测驱动设计：active 16 个中仅 ~3 个形态 A——**无条件强制槽位 = 误伤 80% 存量**，故核心设计是**条件触发**（有节才查）。场景：① 形态 A task 的 10 产出自查（主）；② 22/20 审查时辅助核对控制表；③ 维护者批量体检。SPEC 文件的结构与本规则组同构，但 E1 元信息字段不同（spec_slug ≠ task_slug），SPEC lint 不在本波（非范围已列）。
+
+### R2 · 方案对比
+
+| 决策点 | 选项 | 裁定 | 理由 |
+|---|---|---|---|
+| 触发方式 | 全员强制 / 条件触发 / 只对阶段 C 标记 task | **条件触发（有节才查）** | 变体实测：强制 = 80% 误伤；「阶段 C 标记」本身无机械标记可锚 |
+| 无思考轮节 | 沉默 / W4 提示 / E 级 | **W4** | 形态 B/C 合法但值得可见（提示里也写明豁免路径，教育新用户） |
+| 槽内容 | 查非占位 / 不查 | **不查**（`（待填）`/`（跳过）` 合法） | draft 期语义与自检结论占位原则一致；填没填的思考质量是 20 帽职责 |
+| early_stop 逻辑 | 查 / 不查 | **查（E10）** | `yes` 必须配 reason 是控制表自身的逻辑完整性，属结构非内容 |
+| R6+ | 不查 / W5 / E | **W5** | 扩展理由缺失值得提示，但 R6 使用率低，E 级过重 |
+| 槽标题匹配 | 精确 `### R0` | **`^### R\d` 前缀宽容**（允许 `### R3 · 边界` 后缀） | 实测槽标题带主题后缀是惯例 |
+
+### R3 · 边界 / 失败语义 / 安全
+
+- **E/W 分界原则**：触发后结构残缺 = E（有节就等于承诺了结构）；未触发 = 最多 W（不承诺不查）。
+- **触发条件假阳性**：文件正文提到「思考轮」三字但无槽位 → 触发条件要求「标题含思考轮 **或** 存在 `### R0` 槽标题」——纯文本提及（如本段）不触发，因为 `### R0` 必须行首锚定（extractSection 同款锚定）。「标题含思考轮」单独触发会不会误伤？一个写着「## 思考轮说明」但无槽的文件 → E8 fail。裁定：触发 = 存在 `^### R0` 槽标题 **或** `^#{2,3}.*思考轮` 标题；两者任一即按形态 A 要求。dogfood 验证误伤面（D3）。
+- **安全**：纯只读；无 git 动作；不影响既有 E1–E7 行为（118 例回归兜底）。
+
+### R4 · 验收 / 可测性 / test_strategy
+
+`test_strategy: required`。fixture：形态 A 完整 / 缺槽 / 缺字段 / early_stop 无 reason / R6 无扩展理由 / 形态 B / 形态 C / 槽标题带后缀宽容 / 正文提及「思考轮」不触发。dogfood 落三形态分布与 W4 计数。
+
+### R5 · SPEC 签收就绪 · 是否可交 00 出 task
+
+SPEC 自足：条件触发模型有三形态实测支撑，E/W 边界清晰，宽容条款逐条在案。**可交 00 起草 task**。图谱：纯工具链。版本 v2.6.0（lint 规则组扩展 · 无 verify 行为变更）。落地后 rethink 矩阵 ❌ 8 → 7；P1 队列余 SPEC 审查闸与 verify 全量模式决策。
+
+### 思考轮控制
+
+| 字段 | 值 |
+|------|-----|
+| `actual_last_round` | `R5` |
+| `early_stop` | `no` |
+| `early_stop_reason` | — |
+| `residual_risks` | ① 触发条件的假阳性（文件有「思考轮」标题但槽在别处）——dogfood D3 实测，必要时触发条件收紧为仅 `### R0`；② 历史形态 A 文件可能结构不全被 E 挡（存量仅 ~3 个 · 影响面小且可豁免豁免阀之外直接修复）；③ SPEC lint 复用需求可能提前到来（规则组已按可复用设计） |
+| `round_extension_note` | — |
+
+---
+
+## 修订记录
+
+| 日期 | 摘要 |
+|------|------|
+| 2026-07-24 | 10-spec R0–R5 同会话回填（维护者点菜「1」）· 基于 rethink G4 + 变体实测（形态 A/B/C 分布） |
+| 2026-07-24 | 维护者签收（对话「签收，继续」）· 下游 00 起草 task |

package/harness/prompts/10-task-requirements.md

@@ -40,12 +40,14 @@
 - 10-task 草稿 **须预置 R0 + R1–R5** 五槽 + **思考轮控制** 表（见 `wizard/templates/TASK_TEMPLATE_upstream_pr_v1.md`）。
 - **可提前停 / 可增 R6+**；须填 reason · residual_risks（无则 `none`）。
 - **20-task-audit 审思考是否充分**；不通过 → **退回 10-task** 补轮后再审 R+1。
+- **v2.6+ 机械检查结构**（条件触发）：`task lint` 在存在 `### R0` 或思考轮标题时查 E8–E10（槽位/控制表/`early_stop` 逻辑）；无节仅 W4（SPEC 承载 / bugfix 合法）；不查内容质量。
 
 ## 修订记录
 
 | 日期 | 摘要 |
 |------|------|
 | 2026-07-24 | V2 拆分收编：自 `10-requirements.md` 改名为 `10-task-requirements.md`（来源：工作区 `10-task-requirements.md` · 2026-06-12 v2） |
+| 2026-07-24 | G4：思考轮摘要节补 v2.6+ `task lint` 条件触发结构检查 |
 
 ## 给 Cursor
 

package/harness/prompts/FRAGMENT_30_gate_verify_v1_zh.md

@@ -14,7 +14,7 @@
 | HG-AUDIT-R1 | {读表} | {若有} | {Y/N} | Y | … |
 | HG-GRAPH-MODULES | {01_struct或—} | — | — | … | … |
 
-reviews：task_*_audit_R1_*.md 存在且 R1 通过？ {是/否}
+reviews：task_*_audit_R1_*.md 存在且 R1 通过？ {是/否}（**v2.5+**：`verify` 对 R<n> 审查文**存在性**机械强制 · 缺失即 `VERIFY: BLOCKED · missing R<n> review`；结论通过与否仍由维护者签 `HG-AUDIT-R1` 覆盖）
 
 冲突规则：task表 pending 且用户/invoke 称 approved → **STOP** · 以 task 表为准
 

package/lib/cli.js

@@ -407,7 +407,8 @@ async function cmdVerify(args) {
   const graph = rest.includes('--graph');
   const json = rest.includes('--json');
   const agentHint = rest.includes('--agent-hint');
-  rest = rest.filter((a) => a !== '--graph' && a !== '--json' && a !== '--agent-hint');
+  const allowNoReview = rest.includes('--allow-no-review');
+  rest = rest.filter((a) => a !== '--graph' && a !== '--json' && a !== '--agent-hint' && a !== '--allow-no-review');
 
   if (rest.length > 0) {
     const err = new Error(`verify 未知参数: ${rest.join(' ')}`);
@@ -416,7 +417,7 @@ async function cmdVerify(args) {
   }
 
   const target = resolveTarget(process.cwd(), targetArg);
-  const result = verifyTarget(target, { taskFile, graph });
+  const result = verifyTarget(target, { taskFile, graph, allowNoReview });
 
   // forward gate-check/audit/graph stdout if any（--json 时仍透传机械闸表）
   if (result.stdout && !json) {
@@ -429,6 +430,7 @@ async function cmdVerify(args) {
   const handoff = buildVerifyHandoff(target, {
     taskFile,
     workspaceRoot: workspaceRoot ? path.resolve(workspaceRoot) : undefined,
+    allowNoReview,
   });
 
   if (json) {
@@ -536,7 +538,8 @@ async function cmdTaskClose(args) {
 
   const yes = args.includes('--yes');
   const allowUnchecked = args.includes('--allow-unchecked');
-  let rest = args.filter((a) => a !== '--yes' && a !== '--allow-unchecked');
+  const allowNoReview = args.includes('--allow-no-review');
+  let rest = args.filter((a) => a !== '--yes' && a !== '--allow-unchecked' && a !== '--allow-no-review');
   const { value: fileArg, rest: r1 } = takeOption(rest, '--file');
   rest = r1;
   const { value: targetArg, rest: r2 } = takeOption(rest, '--target');
@@ -557,6 +560,7 @@ async function cmdTaskClose(args) {
     yes,
     target: targetArg,
     allowUnchecked,
+    allowNoReview,
     cwd: process.cwd(),
   });
 
@@ -626,10 +630,12 @@ async function cmdTaskLint(args) {
   if (args.includes('--help') || args.includes('-h')) {
     console.log(`用法: npx @cyning/harness task lint --file PATH [--json]
 
-task md 结构闸（G1）+ 文本规则包（G3）· 纯只读：
+task md 结构闸（G1）+ 文本规则包（G3）+ 思考轮结构（G4）· 纯只读：
   E 级（exit 2）：E1 元信息/task_slug · E2 状态行 · E3 验收标准含勾选项
     E4 失败路径节 · E5 自检结论节 · E6 绝对本机路径 · E7 slug 一致
+    E8–E10（条件触发：有 ### R0 或思考轮标题）：槽位齐全 · 控制表字段 · early_stop 逻辑
   W 级（仅 warn）：W1 状态 token 词表外 · W2 缺人工闸节 · W3 自检结论占位
+    W4 无思考轮节（形态 B/C 豁免提示）· W5 R6+ 缺 round_extension_note
   末行协议：LINT: PASS · <file> / LINT: FAIL · <file>
   --json：{ok, errors[], warnings[], file, slug}（errors 元素 {rule, message, line?}）
 `);

package/lib/task-close.js

@@ -7,6 +7,7 @@ import {
   UNCHECKED_RE,
   extractSection,
   extractTaskSlug,
+  findReview,
   normalizeSlug,
   parseHarnessMeta,
 } from './task-meta.js';
@@ -21,6 +22,7 @@ export function closeTaskFile(filePath, options = {}) {
     yes = false,
     target: targetArg,
     allowUnchecked = false,
+    allowNoReview = false,
     cwd = process.cwd(),
   } = options;
 
@@ -121,6 +123,20 @@ export function closeTaskFile(filePath, options = {}) {
     blockers.push(`状态非 done/completed（当前: ${status}）`);
   }
 
+  // 检查 6 · R<n> 审查文留档（G2 · v2.5+）
+  if (repoRoot) {
+    const review = findReview(repoRoot, abs);
+    if (!review.found) {
+      if (allowNoReview) {
+        warnings.push('warn: missing R<n> review（--allow-no-review 豁免 · 留痕）');
+      } else {
+        blockers.push(
+          'missing R<n> review（docs/harness/reviews/ 无该 task 的 _audit_R 文件 · 或 --allow-no-review）',
+        );
+      }
+    }
+  }
+
   // 归档目标
   let dest = null;
   if (targetArg) {

package/lib/task-lint.js

@@ -17,6 +17,14 @@ import {
  */
 const ABS_PATH_RE = /(\/(?:Users|home|root)\/[^\s/`\\]|[A-Za-z]:\\Users\\[^\s`\\])/;
 const FAILURE_HEADING_RE = /^#{2,4}\s.*(失败路径|failure_paths)/i;
+/** G4 触发：行首 ### R0（可带后缀） */
+const R0_HEADING_RE = /^###\s+R0(\b|[^\d]|$)/m;
+/** G4 触发（叠加）：行首 ##/### 标题含「思考轮」 */
+const THINK_HEADING_RE = /^#{2,3}\s+.*思考轮/m;
+/** 槽位标题：### Rn（前缀宽容） */
+const RN_HEADING_RE = /^###\s+R(\d+)\b/gm;
+/** 控制表字段行：| `field` | / | **field** | / | field | */
+const CTRL_FIELD_RE = /^\|\s*`?\*{0,2}([a-z_]+)\*{0,2}`?\s*\|\s*(.*?)\s*\|/i;
 
 function err(rule, message, line) {
   return line ? { rule, message, line } : { rule, message };
@@ -25,8 +33,79 @@ function warn(rule, message, line) {
   return line ? { rule, message, line } : { rule, message };
 }
 
+function parseControlFields(lines) {
+  const fields = {};
+  for (const l of lines) {
+    const m = l.match(CTRL_FIELD_RE);
+    if (!m) continue;
+    const key = m[1].toLowerCase();
+    let val = m[2].trim();
+    if (val.startsWith('`') && val.endsWith('`')) val = val.slice(1, -1).trim();
+    fields[key] = val;
+  }
+  return fields;
+}
+
+function isEmptyCtrlValue(val) {
+  if (val == null) return true;
+  const v = String(val).trim();
+  return v === '' || v === '—' || v === '-' || v === '–';
+}
+
+/**
+ * G4 · 思考轮结构规则组（条件触发）。
+ * 触发优先：存在 ### R0；叠加：行首 ##/### 含「思考轮」。
+ * 正文提及「思考轮」不触发。
+ */
+function lintThinkingRounds(content, lines, errors, warnings) {
+  const hasR0 = R0_HEADING_RE.test(content);
+  const hasThinkHeading = THINK_HEADING_RE.test(content);
+  const triggered = hasR0 || hasThinkHeading;
+
+  if (!triggered) {
+    warnings.push(
+      warn('W4', '无思考轮节（SPEC 承载 / bugfix 轨合法豁免 · 有节则查 R0–R5 与控制表）'),
+    );
+    return;
+  }
+
+  // E8 · R0–R5 槽位齐全
+  const found = new Set();
+  const rnRe = new RegExp(RN_HEADING_RE.source, 'gm');
+  let m;
+  while ((m = rnRe.exec(content)) !== null) {
+    found.add(Number(m[1]));
+  }
+  const missing = [];
+  for (let i = 0; i <= 5; i += 1) {
+    if (!found.has(i)) missing.push(`R${i}`);
+  }
+  if (missing.length) {
+    errors.push(err('E8', `思考轮槽位不全，缺：${missing.join(', ')}`));
+  }
+
+  // E9 / E10 · 控制表字段
+  const fields = parseControlFields(lines);
+  const required = ['actual_last_round', 'early_stop', 'residual_risks'];
+  const missFields = required.filter((k) => !(k in fields));
+  if (missFields.length) {
+    errors.push(err('E9', `思考轮控制表缺字段：${missFields.join(', ')}`));
+  }
+
+  const early = (fields.early_stop || '').toLowerCase();
+  if (early === 'yes' && isEmptyCtrlValue(fields.early_stop_reason)) {
+    errors.push(err('E10', 'early_stop=yes 时 early_stop_reason 须非空'));
+  }
+
+  // W5 · R6+ 须有 round_extension_note
+  const hasR6Plus = [...found].some((n) => n >= 6);
+  if (hasR6Plus && isEmptyCtrlValue(fields.round_extension_note)) {
+    warnings.push(warn('W5', '存在 ### R6+ 但 round_extension_note 缺失或为空'));
+  }
+}
+
 /**
- * task lint · task md 结构闸（G1）+ 文本规则包（G3）。
+ * task lint · task md 结构闸（G1）+ 文本规则包（G3）+ 思考轮结构（G4）。
  * 纯只读；E 级 → ok:false（CLI exit 2），W 级仅提醒。
  */
 export function lintTaskFile(filePath, options = {}) {
@@ -114,6 +193,9 @@ export function lintTaskFile(filePath, options = {}) {
     warnings.push(warn('W2', '缺 ### 人工闸 节（轻量 task 可忽略本提醒）'));
   }
 
+  // G4 · 思考轮结构（条件触发）
+  lintThinkingRounds(content, lines, errors, warnings);
+
   return {
     ok: errors.length === 0,
     errors,

package/lib/task-meta.js

@@ -119,29 +119,42 @@ export function resolveInvokePath(rawPath, { target, workspaceRoot } = {}) {
 }
 
 /**
- * 查找最新 R1 审查文（相对 target）。
+ * 查找 task 的 R<n> 审查文（verify/close 共用）。
+ * 匹配规则（G2 · R1-B1）：task basename 与审查文文件名均剥离 `_v\d+$` 后前缀比较；
+ * 文件名须含 `_audit_R<n>_` 段。返回 {found, latest, rounds}。
  */
-export function findReviewPath(target, taskFile) {
+export function findReview(target, taskFile) {
   const reviewsDir = path.join(target, 'docs/harness/reviews');
-  if (!fs.existsSync(reviewsDir)) return null;
-
-  const taskBase = path.basename(taskFile, '.md');
-  const prefix = `${taskBase}_audit_R1_`;
+  const empty = { found: false, latest: null, rounds: [] };
+  if (!fs.existsSync(reviewsDir)) return empty;
 
-  let best = null;
-  let bestMtime = 0;
+  const stripVer = (s) => s.replace(/_v\d+$/, '');
+  const base = stripVer(path.basename(taskFile, '.md'));
+  const REVIEW_RE = /^(task_.+?)_audit_R(\d+)_.*\.md$/;
 
+  const matches = [];
   for (const name of fs.readdirSync(reviewsDir)) {
-    if (!name.startsWith(prefix) || !name.endsWith('.md')) continue;
-    const full = path.join(reviewsDir, name);
-    const mtime = fs.statSync(full).mtimeMs;
-    if (mtime > bestMtime) {
-      bestMtime = mtime;
-      best = path.relative(target, full).replace(/\\/g, '/');
-    }
+    const m = name.match(REVIEW_RE);
+    if (!m) continue;
+    if (stripVer(m[1]) !== base) continue;
+    matches.push({ name, round: parseInt(m[2], 10), mtime: fs.statSync(path.join(reviewsDir, name)).mtimeMs });
   }
+  if (matches.length === 0) return empty;
+
+  matches.sort((a, b) => b.round - a.round || b.mtime - a.mtime);
+  const latest = matches[0];
+  return {
+    found: true,
+    latest: path.join('docs/harness/reviews', latest.name).replace(/\\/g, '/'),
+    rounds: [...new Set(matches.map((x) => x.round))].sort((a, b) => a - b),
+  };
+}
 
-  return best;
+/**
+ * 查找最新 R1+ 审查文（相对 target）· 兼容旧签名：返回路径或 null。
+ */
+export function findReviewPath(target, taskFile) {
+  return findReview(target, taskFile).latest;
 }
 
 /**
@@ -166,7 +179,7 @@ export function buildTaskHandoff(target, taskFile, options = {}) {
   const entry20 = resolveInvokePath(entry20Raw, { target, workspaceRoot });
   warnings.push(...entry30.warnings, ...entry20.warnings);
 
-  const reviewPath = findReviewPath(target, taskFile);
+  const review = findReview(target, taskFile);
 
   return {
     task: path.basename(taskFile),
@@ -174,7 +187,10 @@ export function buildTaskHandoff(target, taskFile, options = {}) {
     task_slug: meta.task_slug ?? null,
     may_start_30: gateEval.may_start_30,
     blocked_reason: gateEval.blocked_reason,
-    review_path: reviewPath,
+    review_path: review.latest,
+    review_found: review.found,
+    review_latest: review.latest,
+    review_rounds: review.rounds,
     entry_invoke_20: entry20Raw,
     entry_invoke_20_resolved: entry20.resolved,
     entry_invoke_30: entry30Raw,

package/lib/verify.js

@@ -3,13 +3,13 @@ import fs from 'node:fs';
 import path from 'node:path';
 import { resolveHarnessRootForTarget, wizardScript } from './paths.js';
 import { auditTarget } from './audit.js';
-import { buildTaskHandoff, listActiveTasks } from './task-meta.js';
+import { buildTaskHandoff, findReview, listActiveTasks } from './task-meta.js';
 
 /**
- * 30 前聚合验证：gate-check + audit D5（仅 --task）+ S5 git-clean warn + 可选 --graph
+ * 30 前聚合验证：gate-check + audit D5（仅 --task）+ reviews 留档闸（仅 --task）+ S5 git-clean warn + 可选 --graph
  */
 export function verifyTarget(target, options = {}) {
-  const { taskFile, graph } = options;
+  const { taskFile, graph, allowNoReview = false } = options;
   const harnessRoot = resolveHarnessRootForTarget(target);
 
   // 1. gate-check（含 --graph）
@@ -34,9 +34,24 @@ export function verifyTarget(target, options = {}) {
         stdout: gateResult.stdout,
       };
     }
+
+    // 3. reviews 留档闸（G2 · v2.5+）：R<n> 审查文存在性（存在性=机器 · 结论=人签）
+    const review = findReview(target, taskFile);
+    if (!review.found) {
+      if (allowNoReview) {
+        gateResult.stdout += `WARN: missing R<n> review（--allow-no-review 豁免 · 留痕）\n`;
+      } else {
+        return {
+          ok: false,
+          exitCode: 2,
+          reason: 'missing R<n> review（docs/harness/reviews/ 无该 task 的 _audit_R 文件 · 20 补审或 --allow-no-review）',
+          stdout: gateResult.stdout,
+        };
+      }
+    }
   }
 
-  // 3. S5 git-clean：warn 不挡
+  // 4. S5 git-clean：warn 不挡
   const gitResult = runGitCleanCheck(target);
   if (gitResult.dirty) {
     // 把 warn 拼到 stdout 里让 CLI 透传
@@ -156,15 +171,20 @@ function runGitCleanCheck(target) {
  * 构建 verify --json / --agent-hint 的 Agent handoff 载荷。
  */
 export function buildVerifyHandoff(target, options = {}) {
-  const { taskFile, workspaceRoot } = options;
+  const { taskFile, workspaceRoot, allowNoReview = false } = options;
   const handoffOpts = { workspaceRoot };
 
   if (taskFile) {
     const handoff = buildTaskHandoff(target, taskFile, handoffOpts);
+    const reviewOk = handoff.review_found || allowNoReview;
+    const verifyOk = handoff.may_start_30 && reviewOk;
     return {
       schema_version: '1',
-      verify_ok: handoff.may_start_30,
+      verify_ok: verifyOk,
       ...handoff,
+      may_start_30: verifyOk,
+      blocked_reason: handoff.blocked_reason ?? (reviewOk ? null : 'missing R<n> review'),
+      next_hat: verifyOk ? '30' : null,
     };
   }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cyning/harness",
-  "version": "2.4.0",
+  "version": "2.6.0",
   "description": "cyning-harness discipline package · init / upgrade / check CLI",
   "license": "MIT",
   "type": "module",