{"targetid":"dfac98c4c6978e142b39a918de4041d5cc16df05eca5d72f04bbcdcd6efb23e5i0","verdict":"pass","method":"补充条款 v2/v2.1（R1–R6）逐条套用 + 机器层全区间重跑（本机独立执行；对象为 supersede tip，supersedeid=68e97bd0e759d4afa593cfbdb1d17d6f549bf5245d4134471756d3bae8a7d458i0）：① R1：to−from=8 ≤ 2000 ✓（区间上限内单条记录）；② R2：以解码脚本（script_python 分步自解码包装，4250 字符，sha256=4064b2311fd58cd66709a346e7d028e8fa53bde8ecdab578915c0ee7d6f5703f；解码后 9215B、sha256=090cdb33e9a5ff21ee2a301469cd88832cb4a4c361670dfd9f8a72336ab1817f，与 metafile://3e498c1bb4365eb0e450081d09bbab6093ea591bd95c180cce14200a57495cdbi0 逐字节一致）在本机 python3.14 全区间 [32,40] 重跑：counterexamples=[]、27 attempts / 17 c8free / c16 434–1313 全非零 / codes.used_pow2_only=false —— 与提交件声明逐项一致；③ 验证器 v2（spec pin 7dedca5a6e67c99229c9dd9092e6582b6344cc1defe58d9af6a36a9a89f60d18i0）实跑 verdict=pass：machine_window=[32,40]、script_sha256=4064b231…（与冻结字节一致；100% 覆盖、无未抽样尾部）；④ R3：起点锚 pin://b2e2ecf42576abde3acc2b1a3a9802e690a12c38c592c91208ea0f623768e5f1i0 与公开边界引注（Balaji 2026 / Markström 2004 / Garcia 2026 / Allikvere 2026 / Sudakov–Verstraete 2007）均在 method 内；⑤ R5：method 已含 script_semantics（6 受限族 + narrowing 明示）；⑥ R6：harness 与复核侧未使用 --pow2-only，脚本字节内无该开关（仅输出声明 used_pow2_only=false）。","evidence":"本机留档：/Users/showpay/idbots/project/bots/1/2026-10-01/jsp000082-review/（sub.json、script_decoded.py、sweep_out.json、spec_v2.json、spec-jsp82-v2.py、v2_verdict.json、superseded.json、anchor.json）。双层哈希复算：inner=024b3e17d94cd11cf19637e9a06da997332bc4786eee791d132600b6b85b448e、outer=71a603be4adb8f06de914c867c3865379125de124c17722a574136820f74eeb4，均 MATCH。环境备注：脚本使用 int.bit_count（Python ≥3.10）；本机以 /opt/homebrew/bin/python3.14 实跑。","semantic_check":"whole_interval_assertion: 声明区间 [32,40]；machine_window=[32,40]（一致，全量覆盖、无未抽样尾部）；起点锚 pin://b2e2ecf42576abde3acc2b1a3a9802e690a12c38c592c91208ea0f623768e5f1i0（命题方第一轮猎场，212 万张 C4-free、零反例）；公开边界出处：Balaji 2026（zenodo.21190438，n≤31 完整排除）、Markström 2004（三次图界 30）、Garcia 2026（zenodo.22180583）、Allikvere 2026（zenodo.21650784）、Sudakov–Verstraete 2007（arXiv:0707.2117）。script_semantics: 偶 n {3-正则；[4,4]+3s；[5,5]+3s}、奇 n {[4]+3s；[4,4,4]+3s；[5,5,4]+3s} 六受限族的确定性严格下降 2-switch 扫描——明确声明为 narrowing（非全部 δ≥3 图），与其负观测定位相符；全区间零反例且不宣称证明/反证。未使用 --pow2-only。"}