code code/qrm15@1 · verified · raw JSON
qrm15
parameters
[[15,1,3]]
rate k/n
0.067
max stabilizer weight
8
distance source
adaptq builtin (documented)
Stabilizer generators
+XIXIXIXIXIXIXIX
+IXXIIXXIIXXIIXX
+IIIXXXXIIIIXXXX
+IIIIIIIXXXXXXXX
+ZIZIZIZIZIZIZIZ
+IZZIIZZIIZZIIZZ
+IIIZZZZIIIIZZZZ
+IIIIIIIZZZZZZZZ
+IIZIIIZIIIZIIIZ
+IIIIZIZIIIIIZIZ
+IIIIIIIIZIZIZIZ
+IIIIIZZIIIIIIZZ
+IIIIIIIIIZZIIZZ
+IIIIIIIIIIIZZZZ
Logical operators
| i | X̄ᵢ | Z̄ᵢ |
|---|---|---|
| 0 | +XXXXXXXXXXXXXXX | +ZZZZZZZZZZZZZZZ |
Operations
Same code
| protocol | kind | logical action | codes | verification |
|---|---|---|---|---|
| qrm15/readout-x@1 | gate | MX 0 → m_cs | qrm15 → ∅ | verified |
| qrm15/t-transversal@1 | gate | T_DAG 0 | qrm15 → qrm15 | verified |
To other codes
| protocol | kind | logical action | codes | verification |
|---|---|---|---|---|
| qrm15/cnot-to-steane@1 | gate | CX 0→1 | qrm15 ⊗ steane → qrm15 ⊗ steane | verified |
| qrm15/switch-to-steane@1 | composite | identity (no declared logical action) | qrm15 → steane | verified |
Preparations into this code
| protocol | kind | logical action | codes | verification |
|---|---|---|---|---|
| qrm15/magic-t-prep@1 | gate | prep |T⟩ | ∅ → qrm15 | verified |
| qrm15/prep-plus@1 | gate | prep |+⟩ | ∅ → qrm15 | verified |
| qrm15/prep-zero@1 | gate | prep |0⟩ | ∅ → qrm15 | verified |
Verification
| field | value |
|---|---|
| status | verified |
| method | bell-choi-exact-v1 |
| patterns_checked | 0 |
| date | 2026-10-07 |
| tools.adaptq | 433813df312502c551d89f624375e0124f4cebbb |
| tools.xtim | xtim-engine-9 |
Provenance
| field | value |
|---|---|
| submitter | ikim |
| source | adaptq builtins, exported by adaptq.store |
| created | 2026-10-06 |