@cyning/harness 2.6.0 → 2.7.0

package/CHANGELOG.md

@@ -4,6 +4,20 @@
 
 ## [Unreleased]
 
+## [2.7.0] - 2026-07-24
+
+### Added
+
+- **`harness/lifecycle.yaml`（方向二 · 文档先行）**：登记 task 状态 / 转移 / 守卫（`to_30` · `close`）；`task_lint` severity=`warn`。Schema：`schema/lifecycle.v1.schema.json`。
+- **`harness lifecycle show [--json]`**：只读渲染包内 yaml（**不做**转移引擎、不写盘）。
+- **`verify --task` ↔ task lint（N2）**：E 级仅 `WARN: task lint FAIL`（不改 exit / 不改 `may_start_30`）；`--allow-lint-fail` 抑制 WARN；handoff JSON 增加 `lint: { ok, errors, warnings, suppressed? }`；无 `--task` 全量模式不跑 lint。
+
+### Notes
+
+- 背景：Post-G4 方案 N1+N2 · rethink 方向二骨架；dogfood active lint FAIL 率高故本波不做 block。
+- SPEC：`docs/spec/SPEC-lifecycle-and-verify-lint_v1.md`
+- minor · `npm test` 含 lifecycle + verify-lint-warn
+
 ## [2.6.0] - 2026-07-24
 
 ### Added
@@ -21,7 +35,7 @@
 
 - 背景：机械化率审计 G4（rethink 矩阵 P1 · 第三波）；与 G1 同命令、分开交付。
 - minor · 无 verify 行为变更 · `npm test` 含既有回归全绿
-- **待发布**：`@cyning/harness@2.6.0`（维护者 CLOSE 后 npm publish + tag）
+- **已发布**：`@cyning/harness@2.6.0`（npm `latest` · 2026-07-24）· tag `v2.6.0` 已推送
 
 ## [2.5.0] - 2026-07-24
 

package/docs/ONBOARDING.md

@@ -45,10 +45,16 @@ cd your-project
 `npx @cyning/harness verify` 在 30 执行前聚合扫描人工闸与测试声明，确保 ICVO 公理可机械检查：
 
 ```bash
-# 30 前聚合验证（gate-check + audit D5 + S5 warn + 可选 --graph）
+# 30 前聚合验证（gate-check + audit D5 + reviews + S5 warn + 可选 --graph）
 npx @cyning/harness verify --target /path/to/your-repo
 npx @cyning/harness verify --target /path/to/your-repo \
   --task docs/tasks/active/task_xxx.md
+# --task 另跑 task lint（v2.7+ · E 级仅 WARN，不挡 may_start_30）
+# 抑制 lint WARN：加 --allow-lint-fail
+
+# 只读生命周期登记（方向二 · 非引擎）
+npx @cyning/harness lifecycle show
+npx @cyning/harness lifecycle show --json
 
 # 仅人工闸
 npx @cyning/harness gate-check --target /path/to/your-repo
@@ -67,6 +73,9 @@ npx @cyning/harness sync index --target /path/to/your-repo
 | **D3** | 30 前置人闸 | 复用 `gate-check.sh`，HG-AUDIT-R1 非 approved 时 verify 非 0 |
 | **D5** | 改码任务测试声明 | `test_strategy=required` 但无测试/CI 引用时 verify 非 0 |
 | **S5** | Git 工作区干净 | dirty 时 warn（不直接 fail verify，但 apply 须 `--force`） |
+| **lint** | task 结构（仅 `--task`） | v2.7+ E 级 → `WARN: task lint`（不改 exit / `may_start_30`） |
+
+生命周期真值：[`harness/lifecycle.yaml`](../harness/lifecycle.yaml)（`lifecycle show` 只读）。
 
 Audit **不替代** 维护者最终判断；Agent 首输出仍须人工复核。
 

package/docs/USER_GUIDE_v1.0_zh.md

@@ -111,8 +111,9 @@ npx @cyning/harness@1.0.1 init --preset harness-only --ide cursor,agents --yes
 **原则**：Agent 可以写 task 和 review，**人工闸只有维护者能签**。
 
 ```bash
-# 30 前聚合验证（gate-check + audit D5 + S5 warn + 可选 --graph）
+# 30 前聚合验证（gate-check + audit D5 + reviews + task lint WARN + S5 · 可选 --graph）
 npx @cyning/harness verify --target . --task docs/tasks/active/task_xxx.md
+# lint FAIL 仅 WARN（v2.7+ · 不挡 30）；抑制：--allow-lint-fail
 
 # Agent handoff（v2.0.2+）：JSON 路由 + 下一帽提示
 npx @cyning/harness verify --target . \
@@ -120,6 +121,9 @@ npx @cyning/harness verify --target . \
   [--json] [--agent-hint] \
   [--workspace-root /path/to/Projects]
 
+# 只读生命周期登记（方向二 · harness/lifecycle.yaml · 非引擎）
+npx @cyning/harness lifecycle show [--json]
+
 # 仅人工闸
 npx @cyning/harness gate-check --target . --task docs/tasks/active/task_xxx.md
 npx @cyning/harness gate-check --graph --target .    # Inform 图谱闸
