Finite-domain certificate
Inspect the deterministic certificate and independent scalar replay for all 256 retained firmware inputs.
Open the certificate resultEvidence
Inspect the support for every bounded claim.
The website points to immutable v0.32.0 records. GitHub remains canonical for artifacts, methods, negative results and limitations.
Independent comparison
Compare retained results against exact reference routes and public solver baselines.
Open a retained baselineRepeat the workflow
Use versioned commands, pinned inputs and explicit acceptance rules.
Open reproducibility guideSee what remains open
Production suitability and novelty are tracked as gaps, not implied by successful experiments.
Open gap register