compute — {{slug}}

Verifier plus certificate. Every claimed number needs an independent check that runs from the files in this folder. SAT UNKNOWN is not a bound; search residue is not a lower bound.

LEAVES.md is the live finite-handle queue. Each quest folder q<n>/ may hold CLAIM.md plus a verifier. run_all.sh exit 0 means the CLAIM holds.