@@ -136,6 +140,7 @@ npx @cyning/harness gate-check --graph --target .    # Inform 图谱闸
 | `HG-TASK-DRAFT` | task 初稿维护者签 | pending 且 blocks 含 30 → 拒 30 |
 | `HG-GRAPH-MODULES` | 架构模块表人签 | pending → 拒改码 30 |
 | `HG-RELEASE` | 发版闸（产品仓） | 一般业务仓不涉及 |
+| `task_lint`（v2.7+） | `verify --task` 结构检查 | **仅 WARN** · 不改 `may_start_30` |
 
 ### 5.1 Agent handoff（v2.0.2+）
 
@@ -150,6 +155,7 @@ npx @cyning/harness gate-check --graph --target .    # Inform 图谱闸
 | `entry_invoke_30_resolved` | 绝对路径（`Projects/` 前缀须 `--workspace-root`） |
 | `next_hat` | `"30"` 或 `null` |
 | `agent_preamble` | 短句提醒首输出 GATE_VERIFY |
+| `lint`（v2.7+ · 仅 `--task`） | `{ ok, errors, warnings, suppressed? }` · 不参与 `may_start_30` |
 
 Schema：[`schema/verify_result.v1.schema.json`](../schema/verify_result.v1.schema.json)
 
@@ -166,7 +172,8 @@ Schema：[`schema/verify_result.v1.schema.json`](../schema/verify_result.v1.sche
 | `npx @cyning/harness init` | 首次安装模板与 manifest（可选 `--with-scripts`） |
 | `npx @cyning/harness upgrade` | 同步产品包更新（可加 `--gate-check` 先 audit） |
 | `npx @cyning/harness check` | 检查是否有新版本 |
-| `npx @cyning/harness verify` | 30 前聚合：gate-check + audit D5 + S5 warn + 可选 `--graph` · v2.0.2+ `--json` / `--agent-hint` / `--workspace-root` |
+| `npx @cyning/harness verify` | 30 前聚合：gate-check + audit D5 + reviews +（`--task`）lint WARN + S5 · 可选 `--graph` / `--json` / `--allow-lint-fail` |
+| `npx @cyning/harness lifecycle show` | 只读展示 `harness/lifecycle.yaml`（状态/转移/守卫 · v2.7+ · 非引擎） |
 | `npx @cyning/harness gate-check` | 仅人工闸（`--graph` / `--json`） |
 | `npx @cyning/harness audit` | ICVO 机械审计（D3/D5/S5） |
 | `npx @cyning/harness sync index` | 生成 `.cyning-harness/invoke_index.json` |

package/docs/rethink/2026-07-mechanization-rate/01_big_directions.md

@@ -28,6 +28,7 @@ v2.2 的故事（invoke 留档连续 4 任务失守 → `task close` 补闸）
 
 CLI 今天是一袋动词，背后实际是**一个** task 生命周期：`draft → R1 → approved → 30 → 40 → done → archived`。`verify` 是 30 转移的前置检查，`close` 是 done→archived 转移——状态机是隐式的。
 显式化后（如 `lifecycle.yaml`：状态/转移/前置条件），方向一产出的每个新闸都有**天然挂点**；「这个 task 现在能做什么」一条命令可答（`verify --json` 的 handoff 是胚胎）。
+**落地（v2.7.0 · 文档先行）**：产品包真值 [`harness/lifecycle.yaml`](../../../harness/lifecycle.yaml) + `npx @cyning/harness lifecycle show [--json]`（只读 · **不做**转移引擎）；`verify --task` 已挂 `task_lint`（severity=warn）。
 **原则**：闸只挡实质、宽容形式（slug 事件教训：现实有两种命名惯例，闸太死就误伤）。
 
 ### 方向三 · Agent 一等公民接口（分发放大器）

package/docs/spec/SPEC-lifecycle-and-verify-lint_v1.md

@@ -0,0 +1,174 @@
+# SPEC：lifecycle.yaml 最小版 + verify↔lint 挂点（N1+N2）（v1）
+
+> **状态**：`signed`（维护者签收 2026-07-24 · 对话「签收」）  
+> **track**：`epic`  
+> **关联图谱**：无（纯 Harness 工具链 / 过程轨）  
+> **上游**：工作区 [`PLAN_post_g4_next_mechanization_v1_zh.md`](../../../docs/harness/guides/PLAN_post_g4_next_mechanization_v1_zh.md) · rethink [`01_big_directions`](../rethink/2026-07-mechanization-rate/01_big_directions.md) 方向二  
+> **前置**：G1–G4 文档闸 ✅ · `@cyning/harness@2.6.0`  
+> **下游**：00 已起草 task → 20-task-audit → HG-AUDIT-R1 → 30
+
+---
+
+## Harness 元信息
+
+| 字段 | 值 |
+|------|-----|
+| **spec_slug** | `lifecycle-and-verify-lint` |
+| **test_strategy** | `required` |
+| **test_strategy_note** | N1：schema 校验夹具 + fixture yaml；N2：verify 三态（无 lint 错 / warn / 豁免）+ 既有 verify 回归 |
+| **entry_invoke_10_spec** | `Projects/docs/harness/invokes/by-task/cyning-harness-lifecycle-and-verify-lint/invoke_20260724_10_spec_lifecycle_and_verify_lint.md` |
+| **entry_invoke_00_draft** | 工作区 `docs/harness/prompts/PROMPT_00_draft_spec_or_task_v1_zh.md` |
+
+---
+
+## 1. 背景与目标
+
+G1–G4 把「文档存在性/结构」闸补齐后，CLI 仍是一袋动词：新闸的挂点靠临场设计（verify？close？独立命令？）。rethink 方向二主张用 **`lifecycle.yaml`** 显式登记状态/转移/守卫，让补闸变便宜。
+
+同时 G1 遗留决策未闭合：`task lint` 是否接入 `verify`。2026-07-24 dogfood：**active 16 · PASS 1 · FAIL 15**——全量 block 会立即误伤工作区。
+
+**本 Epic 双目标**：
+
+1. **N1**：产品仓落地 `lifecycle.yaml` 最小真值（文档 + schema；可选只读 CLI），**不**实现状态机引擎。  
+2. **N2**：在 lifecycle 上裁定并实现 **verify↔lint** 挂点语义——本波 **warn-only**（见 R2），为将来升 block 留泄压阀与登记位。
+
+---
+
+## 2. 范围
+
+### N1 · lifecycle.yaml 最小版
+
+- **D1 · 真值文件**：`harness/lifecycle.yaml`（随包分发）描述：
+  - `states[]`：至少覆盖 `draft` · `in_progress` · `done` · `archived`（与 task 状态词表 / close 对齐；允许注释映射 `pending` 等别名）
+  - `transitions[]`：至少 `→30`（开工）与 `done→archived`（close）；每条含 `id` · `from` · `to` · `guards[]`
+  - `guards[]` 元素：`{ id, command_or_check, severity: block|warn, allow_flag? }`
+  - 本波须把 **既有** 守卫登记进去：`HG-AUDIT-R1` / reviews 留档 / audit D5 / `task close` 五～六检（描述级 · 不要求引擎执行）
+- **D2 · Schema**：`schema/lifecycle.v1.schema.json`（或等价 YAML schema）+ 非法 fixture 校验测试
+- **D3 · 只读 CLI（最小）**：`harness lifecycle show [--json]` —— 读包内 yaml · 打印状态/转移/守卫表；**不做**转移执行、不做持久化状态
+- **D4 · 文档**：USER_GUIDE 或 ONBOARDING 一小节 + CHANGELOG；rethink 01 方向二链到本文件
+
+### N2 · verify 接入 task lint（本波语义）
+
+- **D5 · 裁定落地（R2）**：**severity = warn**（非 block）
+  - `verify --task`：在 gate-check + audit + reviews 之后调用 `lintTaskFile`；有 E 级 → `WARN: task lint FAIL · …` 拼入 stdout，**不**改 exit / **不**改 `may_start_30`
+  - `--json` handoff 增字段：`lint_ok` · `lint_errors[]`（或 `lint: { ok, errors, warnings }`）
+  - 豁免：`--allow-lint-fail`（即使未来升 block 也复用此旗；本波 warn 模式下作用为「抑制 WARN 行」或留痕 `lint_suppressed`）
+- **D6 · lifecycle 登记**：`to_30` 守卫含 `task_lint` · `severity: warn` · `allow_flag: --allow-lint-fail`；注释写明升 `block` 的前置条件（见 §非范围 / residual）
+- **D7 · 测试**：verify fixture 三态（lint pass 无 warn / lint fail 有 warn 且 exit 0 / `--allow-lint-fail`）；既有 verify 用例不回归
+- **D8 · 版本**：**v2.7.0**（N1 文档+只读 CLI + N2 warn 行为；无硬 block）
+
+---
+
+## 3. 非范围
+
+- **状态机引擎**（按转移执行、写回 status、事件溯源）—— 方向二下一波  
+- **N2 选项 C（verify block lint）**—— 本波不做；待 active lint FAIL 率下降或另立「仅新流转」策略后再开  
+- `harness run` / G7 执行证据  
+- G6 git 行为层 · HGM G2 查询  
+- SPEC 审查文闸（N3）· verify 无 `--task` 全量模式纳入 reviews  
+- 强制修复工作区存量 15 个 FAIL task（可另开 hygiene task）  
+- 改变既有 E1–E10 规则集语义
+
+---
+
+## 4. 验收标准
+
+### N1
+
+- [ ] `harness/lifecycle.yaml` 可被 schema 校验通过；含 `to_30` 与 `close` 两条主转移及既有守卫登记
+- [ ] 非法 yaml（缺 states / 非法 severity）→ schema 或 `lifecycle show` 可失败可定位
+- [ ] `harness lifecycle show` 退出 0 · 人读表含状态与守卫；`--json` 输出稳定字段
+- [ ] 文档章节可从 README/ONBOARDING/USER_GUIDE 链到
+
+### N2
+
+- [ ] `verify --task` 对 lint FAIL 的 task：exit **0**（在其余闸通过时）且 stdout 含 `WARN: task lint`
+- [ ] lint PASS：无该 WARN
+- [ ] `--json` 含 lint 结果字段；`may_start_30` **不**因 lint FAIL 变 false（本波）
+- [ ] `--allow-lint-fail` 可抑制 WARN（或显式 `lint_suppressed: true`）
+- [ ] `npm test` 全绿（含既有 verify 回归）
+
+### 发布
+
+- [ ] CHANGELOG v2.7.0；PLAN / rethink 回链本 SPEC
+
+---
+
+## 5. failure_paths
+
+| 触发条件 | 系统行为 | 可重试 |
+|----------|----------|--------|
+| lifecycle.yaml 损坏 / 不符 schema | `lifecycle show` exit ≠0 · 信息可定位 | 修 yaml |
+| verify 时 task 文件不可读 | 既有 verify 行为不变 | 修正路径 |
+| lint FAIL（本波） | WARN · exit 仍由其余闸决定 | 修 task 或 `--allow-lint-fail` |
+| 业务仓未升级 2.7.0 | 无 lifecycle 子命令 · verify 无 lint WARN | upgrade |
+| 误以为 lint FAIL 会挡 30 | 文档 + lifecycle 表 severity=warn 明示 | — |
+
+---
+
+## 6. 依赖与引用
+
+- rethink 01 方向二；PLAN_post_g4 N1/N2  
+- `lib/task-lint.js` · `lib/verify.js` · `lib/task-meta.js`（handoff）  
+- G1 SPEC：刻意不接入 verify 的历史裁定 → 本 SPEC **修订**为 warn 挂点（非沉默独立）  
+- dogfood 证据：2026-07-24 active `PASS=1 FAIL=15`
+
+---
+
+## 7. 思考轮（10-spec 回填 · R0–R5）
+
+### R0 · 读入与约束
+
+读入：PLAN_post_g4（点菜 N1+N2）· rethink 01 方向二原文 · G1/G4 SPEC 非范围（verify 不接入）· verify.js 当前插点顺序（gate → audit D5 → reviews → S5 warn）· dogfood active 15/16 lint FAIL。约束：本波 **不**做引擎；闸三问（挂点/误报/泄压）必须过；不误伤存量。
+
+### R1 · 范围 / 非范围 / 场景
+
+**场景**：① 维护者/Agent 查「to_30 有哪些守卫」→ lifecycle show；② 30 前 verify 看到结构问题但不被存量堵死 → lint WARN；③ 未来升 block 时有登记位与 `--allow-lint-fail`。  
+**同 Epic 理由**：N2 的挂点必须写进 N1 的转移表，拆开会再临场一次。  
+**非范围**：引擎、C 硬挡、N3/N4/G6/G7——避免 Epic 膨胀。
+
+### R2 · 方案对比
+
+| 决策点 | 选项 | 裁定 | 理由 |
+|---|---|---|---|
+| N1 形态 | 仅 md 文档 / yaml+schema / yaml+引擎 | **yaml+schema+只读 show** | 真值可校验；引擎无消费者则违反「消费者先行」 |
+| N1 CLI | 无 / show / doctor+建议 | **show** | doctor 暗示修复策略，本波无库存治理承诺 |
+| N2 A 维持独立 | 永不进 verify | **否** | 丢掉机械化挂点；与方向二冲突 |
+| N2 B warn-only | verify 提示不挡 | **是 · 本波** | FAIL 率 15/16，block=治理负担 |
+| N2 C block+allow | 硬挡 + 豁免 | **推迟** | 须 hygiene 或「仅新流转」另 SPEC；本波在 yaml 预留 severity 升级路径 |
+| 版本 | 拆 2.7 docs + 2.8 lint | **同发 2.7.0** | 同 Epic 同挂点叙事；warn 非 breaking |
+
+### R3 · 边界 / 失败语义 / 安全
+
+- **挂点**：lint 检查时刻 = verify `--task`（产物 task md 已存在）✓；全量无 `--task` 模式本波 **不**跑 lint（与 G2 全量策略一致，避免扫库爆炸）。  
+- **误报**：沿用 lint 形式宽容；WARN 须带 rule 列表便于修。  
+- **泄压**：`--allow-lint-fail`；升 block 后同旗变豁免。  
+- **安全**：只读 lint；不改 task 文件；lifecycle show 不写盘。  
+- **兼容**：未升级仓行为不变。
+
+### R4 · 验收 / 可测性 / test_strategy
+
+`test_strategy: required`。N1：schema 正反例 + show JSON 快照字段。N2：verify 夹具三态 + 全量模式「不出现 lint WARN」断言。回归：既有 verify/close/lint 套件。
+
+### R5 · SPEC 签收就绪 · 是否可交 00 出 task
+
+SPEC 自足：双 D 包边界清晰，N2 裁定写死为 warn，C 升级条件在 residual。**可交 00**：建议单 task `cyning-harness-lifecycle-and-verify-lint`（D1–D8 同 PR），或拆 `…-lifecycle` + `…-verify-lint` 两 task 串行（lifecycle 先 merge）。图谱无需 bootstrap。版本 **v2.7.0**。
+
+### 思考轮控制
+
+| 字段 | 值 |
+|------|-----|
+| `actual_last_round` | `R5` |
+| `early_stop` | `no` |
+| `early_stop_reason` | — |
+| `residual_risks` | ① 升 C（block）时机依赖存量 FAIL 率或「新流转」定义未在本 SPEC 冻结；② lifecycle 描述级守卫与代码路径可能漂移——须 30 实现时对照 verify/close 源码回填 yaml；③ `lifecycle show` 若被误解为引擎，需文档醒目标「只读」 |
+| `round_extension_note` | — |
+
+---
+
+## 修订记录
+
+| 日期 | 摘要 |
+|------|------|
+| 2026-07-24 | 10-spec R0–R5（维护者点菜「开 N1+N2」）· 分支清理后同会话落盘 |
+| 2026-07-24 | 维护者签收（对话「签收」）· 下游 00 起草 task |

package/harness/lifecycle.yaml

@@ -0,0 +1,69 @@
+# Task lifecycle · 最小真值（方向二文档先行 · v1）
+#
+# 只读登记：状态 / 转移 / 守卫。不由引擎执行。
+# CLI：npx @cyning/harness lifecycle show [--json]
+# Schema：schema/lifecycle.v1.schema.json
+
+version: "1"
+
+states:
+  - id: draft
+    note: "含 pending / active 等词表别名 · 见 KNOWN_STATUS_TOKENS"
+  - id: in_progress
+  - id: done
+    note: "close 可接受 completed 别名"
+  - id: archived
+    note: "task close 归档后 · 物理上在 done/ 目录"
+
+transitions:
+  - id: to_30
+    from: ["draft", "in_progress"]
+    to: in_progress
+    hat: "30"
+    description: "执行帽开工（verify --task 聚合）"
+    guards:
+      - id: HG-AUDIT-R1
+        command_or_check: "gate-check · human_gate HG-AUDIT-R1=approved"
+        severity: block
+      - id: HG-TASK-DRAFT
+        command_or_check: "gate-check · HG-TASK-DRAFT=approved（blocks 22,30）"
+        severity: block
+      - id: audit_D5
+        command_or_check: "verify/audit · test_strategy vs 测试文件存在"
+        severity: block
+      - id: reviews_retention
+        command_or_check: "verify · findReview R<n> 存在性（v2.5+）"
+        severity: block
+        allow_flag: "--allow-no-review"
+      - id: task_lint
+        command_or_check: "verify --task · lintTaskFile（v2.7+）"
+        severity: warn
+        allow_flag: "--allow-lint-fail"
+        note: "升 block 前置：active lint FAIL 率下降或另立「仅新流转」SPEC（N2-C）"
+
+  - id: close
+    from: ["done"]
+    to: archived
+    hat: "close"
+    description: "task close · active→done 归档"
+    guards:
+      - id: close_invoke
+        command_or_check: "task close 检查1 · invoke 快照存在"
+        severity: block
+      - id: close_self_check
+        command_or_check: "task close 检查2 · 自检结论已回填"
+        severity: block
+      - id: close_acceptance
+        command_or_check: "task close 检查3 · 验收勾选"
+        severity: block
+        allow_flag: "--allow-unchecked"
+      - id: close_slug
+        command_or_check: "task close 检查4 · slug 一致"
+        severity: block
+      - id: close_status
+        command_or_check: "task close 检查5 · 状态 done/completed"
+        severity: block
+      - id: close_review
+        command_or_check: "task close 检查6 · R<n> 审查文（v2.5+）"
+        severity: block
+        allow_flag: "--allow-no-review"

package/lib/cli.js

@@ -42,6 +42,7 @@ function usage(version = 'unknown') {
   npx @cyning/harness audit [--target PATH] [--task FILE]
   npx @cyning/harness gate-check [--target PATH] [--task FILE] [--graph] [--json]
   npx @cyning/harness verify [--target PATH] [--task FILE] [--graph] [--json] [--agent-hint] [--workspace-root PATH]
+  npx @cyning/harness lifecycle show [--json]
   npx @cyning/harness sync index [--target PATH]
   npx @cyning/harness task check --file PATH [--no-circular] [--registry DIR]...
   npx @cyning/harness task close --file PATH [--target PATH] [--yes] [--allow-unchecked]
@@ -61,7 +62,8 @@ function usage(version = 'unknown') {
   check       读 manifest.json · 对比当前包版本是否有可升级版本
   audit       ICVO 机械审计：复用 gate-check · D5 测试声明检查 · S5 git-clean 提醒
   gate-check  调用 wizard/gate-check.sh（业务仓无需 clone 即可用）
-  verify      30 前聚合：gate-check + audit D5 + S5 warn + 可选 --graph
+  verify      30 前聚合：gate-check + audit D5 + reviews + task lint WARN（v2.7+）+ S5 warn + 可选 --graph
+  lifecycle   只读展示 harness/lifecycle.yaml（状态/转移/守卫 · v2.7+）
   sync index  生成 .cyning-harness/invoke_index.json
   task check  校验 task.harness.v1.json sidecar · --no-circular 检测 depends_on 环
   task close  受闸归档：5 项机械校验（invoke/自检结论/勾选/slug/状态）后 mv active→done（v2.2+）
@@ -128,6 +130,10 @@ export async function runCli(argv) {
     await cmdVerify(rest);
     return;
   }
+  if (cmd === 'lifecycle') {
+    await cmdLifecycle(rest);
+    return;
+  }
   if (cmd === 'sync') {
     await cmdSync(rest);
     return;
@@ -386,11 +392,12 @@ async function cmdVerify(args) {
   // D3 · implemented in lib/verify.js
   const { verifyTarget, buildVerifyHandoff, formatAgentHint } = await import('./verify.js');
   if (args.includes('--help') || args.includes('-h')) {
-    console.log(`用法: npx @cyning/harness verify [--target PATH] [--task FILE] [--graph] [--json] [--agent-hint] [--workspace-root PATH]
+    console.log(`用法: npx @cyning/harness verify [--target PATH] [--task FILE] [--graph] [--json] [--agent-hint] [--workspace-root PATH] [--allow-no-review] [--allow-lint-fail]
 
-无 --task 时：扫描 docs/tasks/active/task_*.md 并逐项列出闸表（同 gate-check）。
+无 --task 时：扫描 docs/tasks/active/task_*.md 并逐项列出闸表（同 gate-check）；本波不跑 task lint。
 任一 task 阻塞则 VERIFY: BLOCKED · exit 2；全部可 30 则 VERIFY: PASS。
---json：输出 Agent handoff JSON（may_start_30 · entry_invoke_30 · review_path 等）。
+--task：另跑 task lint；E 级仅 WARN（v2.7+ · 不改 may_start_30）；--allow-lint-fail 抑制 WARN。
+--json：输出 Agent handoff JSON（may_start_30 · entry_invoke_30 · review_path · lint 等）。
 --agent-hint：人类可读 handoff 摘要（可与 --json 同用）。
 --workspace-root：解析 task 中 Projects/ 前缀的 entry_invoke 路径。
 `);
@@ -408,7 +415,15 @@ async function cmdVerify(args) {
   const json = rest.includes('--json');
   const agentHint = rest.includes('--agent-hint');
   const allowNoReview = rest.includes('--allow-no-review');
-  rest = rest.filter((a) => a !== '--graph' && a !== '--json' && a !== '--agent-hint' && a !== '--allow-no-review');
+  const allowLintFail = rest.includes('--allow-lint-fail');
+  rest = rest.filter(
+    (a) =>
+      a !== '--graph' &&
+      a !== '--json' &&
+      a !== '--agent-hint' &&
+      a !== '--allow-no-review' &&
+      a !== '--allow-lint-fail',
+  );
 
   if (rest.length > 0) {
     const err = new Error(`verify 未知参数: ${rest.join(' ')}`);
@@ -417,7 +432,7 @@ async function cmdVerify(args) {
   }
 
   const target = resolveTarget(process.cwd(), targetArg);
-  const result = verifyTarget(target, { taskFile, graph, allowNoReview });
+  const result = verifyTarget(target, { taskFile, graph, allowNoReview, allowLintFail });
 
   // forward gate-check/audit/graph stdout if any（--json 时仍透传机械闸表）
   if (result.stdout && !json) {
@@ -431,6 +446,7 @@ async function cmdVerify(args) {
     taskFile,
     workspaceRoot: workspaceRoot ? path.resolve(workspaceRoot) : undefined,
     allowNoReview,
+    allowLintFail,
   });
 
   if (json) {
@@ -458,6 +474,37 @@ async function cmdVerify(args) {
   }
 }
 
+async function cmdLifecycle(args) {
+  const { loadLifecycle, formatLifecycleShow } = await import('./lifecycle.js');
+  const [sub, ...rest] = args;
+  if (!sub || sub === '--help' || sub === '-h' || args.includes('--help') || args.includes('-h')) {
+    console.log(`用法: npx @cyning/harness lifecycle show [--json]
+
+只读展示产品包 harness/lifecycle.yaml（状态 / 转移 / 守卫登记）。
+不做转移执行、不写盘（方向二文档先行 · v2.7+）。
+`);
+    return;
+  }
+  if (sub !== 'show') {
+    const err = new Error(`lifecycle 子命令未知: ${sub}\n用法: lifecycle show [--json]`);
+    err.exitCode = 1;
+    throw err;
+  }
+  const json = rest.includes('--json');
+  const unknown = rest.filter((a) => a !== '--json');
+  if (unknown.length > 0) {
+    const err = new Error(`lifecycle show 未知参数: ${unknown.join(' ')}`);
+    err.exitCode = 1;
+    throw err;
+  }
+  const { data } = loadLifecycle();
+  if (json) {
+    console.log(JSON.stringify(data, null, 2));
+  } else {
+    console.log(formatLifecycleShow(data));
+  }
+}
+
 async function cmdSync(args) {
   if (args.includes('--help') || args.includes('-h')) {
     console.log(`用法: npx @cyning/harness sync index [--target PATH]`);

package/lib/lifecycle.js

@@ -0,0 +1,121 @@
+import fs from 'node:fs';
+import path from 'node:path';
+import yaml from 'js-yaml';
+import { resolveHarnessRoot } from './paths.js';
+
+const SEVERITIES = new Set(['block', 'warn']);
+
+/**
+ * 轻量结构校验（不引入 Ajv）：对齐 schema/lifecycle.v1.schema.json 必填约束。
+ * @returns {{ ok: boolean, errors: string[] }}
+ */
+export function validateLifecycle(data) {
+  const errors = [];
+  if (!data || typeof data !== 'object') {
+    return { ok: false, errors: ['lifecycle 根须为 object'] };
+  }
+  if (typeof data.version !== 'string' || !data.version.trim()) {
+    errors.push('缺 version（string）');
+  }
+  if (!Array.isArray(data.states) || data.states.length === 0) {
+    errors.push('缺 states[] 或为空');
+  } else {
+    data.states.forEach((s, i) => {
+      if (!s || typeof s.id !== 'string' || !s.id.trim()) {
+        errors.push(`states[${i}] 缺 id`);
+      }
+    });
+  }
+  if (!Array.isArray(data.transitions) || data.transitions.length === 0) {
+    errors.push('缺 transitions[] 或为空');
+  } else {
+    data.transitions.forEach((t, i) => {
+      if (!t || typeof t.id !== 'string' || !t.id.trim()) {
+        errors.push(`transitions[${i}] 缺 id`);
+      }
+      if (!Array.isArray(t?.from) || t.from.length === 0) {
+        errors.push(`transitions[${i}] 缺 from[]`);
+      }
+      if (typeof t?.to !== 'string' || !t.to.trim()) {
+        errors.push(`transitions[${i}] 缺 to`);
+      }
+      if (!Array.isArray(t?.guards)) {
+        errors.push(`transitions[${i}] 缺 guards[]`);
+      } else {
+        t.guards.forEach((g, j) => {
+          if (!g || typeof g.id !== 'string') {
+            errors.push(`transitions[${i}].guards[${j}] 缺 id`);
+          }
+          if (!g || typeof g.command_or_check !== 'string') {
+            errors.push(`transitions[${i}].guards[${j}] 缺 command_or_check`);
+          }
+          if (!g || !SEVERITIES.has(g.severity)) {
+            errors.push(
+              `transitions[${i}].guards[${j}] severity 须为 block|warn（当前: ${g?.severity}）`,
+            );
+          }
+        });
+      }
+    });
+  }
+  return { ok: errors.length === 0, errors };
+}
+
+/**
+ * 加载并校验 lifecycle.yaml。
+ * @param {{ harnessRoot?: string, filePath?: string }} [options]
+ */
+export function loadLifecycle(options = {}) {
+  const harnessRoot = options.harnessRoot ?? resolveHarnessRoot();
+  const filePath =
+    options.filePath ?? path.join(harnessRoot, 'harness', 'lifecycle.yaml');
+
+  if (!fs.existsSync(filePath)) {
+    const e = new Error(`lifecycle.yaml 不存在: ${filePath}`);
+    e.exitCode = 1;
+    throw e;
+  }
+
+  let data;
+  try {
+    data = yaml.load(fs.readFileSync(filePath, 'utf8'));
+  } catch (err) {
+    const e = new Error(`lifecycle.yaml 解析失败: ${err.message}`);
+    e.exitCode = 1;
+    throw e;
+  }
+
+  const v = validateLifecycle(data);
+  if (!v.ok) {
+    const e = new Error(`lifecycle.yaml 校验失败:\n  - ${v.errors.join('\n  - ')}`);
+    e.exitCode = 1;
+    e.validationErrors = v.errors;
+    throw e;
+  }
+
+  return { data, filePath, harnessRoot };
+}
+
+/**
+ * 人读表。
+ */
+export function formatLifecycleShow(data) {
+  const lines = [
+    `lifecycle v${data.version}`,
+    '',
+    '## states',
+    ...data.states.map((s) => `- ${s.id}${s.note ? ` · ${s.note}` : ''}`),
+    '',
+    '## transitions',
+  ];
+  for (const t of data.transitions) {
+    lines.push(`### ${t.id} · ${t.from.join('|')} → ${t.to}${t.hat ? ` · hat=${t.hat}` : ''}`);
+    if (t.description) lines.push(`  ${t.description}`);
+    for (const g of t.guards) {
+      const allow = g.allow_flag ? ` · allow=${g.allow_flag}` : '';
+      lines.push(`  - [${g.severity}] ${g.id}: ${g.command_or_check}${allow}`);
+    }
+    lines.push('');
+  }
+  return lines.join('\n').trimEnd();
+}

package/lib/verify.js

@@ -1,15 +1,16 @@
 import { spawnSync } from 'node:child_process';
-import fs from 'node:fs';
 import path from 'node:path';
 import { resolveHarnessRootForTarget, wizardScript } from './paths.js';
 import { auditTarget } from './audit.js';
 import { buildTaskHandoff, findReview, listActiveTasks } from './task-meta.js';
+import { lintTaskFile } from './task-lint.js';
 
 /**
- * 30 前聚合验证：gate-check + audit D5（仅 --task）+ reviews 留档闸（仅 --task）+ S5 git-clean warn + 可选 --graph
+ * 30 前聚合验证：gate-check + audit D5（仅 --task）+ reviews 留档闸（仅 --task）
+ * + task lint WARN（仅 --task · v2.7+）+ S5 git-clean warn + 可选 --graph
  */
 export function verifyTarget(target, options = {}) {
-  const { taskFile, graph, allowNoReview = false } = options;
+  const { taskFile, graph, allowNoReview = false, allowLintFail = false } = options;
   const harnessRoot = resolveHarnessRootForTarget(target);
 
   // 1. gate-check（含 --graph）
@@ -49,12 +50,22 @@ export function verifyTarget(target, options = {}) {
         };
       }
     }
+
+    // 3b. task lint（N2 · v2.7+）：severity=warn · 不改 exit / may_start_30
+    const lint = runTaskLintForVerify(target, taskFile);
+    if (!lint.ok) {
+      if (allowLintFail) {
+        gateResult.stdout += `WARN: task lint FAIL suppressed（--allow-lint-fail · 留痕）\n`;
+      } else {
+        const rules = lint.errors.map((e) => e.rule).join(',');
+        gateResult.stdout += `WARN: task lint FAIL · ${rules || 'errors'}（不挡 may_start_30 · 修结构或 --allow-lint-fail）\n`;
+      }
+    }
   }
 
   // 4. S5 git-clean：warn 不挡
   const gitResult = runGitCleanCheck(target);
   if (gitResult.dirty) {
-    // 把 warn 拼到 stdout 里让 CLI 透传
     const warn = `WARN: 工作区未 clean（S5）：建议 commit 后再执行 apply\n`;
     gateResult.stdout += warn;
   }
@@ -66,6 +77,39 @@ export function verifyTarget(target, options = {}) {
   };
 }
 
+function runTaskLintForVerify(target, taskFile) {
+  try {
+    return lintTaskFile(taskFile, { cwd: target });
+  } catch (err) {
+    return {
+      ok: false,
+      errors: [{ rule: 'E_IO', message: err.message }],
+      warnings: [],
+    };
+  }
+}
+
+/** 规范化 lint 结果供 handoff */
+export function lintSnapshotForHandoff(target, taskFile, { allowLintFail = false } = {}) {
+  if (!taskFile) return null;
+  let result;
+  try {
+    result = lintTaskFile(taskFile, { cwd: target });
+  } catch (err) {
+    result = {
+      ok: false,
+      errors: [{ rule: 'E_IO', message: err.message }],
+      warnings: [],
+    };
+  }
+  return {
+    ok: result.ok,
+    errors: result.errors ?? [],
+    warnings: result.warnings ?? [],
+    suppressed: Boolean(allowLintFail && !result.ok),
+  };
+}
+
 function runGateCheck(target, taskFile, graph, harnessRoot) {
   const script = wizardScript(harnessRoot, 'gate-check.sh');
   const args = [script, '--target', target];
@@ -171,13 +215,14 @@ function runGitCleanCheck(target) {
  * 构建 verify --json / --agent-hint 的 Agent handoff 载荷。
  */
 export function buildVerifyHandoff(target, options = {}) {
-  const { taskFile, workspaceRoot, allowNoReview = false } = options;
+  const { taskFile, workspaceRoot, allowNoReview = false, allowLintFail = 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;
+    const lint = lintSnapshotForHandoff(target, taskFile, { allowLintFail });
     return {
       schema_version: '1',
       verify_ok: verifyOk,
@@ -185,6 +230,7 @@ export function buildVerifyHandoff(target, options = {}) {
       may_start_30: verifyOk,
       blocked_reason: handoff.blocked_reason ?? (reviewOk ? null : 'missing R<n> review'),
       next_hat: verifyOk ? '30' : null,
+      lint,
     };
   }
 
@@ -231,6 +277,11 @@ export function formatAgentHint(payload) {
     if (item.next_hat) {
       lines.push(`  next_hat: ${item.next_hat}`);
     }
+    if (item.lint) {
+      const n = item.lint.errors?.length ?? 0;
+      const tag = item.lint.suppressed ? 'suppressed' : item.lint.ok ? 'ok' : `FAIL(${n})`;
+      lines.push(`  lint: ${tag}`);
+    }
     for (const w of item.warnings ?? []) {
       lines.push(`  warn: ${w}`);
     }

package/package.json

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

package/schema/lifecycle.v1.schema.json

@@ -0,0 +1,63 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://cyning.dev/schemas/cyning-harness/lifecycle.v1.json",
+  "title": "cyning-harness Task Lifecycle (minimal)",
+  "description": "状态/转移/守卫登记 · 只读真值 · 非引擎（v2.7+）",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["version", "states", "transitions"],
+  "properties": {
+    "version": {
+      "type": "string",
+      "description": "lifecycle 文档 schema 版本"
+    },
+    "states": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["id"],
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "note": { "type": "string" }
+        }
+      }
+    },
+    "transitions": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["id", "from", "to", "guards"],
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "from": {
+            "type": "array",
+            "minItems": 1,
+            "items": { "type": "string", "minLength": 1 }
+          },
+          "to": { "type": "string", "minLength": 1 },
+          "hat": { "type": "string" },
+          "description": { "type": "string" },
+          "guards": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["id", "command_or_check", "severity"],
+              "properties": {
+                "id": { "type": "string", "minLength": 1 },
+                "command_or_check": { "type": "string", "minLength": 1 },
+                "severity": { "type": "string", "enum": ["block", "warn"] },
+                "allow_flag": { "type": "string" },
+                "note": { "type": "string" }
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+}

package/schema/verify_result.v1.schema.json

@@ -35,6 +35,16 @@
           "type": "array",
           "items": { "type": "string" }
         },
+        "lint": {
+          "description": "v2.7+ · 仅 --task；不参与 may_start_30",
+          "type": ["object", "null"],
+          "properties": {
+            "ok": { "type": "boolean" },
+            "errors": { "type": "array" },
+            "warnings": { "type": "array" },
+            "suppressed": { "type": "boolean" }
+          }
+        },
         "gates": {
           "type": "array",
           "items": {