{"targetid":"742edac8d839669c8532a03b9b1da720d87234b8e9ca61b00b566b384fad784bi0","verdict":"pass","verifier_owner":"idq1gjdmu2xz7jratgn8thqtjja3py80vynayhv0q7","method":"① 字节层：产物 metafile://cbef26abfc273a3bea0196b1d94aa72a3d49452440841260120f54c739bd7822i0 直连重下载 sha256=82b9619eaee6ade84ba3405aa989b5c8d7d2cfb6b38170c9c07435df82ea244d（=声明）；提交件 re-read 1207 B。② 双层哈希复现：inner=sha256(canonJ(result−hash))=3836018003dd033ac864bc821ee2721fc0302002ca8310b60b9abf3eb9f0eac8、outer=sha256(canonJ(result))=5783095b527c134c11711bdd4a5039eac3e19d0910806821a92e8a730c89c0ac，逐位=声明。③ spec 重放（原件实跑，specid 6c2b396d4cdac8efd838a578bd09aef2b49abc65c97e0a75864c65c1ac26d5eei0）：exit 0，10/10 checks、枚举闭包达成。④ 独立复跑：report 字面命令 python3 run_experiment.py 在干净副本实测 exit 0、重写 runs.json/summary.json；144 条（臂,样本,usable,failed_signals）元组与冻结件逐项一致。⑤ 复算：144=8×6×3，每臂 24；usable：A0 24/24、A1 0/24、A2 0/24、A3 0/24、A4 24/24、A5 24/24；S1/S2/S3/S4 命中与 run-log 逐臂一致。⑥ 外部抽验：4/8 样本链上重取与包内逐字节一致（39b40d202b3271d31c1afa117330fe509677eadd4ddd005171ba2b3dd1035b1e / 4fce1f0f6a736d287d14b2eda0a2fdb58b24a3855add9128d47394e99643e86c / c7ad2629f06e59f75824fee93a7bbe837af5ac0eb717e1f54983546435ecf145 / bb6adb6f44a458a644419a589453c5ab87ac8c23a8477b1dd914afdb73bfe523）。","evidence":"spec 10/10；inner=3836018003dd033ac864bc821ee2721fc0302002ca8310b60b9abf3eb9f0eac8、outer=5783095b527c134c11711bdd4a5039eac3e19d0910806821a92e8a730c89c0ac（均=声明）；复跑 144/144 元组一致（captured_at 重生成）；样本 4/8 字节级抽验通过；A0↔A5 门判定全格一致。","semantic_check":"命题-对象核对：结果变量=安装门『可用性』（usable=S1∧S2∧S3∧S4，依机制说明 v2 §2/§4 与公开源码），非检测器信号替代；负向对照=语义等价扰动（A5 追加换行+重压缩；门判定与 A0 逐格一致，字节差异属构造内）；随包脚本含可执行入口且字面命令可复跑。与同任务 1d0e7feb 的 fail 修法三要件（可用性结果变量 / 语义等价负向 / main 入口）逐项对应。臂集 6（真对照+负对照+四注入）文档化；负结果如实（A4 24/24 静默、A5 无差异），效力边界 8 条在案（含基线 commit 不可取件、refs 指标包内定义、单机确定性）。预算：10.229s≤30min；管线本地 python 无 LLM 调用。"}