@accelerator-mzq/forge 3.1.1 → 4.0.0

package/dist/core/templates/commands/review.md

@@ -1,5 +1,5 @@
 ---
-description: 派 review subagent 审 [proposal + specs + design + diff],主代理处理反馈,满足三条件打 review-passed YAML
+description: 派 review subagent 审 [proposal + specs + design + diff],主代理处理反馈,满足三条件写 .review-passed v2 marker
 argument-hint: '[--change-id <id>]'
 ---
 
@@ -9,77 +9,55 @@ You are about to handle `/forge:review $ARGUMENTS`.
 
 ## 步骤
 
-1.  **必须调用 `forge:requesting-code-review` skill**(主轨)。
-2.  **必须调用 `forge:receiving-code-review` skill**(收反馈环节)。
-3.  打包 review 输入:
-    - `forge/changes/<id>/proposal.md`
-    - `forge/changes/<id>/specs/*.md`
-    - `forge/changes/<id>/design.md`
-    - `git diff <since-tasks-start>..HEAD`(`since-tasks-start` 取 tasks.md 末尾 `applied_commits` 的第一个 commit 的 parent)
-4.  派 fresh review subagent,产出意见列表(每条带:[严重度:阻塞/关键/可改进/建议]、[文件路径]、[问题描述]、[期望修改])。
-5.  主代理对每条意见 **逐条判断接受/拒绝**(参考 forge:receiving-code-review skill 的"用证据反驳"原则,不机械接受)。
-6.  接受的意见 → append 到 `forge/changes/<id>/tasks.md` 末尾作为新 task 条目。
-7.  **仅当满足三条件,才打 `forge/changes/<id>/.review-passed`**:
-    a. 无"已用证据反驳但未存档"的拒绝意见
-    b. 接受的意见已**全部实现 + 测试通过**(本轮新接受的意见**不算本轮通过**,需下一轮 review)
-    c. 满足 a+b 时,本轮 review 无新增 task
-    7a. **(本 fix 补缺)调 forge evidence record-review 记录 review 事件证据到 staging**
-
-        主代理在写完 .review-passed YAML 后、freeze 之前,**必须**先调 record-review:
-
-        ```bash
-        forge evidence record-review <changeId> --task <ref> --implementer-commit <sha>
-        ```
-
-        这一步把 review 事件(子代理调用 + 主代理 accept/reject outcomes)写入 `.evidence/process-evidence.staging.yaml`(沿 `src/cli/commands/evidence.ts:474`;helper list 权威 `commands/apply.md:179-182`)。
-
-    7b. **(本 fix 补缺)调 forge evidence freeze 凝固 process_evidence**
-
-        7a record-review 后,**必须**调:
-
-        ```bash
-        forge evidence freeze <changeId> --kind review
-        ```
-
-        若漏调 record-review 直接 freeze → exit 1 + 提示 "staging file not found"(代码事实 `evidence.ts:639`)。若漏调 freeze → archive fence 拒签 "[review] v1.0 marker missing process_evidence"(代码事实 `src/core/archive/fence.ts:185`)。
-
-8.  `.review-passed` YAML schema(spec §3.4)— 含 `pause_decisions` 数组(本 fix 补 lifecycle 注):
-    ```yaml
-    schema: forge-review/v1
-    tasks_hash: <sha256(tasks.md 已勾段)>
-    content_hash: <sha256(proposal+specs+design)>
-    reviewed_by: ai-agent # 或 human-override(需 archive --force)
-    git:
-      is_git_repo: true
-      head: <git rev-parse HEAD>
-      diff_hash: <sha256(git diff against forge/config.yaml code_paths)>
-    review_outcomes:
-      - id: 1
-        severity: blocking
-        accepted: true
-        resolved: true
-        resolution_commit: <hash>
-    pause_decisions: # apply 阶段累积的 pause 决策在写本 marker 时一并迁移(沿 commands/apply.md "Marker 持久化" 段 lifecycle 说明)
-      - id: 1
-        # ... 完整 schema 见 commands/apply.md "Marker 持久化" 段
-    ```
+1. **必须调用 `forge:requesting-code-review` skill**(主轨)。
+2. **必须调用 `forge:receiving-code-review` skill**(收反馈环节)。
+3. 打包 review 输入:
+   - `forge/changes/<id>/proposal.md`
+   - `forge/changes/<id>/specs/*.md`
+   - `forge/changes/<id>/design.md`
+   - `git diff <since-tasks-start>..HEAD`(`since-tasks-start` 取 tasks.md 末尾 `applied_commits` 第一个 commit 的 parent)
+4. 派 fresh review subagent,产出意见列表(每条带:[严重度]、[文件路径]、[问题描述]、[期望修改])。
+5. 主代理对每条意见**逐条判断接受/拒绝**(参考 `forge:receiving-code-review` skill 的"用证据反驳"原则,不机械接受)。
+6. 接受的意见 → append 到 `forge/changes/<id>/tasks.md` 末尾作为新 task 条目,实施 + commit。
+7. **仅当满足三条件,才写 `.review-passed` v2 marker**:
+   - a. 无"已用证据反驳但未存档"的拒绝意见
+   - b. 接受的意见已**全部实现 + 测试通过**(本轮新接受的意见**不算本轮通过**,需下一轮 review)
+   - c. 满足 a+b 时,本轮 review 无新增 task
+
+8. **`.review-passed` v2 marker 示例**(沿 `src/core/markers/types.ts:ReviewMarker`):
+
+   ```yaml
+   schema: forge-review/v2
+   reviewed_at: <ISO 8601 UTC,允许 ms 精度>
+   reviewed_by: ai-agent # 或 human-override(需 archive --force)
+   pause_decisions: # 可选 — 同 verify marker 的 PauseDecisionSimple
+     - paused_at: 2026-05-21T15:00:00Z
+       task_ref: tasks.md#task-7
+       issue_summary: review subagent 发现 spec 未覆盖的 edge case
+       chosen_option: 2
+       notes: '加 task 进本轮 tasks.md'
+   created_by_tool_version: <FORGE_VERSION>
+   ```
+
+   schema 字段只 5 个,无 hash / git / process_evidence / review_outcomes / evidence 数组。
 
 ## 禁止行为
 
