code code/steane@1 · verified · raw JSON

steane

parameters

[[7,1,3]]

rate k/n

0.143

max stabilizer weight

4

distance source

adaptq builtin (documented)

Stabilizer generators

+XIXIXIX

+IXXIIXX

+IIIXXXX

+ZIZIZIZ

+IZZIIZZ

+IIIZZZZ

Logical operators

i	X̄ᵢ	Z̄ᵢ
0	+XXXXXXX	+ZZZZZZZ

Operations

Same code

protocol	kind	logical action	codes	verification
steane/cx-transversal@1	gate	CX 0→1	steane ⊗ steane → steane ⊗ steane	verified
steane/cz-transversal@1	gate	CZ 0,1	steane ⊗ steane → steane ⊗ steane	verified
steane/h-transversal@1	gate	H 0	steane → steane	verified
steane/readout-z-decoded@1	gate	MZ 0 → m_out	steane → ∅	verified
steane/s-transversal@1	gate	S 0	steane → steane	verified
steane/se-z-round@2	gate	identity (no declared logical action)	steane → steane	verified
steane/t-inject@1	gate	CX 0→1 MZ 1 → m_tel	steane ⊗ steane → steane	verified
steane/z-transversal@1	gate	Z 0	steane → steane	verified
steane/memory2@2	composite	MZ 0 → m_out	steane → ∅	verified
steane/t-gate@2	composite	T 0	steane → steane	verified

To other codes

protocol	kind	logical action	codes	verification
qrm15/cnot-to-steane@1	gate	CX 0→1	qrm15 ⊗ steane → qrm15 ⊗ steane	verified

Preparations into this code

protocol	kind	logical action	codes	verification
steane/prep-zero@2	gate	prep \|0⟩	∅ → steane	verified
qrm15/switch-to-steane@1	composite	identity (no declared logical action)	qrm15 → steane	verified
steane/magic-t-prep@2	composite	prep \|T⟩	∅ → steane	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