用途:在 spec-superflow 变更实现完成后收尾,验证已批准行为是否真正实现,总结改动,识别剩余风险与后续工作,并准备归档或交接。
主要能力:执行三维验证——正确性(运行完整测试套件,要求零失败)、完整性(对照执行契约任务批次与实际 diff,核对 SHALL/MUST 需求是否有实现产物)、一致性(对照 design.md 决策检查代码命名、模式与架构);检测范围外改动;生成验证报告表并给出 PASS/CONDITIONAL/FAIL 总判定;检查 delta specs 是否需要同步。
使用方式:当用户说“wrap this up”“give me the final summary”“is this ready to close”“what remains before we ship”“prepare the handoff”时调用。需读取 execution-contract.md、tasks.md、相关 specs/ 及变更摘要。验证通过后运行 node scripts/spec-superflow.mjs state transition <change-dir> closing 更新 .spec-superflow.yaml 状态;若存在 delta specs,先路由到 spec-syncer 再归档。
限制:未在本会话运行验证命令不得声称通过;禁止在证据前使用 should、probably、seems to、Great!、Perfect!、Done! 等词;FAIL 时不得声称完成,需修复或退回 execution-governor;CONDITIONAL 需用户明确接受警告后才继续。hotfix/tweak 模式执行轻量验证:检查改动文件存在且非空、对 .mjs/.js 运行 node --check,跳过完整五步验证,不生成 delta specs,但仍记录 DP-6 与 DP-7。归档规则:不得盲目归档;若实现偏离契约,需先回到 bridging。具体命令输出与退出码需以实际运行为准。