rylanmalarchick/speculative-qec
Watch
1
0
Fork
You've already forked speculative-qec
 0
Code Issues Pull requests Projects Releases Wiki Activity
Verifier side of speculative window decoding for surface-code QEC: a predictability bracket, a machine-checked blast-radius bound, and a recover loop. arXiv:2607.13062.
39 commits 1 branch 0 tags 277 KiB
  • Python 95.1%
  • Lean 4.9%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
rylanmalarchick 078f6e4467
 lean: fix stale doc comments (subsidy IS formalized; prob_allFaulty proof is complete)
2026-07-28 16:26:06 -06:00
figures Phase 0 / head A: predictability + speedup ceiling for speculative QEC decoding 2026-06-19 11:12:37 -06:00
lean lean: fix stale doc comments (subsidy IS formalized; prob_allFaulty proof is complete) 2026-07-28 16:26:06 -06:00
results Phase 0 / head A: predictability + speedup ceiling for speculative QEC decoding 2026-06-19 11:12:37 -06:00
scripts repo: drop the paper/ placeholder from tracking 2026-07-07 15:33:55 -06:00
specqec code: drop paper-narrative scaffolding from comments; rename run_phase0 -> run_bracket 2026-07-06 21:06:12 -06:00
tests code: drop paper-narrative scaffolding from comments; rename run_phase0 -> run_bracket 2026-07-06 21:06:12 -06:00
.gitignore repo: stop tracking local .claude agent config 2026-07-07 15:49:09 -06:00
LICENSE Phase 0 / head A: predictability + speedup ceiling for speculative QEC decoding 2026-06-19 11:12:37 -06:00
pyproject.toml Phase 3: dead-code cleanup + ruff anti-slop tripwire 2026-06-20 17:24:11 -06:00
README.md docs: add arXiv link (2607.13062) 2026-07-17 09:01:00 -06:00

README.md

specqec

The verifier side of speculative window decoding for surface-code QEC: a predictability/speedup bracket, a worst-case misprediction blast-radius bound with a machine-checked probability core, a speculation-decision compiler pass, and a runtime predict/verify/recover executor. Built on a reconstructed SWIPER harness (Stim rotated surface code, PyMatching reference decoder).

Paper: arXiv:2607.13062 (quant-ph, cross-list cs.AR).

Install

uv pip install -e .        # stim, pymatching, scikit-learn

Reproduce

scripts/run_*.py compute results into results/; scripts/make_*.py render figures into figures/ and table fragments into paper/. All seeds are fixed.

python scripts/run_bracket.py         && python scripts/make_figures.py            # predictability + speedup bracket
python scripts/run_synthetic_gate.py                                               # known-entropy validation gate
python scripts/run_blast_radius.py    && python scripts/make_blast_figures.py      # temporal blast-radius bound
python scripts/run_spatial.py         && python scripts/make_spatial_figures.py    # spatial-adjacent coupling
python scripts/run_compiler.py                                                     # speculation-decision pass
python scripts/run_falsify.py         && python scripts/make_falsify_table.py      # reduction falsification
python scripts/run_mechanism.py       && python scripts/make_mechanism_table.py    # re-pairing mechanism
python scripts/run_relativity.py      && python scripts/make_relativity_figures.py # second-decoder check
python scripts/run_executor.py        && python scripts/make_executor_table.py     # runtime predict/verify/recover
( cd lean && lake exe cache get && lake build )    # machine-checked core, no sorry
pytest                                             # 74 tests

Layout

specqec/    harness, predictors, bracket, blast-radius operator, compiler pass,
            falsification + mechanism instruments, union-find decoder, executor
scripts/    run_*.py (compute -> results/), make_*.py (figures/, paper/)
lean/       Lean 4 + Mathlib machine-checked probability core
tests/      pytest suite

The manuscript LaTeX is not kept here (it is on arXiv); paper/ is a local build directory the figure and table scripts write into.

License: Apache-2.0.