用途:Verify This 用于验证某个具体、可证伪的行为主张,而不是复述改动。适用于用户说“verify this”“prove it works”“did this fix it”“show me the evidence”,或需要修复前后复现、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 同样有用。
限制:这是仅限显式调用的本地实验,不适用于模糊主张;资料未提供收费、价格、平台或安装命令等信息。