-- 不允许跳过 review subagent 直接打 review-passed
-- 不允许接受意见但不实现就打 review-passed(违反 b)
-- 非 git 项目跳过 git 字段时,review-passed YAML 必须 `is_git_repo: false`(archive --force 才接受)
+- 不允许跳过 review subagent 直接写 .review-passed
+- 不允许接受意见但不实现就写 .review-passed(违反条件 b)
+- 不允许伪造 `reviewed_by` 字段
+- **不允许在 .review-passed 写 v4 已删字段**(`review_outcomes` / `git` / `tasks_hash` / `content_hash` / `process_evidence` — schema 校验会拒)
 
 ## (可选)Stage extensions hook — Tier 1 Claude Code only
 
 > codex review 集成。AI 主代理在本 stage(`review`)跑多轮收敛协议。
 > Tier 2/3(Codex/OpenCode)见 [`docs/stage-extensions.md §未来 Tier 2/3 集成`](../docs/stage-extensions.md#未来-tier-23-集成)。
 
-**Step A — 检查是否启用**:读 `forge/config.yaml#stage_extensions.review`。无该字段 / 数组为空 / 全部 entry `enabled: false` → **跳过本段,流程结束**。
+**Step A — 检查是否启用**:读 `forge/config.yaml#stage_extensions.review`。无该字段 / 数组为空 / 全部 entry `enabled: false` → **跳过本段**。
 
 **Step B — 对每个 `enabled` entry 跑多轮收敛 loop**:
 
-初始化 `round = 1`、`threadId = ''`、`roundHistory = []`、`roundLimit = null`(F1-v8 fix:`roundLimit` **不从 config 文件读** —— effective convergence 由 runner 输出,见 Step 3。AI 协议不碰 config 文件解析 / deep-merge,单一数据源是 runner JSON)。循环:
+初始化 `round = 1`、`threadId = ''`、`roundHistory = []`、`roundLimit = null`。循环:
 
 1. **跑单轮 runner**:
    ```bash
@@ -88,18 +66,15 @@ You are about to handle `/forge:review $ARGUMENTS`.
      --round <round>${threadId:+ --thread-id $threadId}
    ```
 2. **解析 stdout JSON 的 `kind`**:
-   - `converged` → 该 entry 收敛完成,**break loop**(codex 输出 verbatim 透传给用户)
-   - `failed` / `config_error` / `no_extension` → 该 entry 放弃,**break loop**(loose,不阻塞主流程)
+   - `converged` → break loop(codex 输出 verbatim 透传)
+   - `failed` / `config_error` / `no_extension` → break loop(loose)
    - `unconverged` → 继续 3
-3. **从 unconverged JSON 取状态**(F1-v8 fix:effective config 来自 runner 输出,runner 内 `validateStageExtensionsConfig` 已 normalize):
-   - `roundHistory.push({ round, block_count: <blockFindings.length> })`;`threadId = <JSON.threadId>`;codex finding verbatim 透传给用户
-   - 首轮:`roundLimit = <JSON.effectiveConvergence.max_rounds>`(后续轮 `roundLimit` 已设,不覆盖 —— 选项①的 `roundLimit += N` 增量须保留)
-4. **若 `round >= roundLimit`**(F2-v7 fix:用可增长的 `roundLimit`):
-   - 若 `<JSON.effectiveConvergence.max_rounds_on_exceed>` 为 `force_end` → 把 blockFindings 写 `forge/changes/<id>/.evidence/codex-pending-findings.yaml`(backlog),**break loop**
-   - 否则跑 `node "${CLAUDE_PLUGIN_ROOT}/scripts/run-forge.mjs" stage-extensions analyze-trend --history '<roundHistory JSON>'` 拿 TrendAdvice,再 `AskUserQuestion` 三选项(默认推 `TrendAdvice.recommended_option`):**①再跑 N 轮**(F2-v7 fix:读用户输入的 `N`,执行 `roundLimit += N`,然后 `round++` 继续 loop —— 后续 `round >= roundLimit` 判定按新上限走,不会立刻又进 Step 4)/ **②放弃 codex**(break loop)/ **③接受当前**(blockFindings 写 backlog,break loop)
-5. **否则(`round < roundLimit`)**:`AskUserQuestion` 三选项(默认推 `<JSON.userInteraction.block_unconverged>`):
-   - **①auto_fix** → 用 `Task` 工具 dispatch fresh fix subagent 修 blockFindings → `round++`,继续 loop
-   - **②manual_fix** → 等用户改完 → `round++`,继续 loop
-   - **③give_up** → break loop
-
-**Step C — loose**:本段任何步骤(runner 调用 / AskUserQuestion / fix dispatch)失败都**不阻塞主流程 fence**。runner 永远 exit 0;AskUserQuestion harness 不支持时降级终端 prompt。
+3. **从 unconverged JSON 取状态**:
+   - `roundHistory.push({ round, block_count: <blockFindings.length> })`;`threadId = <JSON.threadId>`;codex finding verbatim 透传
+   - 首轮:`roundLimit = <JSON.effectiveConvergence.max_rounds>`
+4. **若 `round >= roundLimit`**:
+   - 若 `<JSON.effectiveConvergence.max_rounds_on_exceed>` 为 `force_end` → blockFindings 写 `forge/changes/<id>/.evidence/codex-pending-findings.yaml`,break
+   - 否则跑 `stage-extensions analyze-trend` 拿 TrendAdvice,AskUserQuestion 三选项:**①再跑 N 轮**(`roundLimit += N`,`round++`)/ **②放弃 codex**(break)/ **③接受当前**(写 backlog,break)
+5. **否则**:AskUserQuestion 三选项(默认推 `<JSON.userInteraction.block_unconverged>`):**①auto_fix** → dispatch fresh fix subagent → `round++` / **②manual_fix** → 等用户改 → `round++` / **③give_up** → break
+
+**Step C — loose**:本段任何步骤失败都**不阻塞主流程**。

package/dist/core/templates/commands/upgrade.md

@@ -1,58 +1,39 @@
 ---
-description: 调 forge upgrade CLI(legacy adapter 清理 + marker resign)
-argument-hint: '[--resign-markers <changeId>] [--recover] [--gc] [--dry-run]'
+description: 调 forge upgrade CLI(清理 legacy v0.2 harness adapter 产物)
+argument-hint: '[--dry-run] [--recover] [--gc]'
 ---
 
 # /forge:upgrade
 
-包装 `forge upgrade` CLI(v0.3 / plan-9j 落地)。
+包装 `forge upgrade` CLI(v0.3 起)。**仅清理 legacy harness adapter 产物;`forge/` 下 drafts/changes/specs/config 100% 不动**。
 
-## 用法 / 选项(v6 MINOR 4:option flag 形态,不是 subcommand)
-
-- `forge upgrade`(无 flag,沿 v0.3):清理 legacy v0.2 harness adapter 产物
-- `forge upgrade --resign-markers <changeId>`(plan-9j 新增 option):升级 v0.4 marker 到 v1.0 schema
-
-## --resign-markers 用法(plan-9j Task 2 落地)
+## 用法
 
 ```bash
-forge upgrade --resign-markers add-oauth-refresh
+forge upgrade               # 清理 v0.2 legacy harness adapter 产物
+forge upgrade --dry-run     # 只 SHOW DIFF,不 stash
+forge upgrade --recover     # 恢复最近 stash(24h 有效期)
+forge upgrade --gc          # 删除过期 stash(>24h)
 ```
 
-行为:
-
-- **S 简码** → 自动映射 CRITICAL
-- **L 简码** → 自动映射 SUGGESTION
-- **C 简码** → 写 pending file 到 `.evidence/pending-acks/`,exit 1 + 提示走 `forge ack confirm`
-- **不自动填空** verify_findings / pause_decisions / process_evidence(违反 AI 反向加固)
-- 改标 `process_evidence_unavailable_legacy: true` meta 字段
-- 写 `ack-log.jsonl` action=resign 行
-
-退出码(沿 master §3.12.3):
-
-- 0:全部 marker resigned 或已是 v1.0
-- 1:部分需 C 简码 confirm / 阶段事务失败
-- 2:CI 模式拒绝(env CI=true)
-
-## C 简码迁移协议(完整流程)
+## 6 阶段事务
 
-C 简码(clarification)不自动映射(沿 design §2.3.5):用户必须判断目标 severity:
+SCAN(纯只读)→ SHOW DIFF(只读)→ ASK(等用户输入)→ STASH(rename 到 `.forge-upgrade-stash-<ts>/`)→ VERIFY(hash 比对)→ COMMIT(默认不删 stash,24h 内可 `--recover`)。
 
-1. 跑 `forge upgrade --resign-markers <changeId>` — 若含 C 简码,exit 1 + 写 pending file
-2. 跑 `forge ack confirm <changeId> <findingId> --target-severity WARNING|SUGGESTION`(或走 `/forge:ack-confirm` slash)
-3. 重跑 `forge upgrade --resign-markers <changeId>` 完成 resign
+任一阶段失败自动反向 rename 回原位。
 
-## sunset policy
+## 退出码
 
-`process_evidence_unavailable_legacy: true` 在 v2.0 sunset(沿 design §3.4.4.2):
+- `0`:全部成功 / 无 legacy 产物
+- `1`:STASH/VERIFY 失败(已回滚)/ stash 损坏(hash mismatch / 过期)
 
-- v1.0 / v1.1:合法
-- v1.2:warning 加强
-- v2.0:拒签,`forge migrate <change-id>` 自动触发 process_evidence 补录
+## v3 → v4 marker 升级路径
 
-## archive 行为(沿 plan-9j Task 3 / 4)
+v4 BREAKING:**已移除 `--resign-markers` flag**。v0.4 / v1.0 marker → v4 v2 marker 不再有 CLI 自动升级路径;v3 protocol(ack-log / verify_findings / process_evidence / 简码 S/C/L)在 v4 全部消亡。
 
-archive.ts 步骤 3.4 在 evidence 校验之前先跑 legacy-exemption + version-retrograde fence:
+唯一升级路径(沿 `docs/migration/v3-to-v4.md`):
 
-- legacy marker 缺 created_by_tool_version 字段或 `<1.0.0` → 走 legacy 路径(13 不变量精确豁免)
-- **`legacy=true ⊥ (created_by_tool_version >= 1.0.0 且 resigned_by_tool_version 缺失)`** 互斥(沿 §3.4.4.1 + v6 选项 C resigned-aware):原生 v1.0 marker 不允许 legacy 标记;resigned 后 marker(含 resigned_by_tool_version 字段)允许 legacy + version 共存
-- version retrograde(高版本 → 低版本)→ 拒签(沿 §3.4.4.3)
+1. 删除 active change 下的 `.verify-passed` / `.review-passed`(v1 marker)
+2. 删 stale 残留:`forge/changes/<id>/.evidence/pending-acks/` + `forge/.cache/archive-pause-<id>.json`
+3. 重跑 `/forge:verify` + `/forge:review`(产 v2 marker)
+4. 重跑 `/forge:archive`(v4 校验 v2 schema 通过)

package/dist/core/templates/commands/verify.md

@@ -1,5 +1,5 @@
 ---
-description: 跑 forge validate + verification-before-completion + 三维度分析,产 verify_findings 写入 .verify-passed marker
+description: 跑 forge validate + verification-before-completion + 三维度 prose check,写 .verify-passed v2 marker
 argument-hint: '[--change-id <id>]'
 ---
 
@@ -11,158 +11,51 @@ You are about to handle `/forge:verify $ARGUMENTS`.
 
 1. **必须调用 `forge:verification-before-completion` skill**(证据先于声称的纪律)。
 
-2. **跑 `forge validate <change-id>`**(plugin helper 走 `${CLAUDE_PLUGIN_ROOT}/scripts/run-forge.mjs validate`),拿到 validate 结果。validate 已产 `automated=true` CRITICAL `finding_hash`(沿 plan-9d Task 4)。
+2. **跑 `forge validate <change-id>`**(plugin helper 走 `${CLAUDE_PLUGIN_ROOT}/scripts/run-forge.mjs validate`)。
 
-3. **若 validate 失败(exit 1 — CRITICAL findings 存在)**:
-   - 根据失败项构造 verify-failed YAML(`forge/changes/<id>/.verify-failed`):
-     ```yaml
-     schema: forge-verify-failed/v1
-     failed_at: <ISO 8601>
-     reasons:
-       - <每个 CRITICAL finding 的 message>
-     fake_completions: []
-     appended_tasks:
-       - verify-fix-1
-     verify_findings: # plan-9d 新增 — validate CLI 产的 automated CRITICAL finding 直接合并
-       - id: 1
-         dimension: completeness
-         check_type: spec-files-missing
-         severity: CRITICAL
-         automated: true
-         finding_hash: <validate 输出的 hash>
-         evidence: <validate output>
-         recommendation: <validate output>
-         resolved: false
-     ```
-   - **append 修复 task 到 `forge/changes/<id>/tasks.md`**(沿 v0.4 协议)
-   - **不要修改原已勾选 task**(维护 spec §3.3 不变量 2)
+3. **若 validate 失败(exit 1)**:
+   - 不写 `.verify-failed` marker(v4 砍掉 failed marker schema)
+   - 直接 abort,把错误透传给用户,提示按 validate 错误修代码 / 改 spec 后重跑 `/forge:verify`
 
 4. **若 validate 通过(exit 0)**:
 
-   4.1 **跑用户项目测试** — 读 `forge/config.yaml` 的 `test.test_command`,缺省 `pnpm test`,把 stdout 写到 `forge/changes/<id>/.evidence/test-output.log`,计算 `log_hash = sha256(test-output.log)`。**测试 pass 是 Completeness/task-completion 子项**(plan-9d 三维度协议)。字段路径以代码事实为准(`src/core/schema/types.ts:83` + `src/core/archive/fence.ts:146`)。
-
-   4.2 **三维度分析 — 必须调用 `forge:verifying-three-dimensions` skill**(plan-9d 落地):
-   - **Completeness**:对 spec 每个 Requirement,grep codebase 找实施证据;完全无证据 → 产 CRITICAL `coverage_gap` finding(automated=true,工具可独立验证;沿 §11.1bis — `evidence_missing` 仅指 evidence.log_path 文件缺失,语义不同)
-   - **Correctness**:对 spec 每个 Requirement 定位实施 file:line;WHEN/THEN scenario 覆盖检查 → WARNING/SUGGESTION findings(automated=false)
-   - **Coherence**:design.md `## Decision:` 段比对 codebase;命名 / pattern 比对项目惯例 → WARNING/SUGGESTION findings(automated=false)
-   - **每个 finding 必须填**:id / dimension / check_type / severity / automated / content_hash / git_head / evidence / recommendation / resolved + finding_hash(JCS SHA256 of 8 字段 payload,沿 9a)
-   - **`automated=true` 的 finding 必须由工具或 CLI 计算 finding_hash**(直接 grep 命中数等机器判定);AI 不能伪造此类 finding
-   - **`automated=false` 的 finding 由 AI 产**,需 `forge ack propose` 走两步流程才能降级或带未 ack archive(沿 9a)
-   - **AI 计算 finding_hash 必须用 `forge finding hash` helper**(v6 M-1 修订 + v7 N-1 修订:沿 plan-9d Task 4 step 12-13)— 防止 AI 自实现 JCS 易出错。示例**用 heredoc 避免单引号 shell 破损**(JSON 内换行 / 单引号 / 中文均安全):
-
-     ```bash
-     # 把 8 字段 payload 写成 JSON pipe 给 helper,helper 输出 64-hex finding_hash
-     cat <<'JSON' | forge finding hash
-     {
-       "content_hash": "sha256:abc123...",
-       "git_head": "d4e5f6...",
-       "dimension": "correctness",
-       "check_type": "requirement-mapping",
-       "severity": "WARNING",
-       "automated": false,
-       "evidence": "specs/auth/spec.md Requirement #2 在 src/auth/refresh.ts:42 实现 expiryHours=12,spec 默认 24h",
-       "recommendation": "改 expiryHours=24 或修订 spec"
-     }
-     JSON
-     # 输出:1234abcd5678ef90... (64-hex 裸 hex 沿 9a)
-     ```
+   4.1 **跑用户项目测试** — 读 `forge/config.yaml` 的 `test.test_command`,缺省 `pnpm test`,失败 abort 让用户修。
 
-     **关键约束**:
-     - **用 `<<'JSON'` heredoc(单引号 quoted)**:JSON 内部含单引号 / `$` / 反引号 / 中文均不会被 shell 解析(v7 N-1 修订:沿 bash heredoc quoted delimiter convention)
-     - **不能多传 extra keys**(id / resolved / finding_hash 自身)— helper 内部已显式构造 8 字段,extra keys 会被丢弃,但 AI 应该传干净 payload 避免混淆
-     - **JSON 内换行用真实换行**(不写 `\n`)— heredoc 保留原样换行;若 evidence/recommendation 内文要含 `\n` 字面值则写 `\\n` 双反斜杠(JSON 串 escape)
+   4.2 **三维度 prose check — 必须调用 `forge:verifying-three-dimensions` skill**:
+   - **Completeness**:对 spec 每个 Requirement,grep codebase 找实施证据;空 → 报告给用户
+   - **Correctness**:对 spec 每个 Requirement 定位实施 file:line;WHEN/THEN scenario 覆盖检查
+   - **Coherence**:design.md `## Decision:` 段比对 codebase;命名 / pattern 比对项目惯例
+   - 三维度发现的问题以 prose 形式呈现给用户(对话内 + 必要时改 code 或 spec);**不写 marker 内 fence 字段**(v4 删 `verify_findings` 数组)
 
-       4.3 **写 `forge/changes/<id>/.verify-passed` YAML**(沿 design §2.2.5 schema superset):
+     4.3 **写 `forge/changes/<id>/.verify-passed` v2 marker**(沿 `src/core/markers/types.ts:VerifyMarker`):
 
      ```yaml
-     schema: forge-verify/v1
-     verified_at: <ISO 8601>
-     verified_by: ai-agent
-     tasks_hash: <sha256(tasks.md 已勾段)>
-     content_hash: <sha256(proposal+specs+design)>
-     evidence:
-       - scenario_id: project-tests
-         test_command: <config.yaml 的 test_command>
-         test_file: <实际跑的测试范围>
-         log_path: ./.evidence/test-output.log
-         log_hash: <log_hash>
-         pass: true
-     verify_findings: # plan-9d 新增 — validate CLI 自动 CRITICAL + skill 产 WARNING/SUGGESTION 合并数组
-       - id: 1
-         dimension: completeness
-         check_type: spec-coverage
-         severity: WARNING
-         automated: false
-         content_hash: <sha256>
-         git_head: <40-hex>
-         evidence: 'specs/auth/spec.md Requirement #2 在 src/auth/refresh.ts:42 实现 expiryHours=12,spec 默认 24h'
-         recommendation: '改 expiryHours=24 或修订 spec'
-         resolved: false
-         finding_hash: <sha256>
-         severity_acked_by: null # WARNING 必须 ack 才能 archive(在 archive 阶段走 ack)
-         severity_acked_at: null
-       # ... 其他 finding
-     pause_decisions: # apply 阶段累积的 pause 决策在写本 marker 时一并迁移(本 fix 补 lifecycle 注;沿 commands/apply.md "Marker 持久化" 段)
-       - id: 1
-         # ... 完整 schema 见 commands/apply.md "Marker 持久化" 段
-     ```
-
-     4.3a **(本 fix 补缺):调 forge evidence record-verify 记录 verify 事件证据到 staging**
-
-     主代理在写完 .verify-passed YAML 后、freeze 之前,**必须**先调 record-verify 写 staging:
-
-     ```bash
-     forge evidence record-verify <changeId> --task-refs <list> --scope <type> --report <path>
+     schema: forge-verify/v2
+     verified_at: <ISO 8601 UTC,允许 ms 精度>
+     verified_by: ai-agent # 或 human-override(需 archive --force)
+     pause_decisions: # 可选 — apply 阶段累积的 PauseDecisionSimple
+       - paused_at: 2026-05-21T14:30:00Z
+         task_ref: tasks.md#task-3
+         issue_summary: subagent 报告 OAuth refresh edge case
+         chosen_option: 3 # 1=扩scope/2=加task/3=转out-of-scope/4=Other
+         notes: 'subagent 可跳过该 issue 完成本 task 主体功能'
+     created_by_tool_version: <FORGE_VERSION>
      ```
 
-     这一步把 verify 事件(测试 pass/fail + 三维 findings 总览)写入 `.evidence/process-evidence.staging.yaml`,**freeze 必须前置 staging 才有 source 可以凝固**(沿 `src/cli/commands/evidence.ts:348/639`;helper list 权威 `commands/apply.md:179-182`)。
-
-     若漏调 record-verify 直接 freeze → exit 1 + 提示 "staging file not found ... 必须先调 forge evidence record-\*"(代码事实 `evidence.ts:639`)。
-
-     4.4 **(plan-9g 新增):调 forge evidence freeze 凝固 process_evidence**
-
-     主代理在 4.3a record-verify 后,**必须**调:
-
-     ```bash
-     forge evidence freeze <changeId> --kind verify
-     ```
+     schema 字段只 5 个,无 hash / git / process_evidence / verify_findings / evidence 数组。
 
-     freeze 子命令做:
-     1. 读 `.evidence/process-evidence.staging.yaml` + 校验 staging_hash
-     2. 复制三数组(tdd_event_chain / verify_invocations / subagent_review_chain)到 marker.process_evidence
-     3. 写 marker.process_evidence_staging_hash + ack_log_tail_hash + ack_log_entry_count(五源 cross-check 用)
-     4. 算 freeze-time WARNING(不变量 7 + 10)→ 转 VerifyFinding 写 marker.verify_findings
-     5. 若 CRITICAL 11/12(tdd_exemption 缺 ack / mode 缺 ack)→ exit 1 + 提示先跑 forge ack
-     6. transaction(tmp + rename atomic)落 marker
-
-     详细 process_evidence 协议见 `skills/process-evidence/SKILL.md`。
-
-     > **Fluid Pause 边界(design §8.3)**:apply 阶段 Fluid Pause 的 `forge pause-capture` 必须在本步 `forge evidence freeze --kind verify` **之前**完成。verify freeze 之后再产生的 pause-capture entry 不被 verify marker 的 `ack_log_tail_hash`/`ack_log_entry_count` 固化,archive 阶段 option=2 强校验会因 ack-log 行数 mismatch 拒签。
-
-     4.5 **若产任何 WARNING + resolved=false**:提示用户 — archive 阶段必须先 `forge ack propose <finding-id>`(沿 9a 两步流程),否则 archive fence 拒签。
-
-     4.6 **若产任何 automated=true CRITICAL + resolved=false**:**不能 archive**(沿 design §2.2.4 fence)— 必须先实际修复让 finding resolved=true(改 code + 重跑 verify),不允许 ack 降级。
-
-## 禁止行为
-
-- 不允许在 verify 失败时回去把已勾 task 改回 `[ ]`(违反 spec §3.3 不变量 2)
-- 不允许跳过证据 log 写入(verification-before-completion 要求证据先于声称)
-- 不允许 pass=true 但 evidence 为空(archive 校验会拒绝)
-- **不允许跳维度**(沿 plan-9d skill 红旗清单)— Completeness + Correctness + Coherence 三维度必须全跑,即使测试 pass
-- **不允许伪造 automated=true finding**(沿 design §2.3.3 critical_candidate 协议)— automated=true 的 finding 必须由工具/grep 机器判定,不能 AI 自决
-- **不允许 vague recommendation**("consider reviewing X" 类)— 必须给 file:line 或 spec:Requirement-id 具体证据(沿 plan-9d skill `## forge-specific 反向加固` §2)
-- **不允许在 .verify-passed 写 severity_acked_by = "ai-agent" 自 ack**(必须走 `forge ack propose` 两步流程,沿 9a)
+     4.4 **若三维度发现重大问题**(应改 code / spec 后重跑 verify):**不写 .verify-passed**,直接 abort 让用户先修。AI 不允许"知道问题但仍写 verify-passed"。
 
 ## (可选)Stage extensions hook — Tier 1 Claude Code only
 
 > codex review 集成。AI 主代理在本 stage(`verify`)跑多轮收敛协议。
 > Tier 2/3(Codex/OpenCode)见 [`docs/stage-extensions.md §未来 Tier 2/3 集成`](../docs/stage-extensions.md#未来-tier-23-集成)。
 
-**Step A — 检查是否启用**:读 `forge/config.yaml#stage_extensions.verify`。无该字段 / 数组为空 / 全部 entry `enabled: false` → **跳过本段,流程结束**。
+**Step A — 检查是否启用**:读 `forge/config.yaml#stage_extensions.verify`。无该字段 / 数组为空 / 全部 entry `enabled: false` → **跳过本段**。
 
 **Step B — 对每个 `enabled` entry 跑多轮收敛 loop**:
 
-初始化 `round = 1`、`threadId = ''`、`roundHistory = []`、`roundLimit = null`(F1-v8 fix:`roundLimit` **不从 config 文件读** —— effective convergence 由 runner 输出,见 Step 3。AI 协议不碰 config 文件解析 / deep-merge,单一数据源是 runner JSON)。循环:
+初始化 `round = 1`、`threadId = ''`、`roundHistory = []`、`roundLimit = null`。循环:
 
 1. **跑单轮 runner**:
    ```bash
@@ -171,18 +64,22 @@ You are about to handle `/forge:verify $ARGUMENTS`.
      --round <round>${threadId:+ --thread-id $threadId}
    ```
 2. **解析 stdout JSON 的 `kind`**:
-   - `converged` → 该 entry 收敛完成,**break loop**(codex 输出 verbatim 透传给用户)
-   - `failed` / `config_error` / `no_extension` → 该 entry 放弃,**break loop**(loose,不阻塞主流程)
+   - `converged` → break loop(codex 输出 verbatim 透传给用户)
+   - `failed` / `config_error` / `no_extension` → break loop(loose,不阻塞主流程)
    - `unconverged` → 继续 3
-3. **从 unconverged JSON 取状态**(F1-v8 fix:effective config 来自 runner 输出,runner 内 `validateStageExtensionsConfig` 已 normalize):
+3. **从 unconverged JSON 取状态**:
    - `roundHistory.push({ round, block_count: <blockFindings.length> })`;`threadId = <JSON.threadId>`;codex finding verbatim 透传给用户
-   - 首轮:`roundLimit = <JSON.effectiveConvergence.max_rounds>`(后续轮 `roundLimit` 已设,不覆盖 —— 选项①的 `roundLimit += N` 增量须保留)
-4. **若 `round >= roundLimit`**(F2-v7 fix:用可增长的 `roundLimit`):
-   - 若 `<JSON.effectiveConvergence.max_rounds_on_exceed>` 为 `force_end` → 把 blockFindings 写 `forge/changes/<id>/.evidence/codex-pending-findings.yaml`(backlog),**break loop**
-   - 否则跑 `node "${CLAUDE_PLUGIN_ROOT}/scripts/run-forge.mjs" stage-extensions analyze-trend --history '<roundHistory JSON>'` 拿 TrendAdvice,再 `AskUserQuestion` 三选项(默认推 `TrendAdvice.recommended_option`):**①再跑 N 轮**(F2-v7 fix:读用户输入的 `N`,执行 `roundLimit += N`,然后 `round++` 继续 loop —— 后续 `round >= roundLimit` 判定按新上限走,不会立刻又进 Step 4)/ **②放弃 codex**(break loop)/ **③接受当前**(blockFindings 写 backlog,break loop)
-5. **否则(`round < roundLimit`)**:`AskUserQuestion` 三选项(默认推 `<JSON.userInteraction.block_unconverged>`):
-   - **①auto_fix** → 用 `Task` 工具 dispatch fresh fix subagent 修 blockFindings → `round++`,继续 loop
-   - **②manual_fix** → 等用户改完 → `round++`,继续 loop
-   - **③give_up** → break loop
-
-**Step C — loose**:本段任何步骤(runner 调用 / AskUserQuestion / fix dispatch)失败都**不阻塞主流程 fence**。runner 永远 exit 0;AskUserQuestion harness 不支持时降级终端 prompt。
+   - 首轮:`roundLimit = <JSON.effectiveConvergence.max_rounds>`
+4. **若 `round >= roundLimit`**:
+   - 若 `<JSON.effectiveConvergence.max_rounds_on_exceed>` 为 `force_end` → 把 blockFindings 写 `forge/changes/<id>/.evidence/codex-pending-findings.yaml`,break loop
+   - 否则跑 `stage-extensions analyze-trend` 拿 TrendAdvice,再 AskUserQuestion 三选项:**①再跑 N 轮**(`roundLimit += N` 后 `round++`)/ **②放弃 codex**(break)/ **③接受当前**(blockFindings 写 backlog,break)
+5. **否则**:AskUserQuestion 三选项(默认推 `<JSON.userInteraction.block_unconverged>`):**①auto_fix**(dispatch fresh fix subagent → `round++`)/ **②manual_fix**(等用户改 → `round++`)/ **③give_up**(break)
+
+**Step C — loose**:本段任何步骤失败都**不阻塞主流程**。runner 永远 exit 0;AskUserQuestion harness 不支持时降级终端 prompt。
+
+## 禁止行为
+
+- 不允许跳过三维度 prose check 就写 .verify-passed
+- 不允许测试 fail 时仍写 .verify-passed(违反 verification-before-completion 纪律)
+- 不允许伪造 `verified_by` 字段(`ai-agent` 表示真跑了流程,`human-override` 表示用户手工签证 — archive 需 `--force`)
+- **不允许在 .verify-passed 写 v4 已删字段**(`verify_findings` / `evidence` / `git` / `tasks_hash` / `content_hash` / `process_evidence` — schema 校验会拒)

package/dist/core/templates/skills/_shared/tier23-command-bridge.md

@@ -18,14 +18,14 @@
 
 执行 `commands/<stage>.md` 时,按下表把 Tier-1 专属构造换成 Tier 2/3 等价物:
 
-| 命令文件里的                                                                                         | 替换为                                                                                                                                                                                         |
-| ---------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| `${CLAUDE_PLUGIN_ROOT}/scripts/run-forge.mjs`                                                        | `<ROOT>/scripts/run-forge.mjs`                                                                                                                                                                 |
-| shell/命令执行上下文中的 forge executable token(裸 `forge <subcmd>`、管道右侧 `… \| forge <subcmd>`) | `node "<ROOT>/scripts/run-forge.mjs" <subcmd> …`;helper 不可达时 fallback `npx -y --package @accelerator-mzq/forge@^3.1 -- forge <subcmd>`。**散文/说明文字里的 `forge archive` 等引用不替换** |
-| `$ARGUMENTS`                                                                                         | 从用户自然语言提取                                                                                                                                                                             |
-| `AskUserQuestion`                                                                                    | 降级终端 `[1]/[2]/…` 文本 prompt;确认结果必须落到对应 CLI(`forge ack confirm/reject` 等),留 ack-log 证据                                                                                       |
-| `Task` 工具派子代理                                                                                  | 按 `skills/subagent-driven-discipline/references/codex-tools.md`(Codex)/ `opencode-tools.md`(OpenCode)映射                                                                                     |
-| `## (可选)Stage extensions hook — Tier 1 Claude Code only` 段                                        | 整段跳过                                                                                                                                                                                       |
+| 命令文件里的                                                                                         | 替换为                                                                                                                                                                                           |
+| ---------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
+| `${CLAUDE_PLUGIN_ROOT}/scripts/run-forge.mjs`                                                        | `<ROOT>/scripts/run-forge.mjs`                                                                                                                                                                   |
+| shell/命令执行上下文中的 forge executable token(裸 `forge <subcmd>`、管道右侧 `… \| forge <subcmd>`) | `node "<ROOT>/scripts/run-forge.mjs" <subcmd> …`;helper 不可达时 fallback `npx -y --package @accelerator-mzq/forge@^4.0.0 -- forge <subcmd>`。**散文/说明文字里的 `forge archive` 等引用不替换** |
+| `$ARGUMENTS`                                                                                         | 从用户自然语言提取                                                                                                                                                                               |
+| `AskUserQuestion`                                                                                    | 降级终端 `[1]/[2]/…` 文本 prompt;v4 起无 `forge ack` 协议,确认结果按 v4 marker 写入即可(详见 [`docs/migration/v3-to-v4.md`](../../docs/migration/v3-to-v4.md))                                   |
+| `Task` 工具派子代理                                                                                  | 按 `skills/subagent-driven-discipline/references/codex-tools.md`(Codex)/ `opencode-tools.md`(OpenCode)映射                                                                                       |
+| `## (可选)Stage extensions hook — Tier 1 Claude Code only` 段                                        | 整段跳过                                                                                                                                                                                         |
 
 示例:
 

package/dist/core/templates/skills/receiving-code-review.md

@@ -219,65 +219,34 @@ You understand 1,2,3,6. Unclear on 4,5.
 
 When replying to inline review comments on GitHub, reply in the comment thread (`gh api repos/{owner}/{repo}/pulls/{pr}/comments/{id}/replies`), not as a top-level PR comment.
 
-## Severity 判定指引(forge v1.0 横切层)
+## Severity 判定指引(v4 prose 风格)
 
-review feedback 中的 `severity` 字段不再是装饰,**参与 fence 门禁**(沿 design §2.3.4 review_outcomes 行 + §2.3.2 三级语义)。每条 finding 都属于以下三级之一:
+review feedback 的 `severity` 字段仅作 prose 分级用,**v4 不参与 archive fence 门禁**(v3 marker `review_outcomes` 数组已删,review marker schema 极简到 5 字段;沿 `src/core/markers/types.ts:ReviewMarker`)。每条 finding 仍按以下三级分类用于讨论:
 
 ### 三级语义
 
-| 级别           | 语义                                                                                                      | 判定来源                              | 阻塞行为                                                                                 |
-| -------------- | --------------------------------------------------------------------------------------------------------- | ------------------------------------- | ---------------------------------------------------------------------------------------- |
-| **CRITICAL**   | 工具拒签级别 — **事实层面客观可验证的不一致**(测试 fail / hash mismatch / evidence 缺失 / API 签名不匹配) | **仅工具自动产生**(`automated: true`) | archive fence 拒签,**不能 ack 通过**                                                     |
-| **WARNING**    | 要做但需决策 — 事实层面可能有问题但需人类判断,或 scope/优先级需确认                                       | **AI 主判**(`automated: false`)       | archive fence 默认拒签,**用户 CLI ack 可放行**(`forge ack propose --action ack-warning`) |
-| **SUGGESTION** | 可改进但不阻塞 — 风格 / 命名 / 微优化 / 未来扩展点                                                        | **AI 主判**,无需 ack                  | archive 直接放行,进 archive_summary `handoff_to_backlog` 累积可见                        |
-
-### AI 反向加固(critical_candidate 协议)
-
-**CRITICAL 永远不能由 AI 直接产生**。AI 在 finding 中**不能写 `severity: CRITICAL`**,只能写:
-
-```yaml
-severity_candidate: CRITICAL
-candidate_type: <test_failure | hash_mismatch | evidence_missing | coverage_gap | api_contract | manual_claim>
-evidence: <定位证据,5 类格式之一>
-```
-
-工具 fence(`forge validate` / `forge archive`)按 `candidate_type` 独立验证:
-
-- 验证通过 → 升级为 `severity: CRITICAL` + `automated: true` + `finding_hash` 锁死
-- 验证失败 → fallback 为 `severity: WARNING` + `automated: false` + `severity_candidate_rejected: true`(给用户提示)
-- AI 跨过 candidate 直接写 `severity: CRITICAL` + `automated: false` → **fence 拒签**
-
-**WARNING / SUGGESTION** 由 AI 直接判定,但 evidence 必须可定位(沿 §2.3.3 D 五类:`file:line` / `artifact:section` / `change-level` / `command-output` / `tests:scenario:<name>`)。无定位的 finding fence 拒签。
+| 级别           | 语义                                                               | 主代理决策                                                                     |
+| -------------- | ------------------------------------------------------------------ | ------------------------------------------------------------------------------ |
+| **blocking**   | 事实层面客观不一致(测试 fail / API 签名不匹配 / 实施明显违背 spec) | 必修后才能写 `.review-passed`;不修就 abort 让用户决                            |
+| **important**  | 需做但有讨论空间(scope / 优先级 / 实施代价)                        | 优先采纳;有合理证据反驳可拒(沿"用证据反驳"原则);拒绝时必须在对话内显式记录理由 |
+| **suggestion** | 可改进但不阻塞(风格 / 命名 / 微优化 / 未来扩展点)                  | 顺手 fix;不 fix 转入 `## Out of Scope` 或 `## Future Work` YAML 块进 backlog   |
 
 ### 判定决策树(给 reviewer-receiver)
 
 ```
 收到 review finding 后,先看 severity:
 
-IF severity == CRITICAL && automated: true
-  必修。fix → 写 resolution_commit。不能讨价还价(工具客观事实)
-
-IF severity == CRITICAL && automated: false
-  → 这条 finding 不合规(AI 跨过 candidate 直接写)— 报错给 reviewer 重写为 candidate
+IF severity == blocking
+  必修。fix → commit。"用证据反驳"原则:若有事实证据 finding 错(如 reviewer 误读 code)→ 在对话内显式反驳并不修,不写 .review-passed 前必须澄清
 
-IF severity == WARNING
-  优先 fix;若有合理理由不 fix(scope 太大 / 实施代价过高 / 决策已被推翻),走 forge ack propose --action ack-warning,user 在 /forge:ack-confirm 中 ack
+IF severity == important
+  优先 fix;若有合理理由不 fix → 在对话内显式记录"已用证据反驳"(不存档到 marker — v4 marker 不持久化 review_outcomes)
 
-IF severity == SUGGESTION
-  能 fix 顺手 fix;不 fix 进 backlog,archive 不阻塞
+IF severity == suggestion
+  能 fix 顺手 fix;不 fix 走 ## Out of Scope / ## Future Work YAML 块进 backlog
 ```
 
-**不要把 CRITICAL 当 WARNING 处理**(走 ack 跳过):CRITICAL 是工具客观事实,无降级语义。若 AI 觉得不应该是 CRITICAL,只能在写入时用 candidate 路径让工具自己验证(沿 §2.3.3 A 不存在 CRITICAL→WARNING 降级路径)。
-
-## v0.4 兼容(severity 简码迁移)
-
-v0.4 的 review_outcomes 用单字母简码:
-
-- `S` = blocking severity(对应 v1.0 `CRITICAL` candidate 路径)
-- `C` = critical accepted(对应 v1.0 已 ack `WARNING`)
-- `L` = low severity(对应 v1.0 `SUGGESTION`)
-
-v1.0 fence 不接受 `S/C/L`,只接受 `CRITICAL/WARNING/SUGGESTION` 完整字符串。**简码 → 完整词的迁移由 9j sub-plan 实施**(`forge upgrade --resign-markers` 路径)。本 skill 在过渡期只接受完整词,遇到简码报错并提示运行 upgrade。
+**不要写 v3 marker 字段**(`review_outcomes` / `severity_candidate` / `candidate_type` / `finding_hash` / `severity_acked_by` / `automated` 等已删 — v4 `ReviewMarker` schema 校验拒绝写入)。
 
 ## The Bottom Line
 

package/dist/core/templates/skills/requesting-code-review.md

@@ -113,7 +113,7 @@ You: [Fix progress indicators]
 
 执行完成前核对 review 硬门槛自检清单:
 
-- AI 写基础 `.review-passed` marker。
-- `forge evidence record-review` 跑过(写 staging)。
-- `forge evidence freeze --kind review` exit 0。
-- 过程中遇 `forge ack propose` 退出(产生 pending)→ Read 并执行 `commands/ack-confirm.md` 等价流程,降级 prompt 让用户确认,经 `forge ack confirm`/`reject` 落 ack-log(AI 不得自 ack)。
+- 派了 fresh review subagent + 主代理逐条接受/拒绝 + 接受意见全部实施 + 测试通过(三条件满足)。
+- 写 `.review-passed` v2 marker(schema=`forge-review/v2`,5 字段;沿 `src/core/markers/types.ts`)。
+- 若有"已用证据反驳"的拒绝意见,**在对话内显式记录**(v4 marker 不再持久化 review_outcomes 数组,纯对话 audit)。
+- v4 已无 evidence-helper / freeze / ack 协议;不要再调相关子命令(v4 已删)。