/review-checklist

name: review-checklist
description: 复审清单整理与审查规范 — 创建、冻结、证据执行、状态更新与收敛关闭

Review Checklist Skill

职责

当任务需要正式复审、ECR、发布前复审、多轮收敛审查、外部 finding 批次处理或用户要求“复审直至收敛 / 按清单复审”时，本 Skill 负责创建和维护复审清单。

复审清单是执行真相源之一，不是报告里的临时段落。没有清单文件、没有逐项证据、没有状态更新或没有遗漏逃逸分析时，不得宣告复审已收敛。

触发条件

| 场景 | 是否触发 | |------|:--------:| | 用户要求复审、再次复审、收敛复审、全维度复审 | 必须 | | dev/fix 的 ECR 执行闭环复审涉及控制面、多文件、发布、模板、validate 或部署副本 | 必须 | | 外部审查报告、AI review finding、audit issue、代码评审发现进入批量处理 | 必须 | | 发布前审查、release readiness、tag/publish 前风险复查 | 必须 | | CP 确认后命中高风险、多模块、公开契约、配置、安全、package、docs consumer、控制面或多真相源场景 | 必须 | | 低风险单文件 typo 且无正式复审要求 | N/A + skipReason |

清单文件要求

| 字段 | 要求 | |------|------| | `reviewScope` | 本轮复审对象、目标版本、active requirement/task/bug id | | `sourceAnchors` | 需求、技术方案、用户文档、审查报告、finding 来源或 release 目标 | | `frozenChecklist` | 冻结后的检查项，不允许复审中静默删除 | | `dimensionSet` | 本轮维度集合；R2+ 必须体现 `ReviewDimensionDeltaGate` | | `evidence` | 每项绑定命令、代码落点、文档路径、页面、截图、构建产物或反向缺席扫描 | | `status` | `todo / running / passed / failed / blocked / N/A` | | `skipReason` | N/A 或未执行项必须写明原因、残余风险和替代证据 | | `escapeRecords` | 复审或实施中发现原清单遗漏时的追加记录，字段见 `ReviewEscapeRecordGate` | | `closure` | 收敛结论、未关闭项、下一步和报告引用 | | `evidenceLedger` | 多批次或矩阵验证命中 `BatchEvidenceLedgerStateGate` 时，冻结 baseline、actualSources、commands、status、finding / skipReason | | `progressCard` | 多批次命中 `BatchProgressCardGate` 时，记录 totalScope、completed、currentBatch、nextBatch、remaining、blockers、evidenceLinks | | `coverageClaims` | 按 inventory/machine/manual/sample/executed 分级；强覆盖声明绑定 FileEvidenceLedger |

必执行门禁

`ReviewExecutionPlanV1`、`ReviewEvidenceReceiptV1`、`ReviewStateSnapshotV1`、`EvidenceSaturationResultV1` 与 `StageTimingV1` 的确定性行为由 `hooks/_runtime/review-execution-contract.cjs` 拥有。本 Skill 负责人读清单与流程；checklist、report、memory、progress 和 final 状态只能投影同一个 snapshotDigest，不得分别手写状态。

PR-1 的机器投影写入任务内 `.memory/review-execution-pr1.json`（`ReviewExecutionEvidenceV1`），包含 `plan`、`receipts[]`、`saturationInput`、`snapshot`，以及 `candidate:{path,digest}`、`review:{path,digest}`、`artifacts:[{ref,path,digest}]`。路径均相对唯一 task-root，摘要来自实际文件回读；candidate 绑定当前 02 方案，review 绑定独立 03 复审。先完成实际语义复审、写入报告与证据，再由上述 owner 函数生成 plan/receipt/saturation/snapshot；不得用示例值、历史结论或自填通过状态替代实际复审。Stop 验证所有摘要、回执及相关证据；正文长度、固定章节词和通过字样不产生资格。未知或陈旧状态继续诊断为 UNVERIFIED，保持 advisory。

