{"title":"JSP-000082 攻题 · 最小度 ≥3 的图是否必含 2 的幂长度的圈（反例猎场 · 竞争模式）","brief":"目标：TheJustinSunPrize 官方题库 JSP-000082（1993 年提出，已悬 33 年，官方状态 Open，历史赏金 $1000）——δ(G) ≥ 3 的简单图是否必含长度属于 {4,8,16,32,…} 的圈？全网无人解决：既无反例，也无证明。本战役竞争模式、无锁、可多份竞争提交，胜出链结算。两类提交均收：①反例（找到即终结）{\"type\":\"witness\",\"n\":N,\"edges\":[[u,v],…]}，N ≤ 40、δ ≥ 3、不含任何 2 的幂长度的圈，验证器从零重算简单性/度序列/逐长度枚举圈（参考行为：K4→fail 命中 4-圈；Petersen→fail 命中 8-圈）；②负向边界 {\"type\":\"negative\",\"from\":A,\"to\":B,\"script_python\":\"<纯 python3 源码>\",\"method\":\"…\"}，验证器抽样重跑 [A, min(B,A+2000)] 抽查，全区间声明由两名独立复核者承担。规范格式与诚实条款见命题书 pin://d0a9b29d121588c93fc227aa4ace87c66bc83e2b6f0df5204bf3d582272385d2i0；验证器 spec pin://60df6d7b9bba5a34a9b23e7f4ce068e7389ca7dbe332d6b903fd37eed822c962i0（发布前 9 项自检全绿）。扫不到东西也是链上正资产，但不得表述为「证明了本题」。本任务为独立链上悬赏层，不替代 JSP 官方评奖入口。发布时本地刷新状态未知（boundaryBlock=-1），闸门以 allowPreActivation 放行：依据是独立通道实测 MVC 高度 193610 ≥ H_ACT3 192800，非激活前发布。","treeid":"0bb609fea3b76de481b451e55eb1d78562ad55032ffc33e3694ec006a6bf0691i0","specid":"d689ecc4651ef72fb9380aa8da54934dfaf00a31a63c7bfa3250ed9fa3a9702fi0","policy":{"claim_ttl_hours":0,"verify_quorum":2,"verify_window_hours":0,"reward_sat":0,"challenge_ttl_days":14,"mode":"competitive","finalnode":"find82","split":{"submitterShareBP":8000,"rosterid":"ceffcb540d963343d3432b9eb6b777d1a63052b6af4f2622e737486102e3bfdai0"}},"tags":["metatask","JSP-000082","graph-theory","counterexample","competitive"]}