用途：将代码库或错误报告转化为证据。未提供具体缺陷时，从代码与契约中发现候选缺陷，尝试用聚焦测试证明最强的候选；也支持对已报告问题的复现与修复。
主要能力：提供 hunt-and-prove（默认，发现并排序测试可疑缺陷）、reproduce-only（只复现并停止）、prove-fix（复现后修复）、flaky（多次受控运行排查时序、顺序、种子、隔离或并发相关失败）四种工作流。使用明确证据标签：REPRODUCED、NOT_REPRODUCED、NO_BUG_PROVEN、INCONCLUSIVE、STILL_FAILING、FIX_UNVERIFIED、FIX_REGRESSION、FIX_PROVEN。生成 outputs/bug-reproducer-evidence.json 与 outputs/bug-reproducer-report.md，需要时运行 python3 scripts/capture_command.py --label reproduced --output reproduced.json -- npm test -- path/to/regression.test.ts 捕获证据，并用 python3 scripts/compare_evidence.py reproduced.json fixed.json result.json --reproduction confirmed --full-suite passed 比对，报告用 python3 scripts/generate_report.py result.json context.json outputs/bug-reproducer-report.md 生成。
使用方式：默认只获得“仅检查”的同意。拒绝在 Gate 1 前创建或修改项目文件、安装依赖、运行格式化或迁移、改配置、生成报告、创建工作树或执行可能改变项目状态的命令。先只读阅读源码、配置、文档、现有测试、用户日志与 Git 历史，只在明显安全且无需改动项目时运行现有定向测试。然后在 Gate 1 展示候选表、拟建测试文件、命令与判定信号并停下等待批准；获批后只创建获批的测试，断言目标契约而非当前实现，并返回证据标签。复现且定位根因后再展示 Gate 2（生产文件、变更、保持行为、回归计划与风险），获得单独批准后才应用最小因果修复。修复后用同一命令证明 red to green，再跑更广的相关套件、类型检查、lint 或构建，并归类结果。
适用场景：从代码与契约中寻找可证伪的缺陷、分析用户提供的症状或堆栈、编写回归测试，以及验证修复。
限制：绝不凭代码审查断言缺陷，绝不在没有 red-to-green 证据时宣称修复完成；涉及文件、依赖、公开行为或方案变化需重新获批；不把安全态势、性能、格式、可维护性或缺失功能当作缺陷，除非违反明确产品契约；若未证实缺陷，应保留项目并明确说明这仅是所检查范围的证据，不代表整个代码库无缺陷。定价、平台支持、可用性等事实暂未提供。