sdlc-verify

sdlc-verify 是 acourtiol/ai-sdlc 中的一个技能，定位是“在全新上下文中，对完成的意图针对已接受的成果做独立复核”，并写出一份简短的 report.md。

用途

它用于 SDLC 流程中的收尾前复核。默认在每次 sdlc-apply 之后对每个意图执行，理由是：实现者检查自己的工作时会偏宽松，漏掉新读者能发现的问题。用户可以对某个意图或某次运行豁免此步骤；否则不应从 apply 直接进入 close。

独立性要求

审阅者必须没有看过实现对话。可使用全新子代理（同一模型也可以）或独立的全新会话；角色名或默认调度并不能证明隔离，因此需要确认。实现者不能通过自己的复核。审阅者除 report.md 外不得编辑任何内容。如果不存在独立路径：critical 层级写出 blocked 报告；change 层级在 ## Result 中写明“未独立复核”，由用户决定是否接受。

复核层级

change 层级为轻量复核：仅检查验收项、diff 和受影响的检查。critical 层级在此基础上增加 Spec、迁移和失败路径检查。

交接内容

只向审阅者提供：仓库路径、slug、已提交候选（reviewed_head）、intent.md 中的基线、intent.md 的路径，以及用户决定性请求的原文。不要提供已完成内容的摘要或原因说明。

审阅者做什么

检查快照：HEAD 等于 reviewed_head，没有未提交改动触及 diff 中的文件（他人无关的脏文件可忽略），步骤已勾选，## Result 已填写；否则视为 blocked。

双向对照用户原话、意图和 diff：每个被请求的结果都真实交付（不是手动兜底或测试替身），且没有添加用户未要求的内容。

阅读完整的 diff base..reviewed_head：逻辑、信任边界、错误处理、任何被改动共享契约的调用方回归、与既有模式的一致性。

自己运行受影响的检查。仅当检查原始输出、代码、配置和命令都匹配时才能复用早先结果；绝不可凭信任接受声明。

实际演练每个验收项。对于 UI，在运行中的本地应用里走主路径和一条错误路径。对于管线，查看消费方或发出的请求，而不只是存储值。对于有状态流程，查看失败并重试后持久化的状态。对于迁移，在一次性数据库上确认从已应用历史的升级保持数据完整。

绝不触碰生产或共享默认数据库。对于 critical 层级，或存在无关脏文件时，在 reviewed_head 的分离检出中运行检查（git worktree add --detach <tmp> <reviewed_head>），之后移除。

遇到第一个 CRITICAL 即停止。不要重跑已有保留原始输出可证明的检查。

将验证范围限定于本次改动及其真实影响范围。不要重放无关功能的路径，也不要重新认证整个产品。

报告

pass 需要每个验收项都有证据、存在已提交候选、且无 CRITICAL 发现。报告保持未提交；close 提交从不需要它（文件夹会被删除）；在此之前先阅读它。若在 reviewed_head 之后修改了被审阅文件，报告即失效，需要重新复核。fail 之后的修复由 sdlc-apply 完成；新的全新审阅者阅读发现和修复提交，而不是重看整个改动。第二次 fail 会停止循环：向用户报告并给出最小复现。

适用场景

适用于已完成实现、准备收尾前的独立复核，尤其适合对每个意图默认执行验证的 SDLC 工作流，也可用于存在 critical 层级需求（Spec、迁移、失败路径）时的加强复核。

限制

审阅者必须真正独立，无法保证隔离时只能受阻或标注未独立复核；审阅范围限定在本次改动及其影响范围，不重放无关功能、不重认证整个产品；报告长度限制在 40 行以内；不得触碰生产或共享默认数据库；report.md 本身不提交。关于收费、价格、平台等信息，资料中暂未提供。