Design typed instruction programs for logical QEC and physical lowering - #582

Draft

qciaran wants to merge 17 commits into

devfrom

surface-logical-circuit-guppy-design

Commits on Aug 23, 2026

Design reusable logical QEC circuits with Guppy lowering
ciaranra
committed
259a688

Commits on Aug 25, 2026

Generalize logical circuits into typed instruction programs
ciaranra
committed
bcfb552
Model QEC instructions as space-time cells
ciaranra
committed
e8ec5e0
Clarify space-time shapes as circuit projections
ciaranra
committed
1c7b00a
Add branching and looping space-time semantics
ciaranra
committed
1e011bd
Design space-time visualization and Bevy viewer
ciaranra
committed
3912526
Make direct TickCircuit lowering a first-class path
ciaranra
committed
ec886f2
Design Guppy and HUGR import into instruction modules
ciaranra
committed
c59bb32

Commits on Sep 1, 2026

Commits on Sep 2, 2026