用途：把已复现的失败现象追溯到因果机制与所违反的契约，适用于缺陷排查、CI 失败定位与异常行为分析。
主要能力：要求先记录问题、影响范围、请求操作与成功标准；为每个关键主张建立证据条目（CLAIM/EVIDENCE/KIND/VERIFIED/DEPENDS ON/MISSING）；区分运行时观察、源码观察、需求权威与假设；按机制而非文件名归类症状；在安全前提下完整复现并最小化可复现用例；对间歇性失败预设确定性或概率性假设、设置对照与停止规则；分别追踪产品路径（意图→入口→路由→状态→执行→输出→消费方）与测试路径（契约→夹具→边界→断言→裁决）；构建症状→机制→触发条件→结构性诱因的因果链；并按“实现违反有效契约、交接处契约冲突、测试期望失效、夹具/CI 失真、意图未定义”等情形给出修复分类与交接。
使用方式：以输入参数指定待查问题；先识别可用 shell、诊断工具、MCP 工具与隔离环境，保存失败版本 SHA、命令、完整输出、退出状态与运行版本等信号，再执行复现、缩减、对照实验与源码追踪。若可与 improve-processes 衔接，则传入同一契约、证据链、反例与不确定性记录。
限制：调查请求不授权修改产品或测试；执行不可用或被禁止时须返回部分证据评估，不得编造复现或根因；需求复现不等于授权生产写入、部署等不可逆操作；训练记忆、类比和未检验解释不算运行时证据。结尾按固定字段呈现问题、契约、复现、证据链、首次分歧、根因、修复与验证，无法证实的只能标记为假设。