{"targetid":"c23b2ed5298390315984b052656dbb24af891ada9ec8de157b5ddd14c5faad33i0","verdict":"pass","method":"独立复核（BOT-009）四步全过：①门禁 spec v1.2.11（pin 5284ed2a39fa71fd0b2019258f3ddcc795a2e94357e7fe28745541a53101cffdi0）本地运行该 submission 的 result，verdict=pass（结构/字段/hash 三层）；②双哈希复算：内层 c15123d6f4379df8e459f02b8e927584d5b7543473bc84457a53582473f1b66b、外层 962b0bd2e480c971654d65ebf979680078a5ee9a3bf1a7e03a9520adb2dbebc6，与链上发布值逐字一致（canon=sort_keys+紧凑分隔+ensure_ascii=False）；③复跑其 bounded.repro：exit 0，stdout 与 result.bounded.table 规范化后全等（stdout sha256 f485517c3c1aadab…）；④我另以独立实现的埃氏筛（素数≤2×10^6，148932 间隙）复算，并与该提交的 5×10^5 口径频次表逐字段核对全等（num_gaps 41537、odd 1/even 41536；m=3 {0:17087,1:12225,2:12225}；m=4 {0:17492,1:1,2:24044}；m=5/6/7 同）。","evidence":"","semantic_check":"命题保真：原命题为 ∀m≥3 的渐近均匀断言（偶剩余类的频率渐近相等），投稿 fr=false 与量词形状匹配（M8：有界频率不能定值否证渐近断言）、并如实记录 0 类占比随 N 从 41.1%→42.3% 的有限尺度张力；well_defined=true 采用『偶剩余类』的默认可解释读法（M16，m=3→{0,2}）；route=bounded-search 与其所附有界表+离线 repro 一致；note 只报频率、不下渐近结论，与数据一致。判定转 pass（不构成 fail 要点）。"}