composite composite/qrm15/switch-to-steane@1 · verified · raw JSON
switch_qrm_to_steane
Logical action
identity (no declared logical action)
Circuit
One wire per logical qubit; brackets group the wires of a code block. Boxes are the declared logical actions of the steps; blue boxes are composites; double lines carry a measured bit into a conditional step.
Steps
| # | label | condition | applies | blocks | |
|---|---|---|---|---|---|
| 0 | steane_prep_0__h0 | steane/prep-zero@2 | — → B | ||
| 1 | cs_cnot__h0 | qrm15/cnot-to-steane@1 | Q, B → Q, B | ||
| 2 | qrm_readout_x__h0 | qrm15/readout-x@1 | Q → — | ||
| 3 | steane_z__h0 | if qrm_readout_x__h0.m_cs | steane/z-transversal@1 | B → B |
ports in: Q: qrm15 · ports out: B
Run recipes
No run recipes for this entry yet.
Verification
| field | value |
|---|---|
| status | verified |
| method | bell-choi-exact-v1 |
| patterns_checked | 2 |
| date | 2026-10-07 |
| tools.adaptq | a5dd50e245569f199030ea40187948fa228481e9 |
| tools.xtim | xtim-engine-9 |
Provenance
| field | value |
|---|---|
| submitter | ikim |
| source | adaptq.composites.switch_qrm_to_steane; exported from adaptq a5dd50e |
| created | 2026-10-07 |
| notes | magic_T (composite/steane/magic-t-prep) without the magic prep: Steane |0>, cs_cnot, qRM X readout -> m_cs, Z-bar on B iff m_cs; in: Q (qRM), out: B (Steane), action = identity; the Daguerre–Kim code-switching protocol: teleportation of the qRM15 logical (here a magic state) onto a fresh Steane block via transversal CNOT, X readout and a Z̄ correction — cite as Daguerre–Kim code switching (adaptq composites.switch_qrm_to_steane) |