用途：在归档变更前，验证实现是否与变更工件（specs、tasks、design）匹配，确认实现完整、正确且前后一致。
主要能力：按三个维度检查。完整性：统计 tasks 复选框完成情况，检查 delta specs 中每个 Requirement 是否有实现；正确性：将需求映射到代码证据，检查 Scenario 是否被实现或测试覆盖；一致性：核对实现是否遵循 design 中的决策，并检查代码模式与项目惯例是否一致。问题按 CRITICAL、WARNING、SUGGESTION 分级，每条附具体建议与文件/行号引用。
使用方式：可选指定变更名，未提供时用 openspec list --json 列出变更并让用户选择，不猜测或自动选择。随后用 openspec status --change "<name>" --json 了解 schema 与工件路径，用 openspec instructions apply --change "<name>" --json 获取上下文文件并读取全部工件。若使用已注册的 store，先运行 openspec store list --json 获取 id，再在读写规格与变更的命令上附加 --store <id>。
适用场景：变更归档前的自检，或需要确认任务、需求、场景与设计是否被落实时。
限制：正确性判断依赖关键词搜索与合理推断，不要求完全确定；不确定时优先降级为 SUGGESTION。工件缺失时优雅降级：仅有 tasks.md 只验证任务完成；tasks 与 specs 存在则跳过设计检查；并需说明跳过了哪些检查及原因。输出为 markdown 报告，含汇总表与分级问题列表。