用途：Verify This 用于证明或证伪一个具体主张，而不是复述结论。适用于用户提出“verify this”“prove it works”“did this fix it”“show me the evidence”，或 bug 修复需要前后复现、UI/CLI/API/性能/内存主张需要测量、测试通过但用户可见行为仍需确认的场景。对“代码更整洁”这类模糊主张不适用，应先要求可测量的主张。
主要能力：将主张改写为可证伪形式，包含条件、指标和阈值；选择能证伪它的最小本地表面；从旧状态采集基线（merge base、父提交、失败分支或当前损坏复现）；用相同命令、数据、预热和环境从变更状态采集处理结果；对比原始产物，如数字、截图、终端记录、HTTP 响应、性能剖析、堆快照或测试输出；最终只返回一个结论：VERIFIED、NOT VERIFIED 或 INCONCLUSIVE。
本地表面：代码行为用聚焦的单元/集成测试或最小复现脚本；CLI/TUI 行为用 control-cli、终端记录或演示录制；UI 行为用 control-ui、截图、无障碍快照或浏览器 trace；API 行为用本地 HTTP/RPC 请求与响应 diff；性能用同机基线/处理计时或 CPU 剖析；内存用可疑操作前后的堆快照。
产物布局：在安全可写时使用 /tmp/verify-this/<claim-slug>/，包含 claim.md、timeline.md、baseline/、treatment/、diff/、verdict.md。若产物可能含敏感代码、提示词、截图、HTTP 正文或堆数据，除非用户同意落盘，否则只保留最小内联证据。
判定规则：VERIFIED 指基线与处理在预测方向上按声称阈值出现差异且无明显混杂；NOT VERIFIED 指行为未变、方向错误或未达阈值；INCONCLUSIVE 指无有效基线、信号噪声大、测量失败或环境差异使比较失效。输出格式为结论行、可证伪主张、证据（指标/产物：baseline、treatment、delta、threshold）、一段简短推理。不要弱化负面结果，明确的 NOT VERIFIED 同样有价值。