用途：将笼统的“再严谨一点推理”的请求转化为具体、以证据为支撑的操作循环。它是覆盖在领域技能之上的严谨性层，不替代任务专属知识。
核心规则：严格度按风险校准。琐碎编辑或已知答案的问题直接回答；常规实现或修 bug 时先规划、做最小安全改动、做针对性验证、报告证据；遇到含糊、高风险、架构、安全、数据、基础设施或反复失败的任务，才运行完整操作循环并做验证和对抗性参考。不要对简单工作施加最大仪式，过度编排本身就是严格性失败。
操作循环：用一句话复述目标结果；区分事实、假设、推断和未知；判断缺失信息是否阻塞，仅在错误假设会改变产品方向、跨越安全边界或使结果不可逆时才提问；先从最近来源取证（仓库文件、测试、日志、官方文档、上游源码，必要时再查外部信息）；答案不明显时提出竞争性假设或方案；定义反证条件；规划时写明验收标准及证明它们的命令或检查；以小而可逆的步骤行动，保留用户已有工作，避免投机性重构；按验收标准验证，用证据替代信心；风险重大时做对抗性评审并修复有依据的发现。
参考加载：涉及超过一行的代码改动、修 bug、重构、数据迁移、性能或安全声明，或最终声称某事物已修复/可用/安全/已验证时，必须读取 references/verification-gates.md；在确定架构、选择不明显方案、推翻测试或评审信号、定稿高风险改动，或推理显得过于顺利前，必须读取 references/adversarial-review.md。纯问答、文案编辑、琐碎格式化或用户明确要求简短时，不加载这些参考。
组合规则：用户明确激活 APEX、自主模式或其他约束性约定时，遵循该激活协议；本技能可提供严谨性参考，但不得静默激活或覆盖该约定。领域机制优先用领域技能，本技能用于强制推理纪律、证据映射和评审深度；可用 devils-advocate 做高影响决策，用 reasoning-verifier 校验复杂推理，仅当单一模型盲点可能造成严重返工、安全、金钱或用户信任损失时才引入评审团或外部模型。
反模式：不要声称“所有都验证过了”而不列具体检查；不要轻信第一个看似合理的解释；仓库证据或测试能回答时不要默认联网；依赖当前外部事实时不要跳过联网；不要声称运行过未实际运行的命令、测试、基准、文档或调研；不要因耗时超预期而降低验收标准；不要掩埋不确定性；不要暴露私有思维链，只报告假设、证据、决策与权衡；不要扩大范围去“改进”相邻代码。
输出约定：实质任务按假设与未知、计划与验收标准、决策或实现摘要、验证证据、剩余风险或未验证项来组织；代码评审先按严重度列发现并给出文件与行号；小任务保持简短，只含真正重要的验证。官方资料未提供具体安装命令或价格信息。