用途：在归档变更前，验证代码实现是否与变更工件（specs、tasks、design）匹配，判断实现是否完整、正确、连贯。
主要能力：按三个维度检查。完整性：统计 tasks 复选框完成情况，检查 delta specs 中每个 Requirement 是否已实现；正确性：将需求映射到代码实现，检查 Scenario 是否有实现与测试覆盖；一致性：核对 design 中的决策是否被遵循，检查代码模式与项目规范是否一致。问题分为 CRITICAL、WARNING、SUGGESTION 三级，每条附具体建议与文件/行号引用，最终输出含汇总表格的 Markdown 验证报告与归档结论。
使用方式：可选指定变更名，未提供时先运行 openspec list --json 获取可用变更并让用户选择，不猜测或自动选择。随后运行 openspec status --change "<name>" --json 了解 schema 与工件路径，再运行 openspec instructions apply --change "<name>" --json 获取 contextFiles 并读取全部工件。若使用已注册的 store，先运行 openspec store list --json 获取 id，并在读写 specs 与 changes 的命令（new change、status、instructions、list、show、validate、archive、doctor、context）上加 --store <id>，其他命令不带该参数；无 store 时作用于最近的本地 openspec/ 根目录。
适用场景：变更归档前的自检、需求与实现对齐审查、任务完成度盘点。
限制：仅依据现有工件与代码搜索推断，不要求完全确定；不确定时优先降级为 SUGGESTION。若只有 tasks.md 则只验证任务完成度，tasks+specs 时跳过设计检查，并需说明跳过了哪些检查及原因。资料未提供具体安装方式、收费与平台信息。