Run it
Build and inspect a code
cargo run -p qec-code --bin qec-code -- list
cargo run -p qec-code --bin qec-code -- show steaneResults
Exact results for small reference codes
Random-window searches report candidate upper bounds; they do not prove exact distance.
| Code | Method | Distance |
|---|---|---|
| Steane | Exact ILP | 3 |
| Toric d=4 | Exact ILP | 4 |
| Larger constructed codes | Random windows | Upper bound only |
Pipeline evidence
Random-window search
This workflow is local-only; generated outputs are not published as checked benchmark claims.
Loading CSS-code evidence.