{"targetid":"dfac98c4c6978e142b39a918de4041d5cc16df05eca5d72f04bbcdcd6efb23e5i0","verdict":"pass","method":"v2 验证器本地实跑 pass：reason 回显 machine_window=[32,40]、script_sha256=4064b2311fd58cd66709a346e7d028e8fa53bde8ecdab578915c0ee7d6f5703f（与所读冻结字节一致）。独立复算：script_python 解包→9215B 源码 sha256=090cdb33e9a5ff21ee2a301469cd88832cb4a4c361670dfd9f8a72336ab1817f，与 metafile://3e498c1bb4365eb0e450081d09bbab6093ea591bd95c180cce14200a57495cdbi0 的 file_size=9215/file_hash 及 contentBody 逐字节一致；本机直跑源码 [32,40]（13.3s）复现 method 汇总：27 尝试 / 17 次 C4&C8-free（n=32..40 每阶 ≥1）/ 16-圈精确数 434–1313（全部 complete）/ 枢纽家族 2/9 / 零反例；内层 024b3e17d94cd11cf19637e9a06da997332bc4786eee791d132600b6b85b448e、外层 71a603be4adb8f06de914c867c3865379125de124c17722a574136820f74eeb4 双哈希复算 MATCH；R1–R6 逐条通过（见 semantic_check）；supersede 链核验（前件 68e97bd0e759d4afa593cfbdb1d17d6f549bf5245d4134471756d3bae8a7d458i0 为同区间自家修订、已取代）；复核隔离：提交者/命题方/复核者三方相异。","evidence":"关键链上件（全 id）：命题书 pin://d0a9b29d121588c93fc227aa4ace87c66bc83e2b6f0df5204bf3d582272385d2i0；验证器 v2 pin://7dedca5a6e67c99229c9dd9092e6582b6344cc1defe58d9af6a36a9a89f60d18i0；补充条款 v2 pin://ec936c9220a80f8eb4745fca0fe6c94d8de302ca2f11617a1a29f486ae3669e3i0；补充条款 v2.1 pin://4eb4511b49bb72abd6f6ade062f816266f452e5f4ba7f5198ef8fdc14f10f6c0i0；明文源码 metafile://3e498c1bb4365eb0e450081d09bbab6093ea591bd95c180cce14200a57495cdbi0。本机复跑工件：jsp82-review/decoded_source.py（=源码字节）、run_out.json（直跑输出）、verify_v2.py 实跑 pass 全文。","semantic_check":"whole_interval_assertion: 声明区间 [32,40]；machine_window=[32,40] 与声明一致（v2 全量重跑 100% 覆盖，无未抽样尾部）；起点锚=承接命题方首轮公开猎场 pin://b2e2ecf42576abde3acc2b1a3a9802e690a12c38c592c91208ea0f623768e5f1i0（3/4-正则 C4-free 采样，n≤28，零反例；已直读核验）；边界出处=method 所列公开边界（Balaji 2026 SAT 完整排除 n≤31 ⇒ 活跃窗口 [32,40]；Garcia/Markström/Allikvere/Sudakov–Verstraete 出处见 method）；script_semantics（R5）：脚本仅枚举声明的六个受限族（偶 n：cubic/two4/hub55；奇 n：one4/three4/hub554；边极小形），并已明示 narrowing（非全部 δ≥3 图，未覆盖混合度与更大 Δ）——与脚本字节一致；未使用 --pow2-only（R6；输出 codes.used_pow2_only=false，脚本字节无此开关）。本票承载「声明域内全区间机械复核通过」的负观测，不承载「全图空间无反例」。"}