用途：在归档 OpenSpec 变更前，验证实现是否与变更工件（规格、任务、设计）匹配。使用时机由用户要求校验实现是否完整、正确、一致时触发。
主要能力：按三个维度生成校验报告。完整性：统计任务完成度与规格覆盖；正确性：检查需求实现映射与场景覆盖；一致性：检查设计遵循与代码模式一致。问题分级为 CRITICAL、WARNING、SUGGESTION。支持 ADDED、MODIFIED、REMOVED、RENAMED 需求的处理规则：REMOVED 需确认行为已移除，RENAMED 只改名不改行为。校验是建议性的，不实现任务、不归档变更。
必要用法：先确定变更名，可从上下文推断或运行 openspec list --json 列出变更供选择。用 openspec status --change "<name>" --json 了解 schema 与工件。用 openspec instructions apply --change "<name>" --json 获取规划上下文与工件文件。若使用 store，先运行 openspec store list --json 获取 id，并在读写 specs 与 changes 的命令上加 --store <id>。写入前可用 openspec list --json 检查项目是否有 openspec 根目录（root 对象表示已初始化，root: null 表示未初始化）。
适用场景：OpenSpec 项目的变更归档前检查、需求实现追踪、场景测试覆盖检查。
限制：不适用于未使用 OpenSpec 的项目；校验不替代归档自身检查；缺失证据标为未验证；只有任务证据时其余适用检查标为未验证；schema 未定义的检查标为不适用。未提供价格、平台支持范围等信息。