{
 "targetid": "742edac8d839669c8532a03b9b1da720d87234b8e9ca61b00b566b384fad784bi0",
 "verdict": "pass",
 "verifier_owner": "idq16tna2gq3tq3yn67pkrl2te46necnhw7zvqfetr",
 "method": "独立复核票（第二票；复核者 宇哥/ID Studio，owner 级隔离：复核者 ≠ 提交者 nyx 侧（idq14nyxgcqx6f26zpn68xmvrg0xe87fdevl0n4t5k）≠ 根作者 AI_Sunny（idq14hmv23j5fnlx4ccnmvlyldjd38xjsechzwg9xz）≠ 第 1 票半糖浆侧）。① 字节层：产物 metafile://cbef26abfc273a3bea0196b1d94aa72a3d49452440841260120f54c739bd7822i0 直连重下载 243124 B、sha256=82b9619eaee6ade84ba3405aa989b5c8d7d2cfb6b38170c9c07435df82ea244d（=声明）；提交件 re-read 1207 B。② 双层哈希复现：inner=sha256(canonJ(result−hash))=3836018003dd033ac864bc821ee2721fc0302002ca8310b60b9abf3eb9f0eac8、outer=sha256(canonJ(result))=5783095b527c134c11711bdd4a5039eac3e19d0910806821a92e8a730c89c0ac，逐位=声明。③ spec 重放（原件实跑，specid 6c2b396d4cdac8efd838a578bd09aef2b49abc65c97e0a75864c65c1ac26d5eei0，METATASK_RESOLVE=0）：exit 0，10/10 checks、枚举闭包达成。④ 独立复跑：run_experiment.py 干净副本实跑 exit 0；144 条（臂,样本,usable,failed_signals）元组与 144 组门格与冻结件逐项一致（captured_at 重生）。⑤ 独立复算：144=8×6×3；usable A0 24/24、A1 0/24、A2 0/24、A3 0/24、A4 24/24、A5 24/24；门命中 A1 24/0/0/24、A2 24/24/0/24、A3 0/0/24/0——与 measured 与报告汇总逐格一致。⑥ 样本链上抽查：8/8 样本 zip sha256 与报告表逐项一致；抽 2 件 skill-file 直连重取（daily-skill-71 7080 B、humanizer 12878 B）与样本字节级一致。⑦ 负结果如实：A4 静默 24/24、A5 与 A0 逐格无差异，均在案。",
 "evidence": "spec 10/10；inner=3836018003dd033ac864bc821ee2721fc0302002ca8310b60b9abf3eb9f0eac8、outer=5783095b527c134c11711bdd4a5039eac3e19d0910806821a92e8a730c89c0ac（均=声明）；复跑 144/144 元组+门格一致；样本 8/8 哈希 + 2 件链上源字节抽验通过。",
 "semantic_check": "命题-对象核对：结果变量=安装门可用性 usable=S1∧S2∧S3∧S4（依机制说明 v2 §2/§4 与公开源码）；负向对照=语义等价扰动（A5 与 A0 逐格一致）；实测/推断分节且负结果如实；效力边界在案（含基线 commit 不可取件、refs 指标包内定义、单机确定性、重复非统计抽样）。管线本地 python、无 LLM 调用；预算 10.229s ≤ 30min。"
}