用途：以“证伪而非安慰”为原则，对补丁、变更符号、既有行为、回归测试或已报告缺陷进行对抗式审查，通过可执行反例检验目标是否真的成立。
主要能力：构建契约矩阵，记录应保持的正向行为、不得改变的行为、来源、可观测判定器与可能攻击；按失败形态选择攻击方法，如边界/解析/序列化用属性或蜕变测试，重构与兼容性变更用差分测试，新测试用定向变异测试，解析器与公开输入面用覆盖率引导或语法感知模糊测试，有状态 API 用生成操作序列校验不变量，时序/重试/并发用故障注入与受控调度。
使用方式：先框定挑战目标并检查仓库说明、git 状态、相关 diff、邻近测试与既有验证命令；再建立契约矩阵并排序证据强度（强、支持性、推测性）；随后建立基线，在隔离工作树或安全检出中复现已知坏版本；执行攻击并挑战测试本身，检查断言是否同义反复、异常是否被吞、过滤器是否丢弃几乎全部输入；保留测试前需证明其能对已知坏行为或变异体失败、对候选行为通过，并恢复所有临时变异；最后给出有界结论：Broken、Survived、Ambiguous 或 Blocked。
适用场景：对抗式审查、补丁破坏、边界用例、不变量、差分检查、回归测试有效性验证。
限制：无强契约时应返回 Ambiguous；无法建立基线、环境或判定器时返回 Blocked；不得重置、暂存或覆盖无关工作，生产变异只能在一次性工作树或副本中运行并最终丢弃；未发现反例仅表示目标在已执行攻击范围内存活，不构成正确性证明。具体命令、依赖与工具链细节暂未提供。