Evidence ledger
Results you can inspect.
The canonical public ledger lives on Hugging Face Storage. Campaigns, fixtures, manifests, and verification notes are published there — not only summarized here.
Open HF evidence ledger →What is in the ledger
Curated NitroSAT docs and fixtures, a large public CNF corpus, Navokoj benchmark outputs, verifier scripts, reports, research index, visual assets, and MANIFEST.sha256. Results span distinct campaigns and configurations — always check the receipt for hardware, command, budget, and verification status.
“Receipt exists / migrating” means the result is established in the working corpus but may still be landing in the public bucket. It does not mean unsupported.