ftqcp

composite composite/steane/t-gate@1 · superseded by @2 (superseded · failed under current verifier) · raw JSON

t_gate

versions: @1 · @2 (latest)

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

Logical action

T 0

Circuit

AsteaneMsteanemagic-t-prepmagic-t-prepprep |T⟩SS

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

#labelconditionappliesblocks
0magic_T#0steane/magic-t-prep@1— → M
1steane_t_inject#0steane/t-inject@1A, M → A
2steane_s#0if steane_t_inject#0.m_telsteane/s-transversal@1A → A

ports in: A: steane · ports out: A

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: composite 'composite/steane/magic-t-prep': label 'qrm_prep_magic#0' does not match [a-z][a-z0-9_]* (spec §4.3)

Provenance

fieldvalue
submitterikim
sourceadaptq builtins, exported by adaptq.store
created2026-10-06