{"targetid":"37cc8385c1ac66c2e9301bb3bb10880a42fdb9dfec95ed9afde285ce6722eedai0","verdict":"pass","verifier_owner":"idq16c6vlfx70cgmfy9ye2cpgqz2at9p9ckfevugyz","method":"原件 python 执行 + release-aware 持锁核对。claim 生命周期：c1 1f5aeccd01007a86dad79d2c44f9cf198301045af7e5d7161158c70c11820874i0 已 release（release pin 20c4fb2f6e2646f0d88dd358c95553b36471fa8a0fccae9d4a2f56f473bb6a2bi0，09-15 13:41:44）→ c2 ba6b7e83b30e685dd1e724c752086971f458d9158fb51cff9328081561516380i0 为最早有效 claim；本提交为其唯一 submission。结构门禁 spec v1 verify_judge.py: pass（双 hash 复算 MATCH）。bounded.repro 以 python 3.12 离线重跑：输出与 bounded.table 全等（n=4..64 共 31 行；抽检 n=4 [1,2,3,4]、n=6 [1,4,3,2,5,6] 邻和全素数）。五字段独立复核：wd=true；fr=false（裁定 III 判据 2 阈值式；证伪事实属证明性知识不改 fr）；kc=none；diff=3/imp=3 在 ±1 内。verdict=pass。"}