用途:verify-this 用于对某个具体主张做可重复证据的验证,而非复述。适用于用户要求“验证这个”“证明它有效”“这个修复了吗”“给我看证据”时;适用于 bug 修复需要前后复现、UI/CLI/API/性能/内存主张需要测量、测试通过但用户可见行为仍需确认的场景。对“代码更干净了”这类模糊主张不适用,需先要求给出可测量的主张。
主要能力:将主张改写为可证伪形式,包含条件、指标、阈值;选择能证伪它的最小本地表面;从旧状态采集基线(合并基点、父提交、失败分支或当前损坏复现);用相同命令、数据、预热和环境从变更状态采集处理结果;对比原始工件(数字、截图、终端记录、HTTP 响应、性能剖析、堆快照或测试输出);最终只返回一个结论:VERIFIED、NOT VERIFIED 或 INCONCLUSIVE。
本地表面:代码行为用聚焦的单元/集成测试或最小复现脚本;CLI/TUI 行为用 control-cli、终端记录或演示录制;UI 行为用 control-ui、截图、可访问性快照或浏览器 trace;API 行为用本地 HTTP/RPC 请求与响应差异;性能用同机基线/处理计时或 CPU 剖析;内存用可疑操作前后的堆快照。
工件布局:在可安全写入工件时,写入 /tmp/verify-this/<claim-slug>/,包含 claim.md、timeline.md、baseline/、treatment/、diff/、verdict.md。若工件可能含敏感代码、提示词、截图、HTTP 正文或堆数据,除非用户同意存盘,否则只保留最小内联证据。
结论规则:VERIFIED 表示基线与处理在预测方向上按主张阈值出现差异,且无明显混杂因素;NOT VERIFIED 表示行为未变、方向错误或未达阈值;INCONCLUSIVE 表示无有效基线、信号嘈杂、测量失败或环境差异使对比失效。
输出格式:先给出结论,再列 Claim、Evidence、Reasoning。Evidence 中写明 metric/artifact 的 baseline、treatment、delta、threshold。不要弱化负面结果,清晰的 NOT VERIFIED 是有用的。
限制:资料未提供安装命令、价格或收费方式、支持平台等信息;该技能要求主张可测量、基线可采集,对模糊主张需先要求量化,且敏感工件默认不应落盘。