• `ReviewChecklistPrecreationGate`：正式复审前先创建清单文件或明确复用已有清单。
• `ChecklistFreezeFileGate`：开始执行前冻结清单范围、维度和来源锚点；新增项只能追加，不得静默改写已冻结项。
• `ReviewChecklistCompletenessGate`：每个清单项都要有状态、证据或 skipReason。
• `EvidenceExecutionGate`：不能只按审查报告文字验收；关键结论必须做本地代码、测试、构建、页面、文档或配置证据核验。
• `BlockerSnapshotCompletenessGate`：同一复审阶段存在多个安全独立检查时，先完成该阶段并冻结完整 blocker 快照，再统一修正；若因 invalid premise、破坏性副作用或证据污染提前停止，必须记录 stopReason、skippedChecks 和恢复入口。
• `RequiredCandidateEvidenceGate`：CP1/CP2 候选进入确认或复审清单时，记录 CandidateReviewBundleV1 分类与缺失项；CP1 缺 `RQMatrix / DomainRealityMatrix / ClaimEvidenceMatrix / EscapeAbsorptionQueue`，或 CP2 缺 `TDMatrix / BlockerSnapshot / ClaimEvidenceMatrix`，不得标本轮复审收敛。
• `SampleIssueExpansionGate`：用户给出样例问题时，样例只能作为 seed evidence；正式复审必须先展开全维度图，标明样例覆盖 / 未覆盖维度，再冻结清单。
• `ReviewAnchorMaterializationGate`：PR / TD / CP2 / 发布前审查锚点必须物化为可 grep 的清单项、章节或表格，不能只写“已语义覆盖”。
• `RequirementDimensionBindingGate` / `RequirementPriorityAndPhaseGate`：需求维度进入复审清单时，必须绑定 CP2、批次计划、验收证据和阶段关闭规则；多阶段项写 entry / exit / carryOver / closeRule。
• `ValidationLifecycleTraceabilityGate`（GR-044）：分阶段/状态机需求必须证明独立验证阶段（`ValidationPlanV1` / `BatchValidationResultV1` / `GlobalValidationResultV1`）；验收矩阵不能替代 validate→accept 边界；无结果或 fail/inconclusive 不得 final。
• `PhaseDeliverySemanticGate`：多阶段/路线图复审冻结 `phaseKind`、planningCoverage、sourceDelivery 与 `OriginalIntentReverseTrace`；不得把规划覆盖误报为源码交付。
• `ChecklistEscapeAnalysisGate`：发现遗漏或返修时，分析为什么上轮清单、维度或探针没覆盖。
• `ReviewEscapeRecordGate`：二次复审、返修或实施过程中发现新问题逃逸时，必须先追加 escape record，再补清单和重跑证据。
• `ChecklistStateFreshnessGate`：最终报告前核对清单状态、报告结论、audit-state、sessions、SUMMARY 和 dirty 边界一致。
• `ReviewDimensionDeltaGate`：R2+ 复审不得机械重复同一维度；重复维度必须有阻断项回归、高风险锚点、新证据或抽样理由。
• `PostConfirmationReviewScopeGate`：CP1 / CP2 / CP3 确认后先按 C19↔R 映射判定强度（轻量=R1 / 标准=R2 / 全面=R3 / 发布安全=R4），输出 **ReviewGradeCard**（`reviewScope`·`stage`·`cpPhase`·`riskClass`·`riskFlags`·`reviewClass`·`c19Label`·`contentPack`·`blockers`·`result`·`skipReason`）；命中 R3/R4 或高风险场景时必须创建或复用本清单，R1 降级写 `N/A + skipReason`。默认 post-confirmation/ECR 不得无理由落在 R1。
• `FeatureChecklistEvidenceMatrixGate`：需求维度、功能清单或公开能力进入复审时，必须把 capability group × evidence surface 绑定到当前证据；复审清单记录验证状态，不替代稳定 Profile feature inventory。
• `BatchEvidenceLedgerStateGate`：多批次、矩阵验证、长链路吸纳或发布前检查必须冻结 EvidenceLedger，区分 baseline-confirmed、executed-passed、partial、failed、not-started，且每项有 actualSources、commands、status、finding 或 skipReason。
• `BatchProgressCardGate`：多批次最终报告、记忆和回复必须同步 Progress Card，覆盖总范围、已完成、当前批、下一批、剩余项、阻塞/风险和证据链接。
• `ChecklistStateMaterializationGate`：每轮 clean、streak 增加或 closed 声明前，必须重开当前清单，以同一个 `ChecklistStateSnapshot` 原子核对 header、冻结项、轮次表、Evidence Ledger、Progress Card、Closure 六区块的 `currentRound / zeroFindingStreak / currentBatch / remaining / blockers / openFindings / closureState`。任一区块 stale、缺字段或互相冲突时，本轮无效且 streak 不增加；修正后必须从受影响轮次重新执行，不能只改文案。
• `ReviewExecutionPlanningGate`：复审执行前以 workflow/stage/userIntent/candidate/changed+affected/risk/claims/dimensions/evidence/exclusions 形成 `ReviewExecutionPlanV1`；未知 stage/risk/scope、changed 不属于 affected closure 或身份无效时 fail closed 为 R4/full-required。文件少不得降低控制面、公共契约、安全或发布风险。
• `ReviewEvidenceFreshnessGate`：receipt 必须绑定 plan/candidate/stage/scope/dimension/claim/lens、rule/skill/probe、impact graph、command/environment/runId、dependency/consumer/intent/risk digest；failed/inconclusive/open/blocker 或任一绑定变化均 stale 且不可复用。清单结论含“已验证 / 推荐 / 可确认 / 完整 / 采纳外部 finding”等 strong claim 时，追加 `evidence-freshness`：生成或引用 `ClaimEvidenceIndexV1`、`EvidenceFreshnessReceiptV1`、`StaleEvidenceLintDecisionV1`；summary-only 只能作为 navigation hint。
• `EvidenceSaturationGate`：适用 dimensions/claims/fresh evidence 完整、UnreviewedRelatedSet 为空或逐项具备 reason/authority/upgradeCondition、open/blocker/stale=0、独立/负向/fallback/dirty boundary 达标才通过。稳定 receipt 按内容身份抽样 5%（最少 3、最多 20）；任一 mismatch 立即 full-re