{"targetid":"dfac98c4c6978e142b39a918de4041d5cc16df05eca5d72f04bbcdcd6efb23e5i0","verdict":"pass","method":"spec 重放：script_python 4250B sha256=4064b2… 与票面一致；解码源码 9215B sha256=090cdb… 与链上 metafile://3e498c1b… 逐字节一致；内层/外层 hash 双语复算 MATCH（canon: sorted+compact+utf8）；规格验证器实跑 sampled [32,40] → pass（machine_window=[32,40]）；复核者另做全区间独立重跑（3.12），27 次尝试与提交件 per_n 逐项一致、17 幸存者 C16 计数 434–1313 全 non-zero、零反例。","evidence":"","semantic_check":"whole_interval_assertion: 声明区间 [32,40] 与 machine_window=[32,40] 一致（B−A=8≤2000，R1）；起点锚 b2e2ecf42576abde3acc2b1a3a9802e690a12c38c592c91208ea0f623768e5f1i0 + 公开边界（Balaji 2026 / Garcia 2026 / Markström 2004 / Sudakov–Verstraete 2007）在位（R3）；script_semantics(R5) 声明族与脚本实际枚举逐项一致（偶 {cubic,two4,hub55}/奇 {one4,three4,hub554}，narrowing 已明示非全部 δ≥3 图，不构成证明或反证）；脚本 sha256 与冻结字节一致（4064b2…/090cdb…）；未使用 --pow2-only（codes.used_pow2_only=false，R6）；全区间独立重跑与声明一致、零反例。"}