ftqcp

gate gate/steane/se-z-round@1 · superseded by @2 (superseded · failed under current verifier) · raw JSON

steane_se_z_round

versions: @1 · @2 (latest)

input code(s)
steane
output code(s)
steane
recipes
0

Logical action

identity (no declared logical action)

Blocks and wires

blockcodewires
in[0]steane0 1 2 3 4 5 6
out[0]steane0 1 2 3 4 5 6

internal records: se.syn0, se.syn1, se.syn2

Circuit

10 moment(s), stim text (TICK ends a moment).

R 7
R 8
R 9
TICK
H 7
H 8
H 9
TICK
CZ 7 0
CZ 8 1
CZ 9 3
TICK
CZ 7 2
TICK
CZ 7 4
CZ 8 2
TICK
CZ 7 6
CZ 8 5
CZ 9 4
TICK
H 7
CZ 8 6
CZ 9 5
TICK
H 8
CZ 9 6
M 7
DETECTOR rec[-1]
DECISION(0) rec[-1]
TICK
H 9
M 8
DETECTOR rec[-1]
DECISION(1) rec[-1]
TICK
M 9
DETECTOR rec[-1]
DECISION(2) rec[-1]
TICK

Run recipes

No run recipes for this entry yet.

Verification

fieldvalue
statusfailed
methodbell-choi-exact-v1
date2026-10-07
tools.adaptq433813df312502c551d89f624375e0124f4cebbb
failureadaptq.store.load: StoreError: gate 'gate/steane/se-z-round': records.internal 'se.syn0' does not match [a-z][a-z0-9_]* (spec §4.3)

Provenance

fieldvalue
submitterikim
sourceadaptq builtins, exported by adaptq.store
created2026-10-06
notesnoise stripped from the authored-noise gate 'steane_se_z_round_noisy' (no noiseless twin in adaptq.gates_builtin)