用途：double-check 是对已完成交付物做自动最终验证的技能，让用户不必自行复核。它验证输出，不重跑任务；在任务完成之后、交付之前运行，且不对自身输出再运行，每份交付物只做一次。
触发方式：在任何 fable-mode 运行（fable-mode、fable-fable、fable-opus、fable-sonnet、fable-haiku）结束时自动作为交付闸门调用；也可按请求触发，如“double check this”“verify this”“make sure this is right”。若某次 fable 运行已对最终交付物做过冷验证（报告以 FINAL-COLD-CHECK: 行结尾且为 yes），则只做接缝检查，跳过其余部分；该行缺失不视为已检查。
跳过条件：琐碎、可逆、低风险且出错无代价、立刻可见的输出可跳过，并用一行说明原因。当交付物要求用户删除数据、更改系统或安全设置、花钱或对警告采取行动时，绝不跳过。
流程：1）从交付物提取可证伪声明（C1、C2…）与用户需求（R1、R2…），每项指定确切检查方式，无法指定检查的标为 UNVERIFIABLE。2）判断运行时：有 Agent 工具时启动全新检查代理面板，检查者只读、不接收主代理的推理或倾向；Haiku 并行做机械检查，Sonnet 检查需求覆盖与内部一致性，仅在检查者分歧时用 Opus 裁决。无 Agent 工具时降级为单遍自检，并明确标注。3）每项强制给出 PASS/CONFIRMED、FAIL/REFUTED 或 UNVERIFIABLE 三态判定，须附具体命令或观察证据，“看起来没问题”不算判定。4）检查综合接缝：从即将交付的文档而非中间产物提取声明，重点查被升级的模糊表述与把代理指标当成真实量。5）任何 FAIL 先修复，再重跑该特定检查；全部 PASS 或明确 UNVERIFIABLE 才交付。6）交付时附简短摘要，列出声明与需求数量、PASS 数、FAIL 后修复数、UNVERIFIABLE 数及所用检查者。
限制：检查者只读，仅主会话可修改；默认面板较小（2–4 个 Haiku 包 + 1 个 Sonnet），仅分歧时升级 Opus；无证据不构成发现。资料未提供收费、价格与平台支持信息。