用途：在归档前验证一个 spec-driven 变更是否完整、正确实现，检查任务完成、实现证据与规范对齐。
主要能力：列出活动变更；执行格式检查；检查任务完成度与未决问题；核对实现证据；构建变更本地证据集并审计规范映射覆盖与未映射证据；检查规范对齐（提案、增量规范格式与路径镜像、config.yaml 规则、Unchanged Behavior）。
使用方式：需项目根存在 .spec-driven/ 目录，否则先运行 /spec-driven-init。命令包括：node {{SKILL_DIR}}/scripts/spec-driven.js modify；verify <name>；verify-spec-mappings；apply <name>；audit-spec-mapping-coverage <spec-path> [--implementation <repo-path> ...] [--tests <repo-path> ...]；audit-unmapped-spec-evidence [--implementation <repo-path> ...] [--tests <repo-path> ...]。按步骤选择变更、格式检查、任务完成检查、未决问题检查、实现证据检查、映射证据审计、规范对齐检查，最后输出分级报告（CRITICAL、REPO DEBT、WARNING、SUGGESTION）并建议下一步。
限制：测试就绪错误、映射格式错误、未完成任务、未决问题、无证据的已完成任务、空 specs/ 却有真实行为变更、非标准规范格式等均视为 CRITICAL；仓库级结构映射错误与变更本地遗漏分开报告；证据不明确时取较小确信集并报告歧义，不臆造语义覆盖。