{
  "id": "composite/steane/magic-t-prep",
  "version": 1,
  "kind": "composite",
  "name": "magic_T",
  "provenance": {
    "submitter": "ikim",
    "source": "adaptq builtins, exported by adaptq.store",
    "created": "2026-10-06",
    "notes": ""
  },
  "verification": {
    "status": "failed",
    "method": "bell-choi-exact-v1",
    "tools": {
      "adaptq": "433813df312502c551d89f624375e0124f4cebbb"
    },
    "date": "2026-10-07",
    "failures": [
      "adaptq.store.load: StoreError: composite 'composite/steane/magic-t-prep': label 'qrm_prep_magic#0' does not match [a-z][a-z0-9_]* (spec \u00a74.3)"
    ]
  },
  "ports_in": [],
  "ports_out": [
    "B"
  ],
  "action": [
    {
      "type": "prep",
      "kind": "magic",
      "label": "T"
    }
  ],
  "steps": [
    {
      "apply": "gate/qrm15/magic-t-prep@1",
      "in": [],
      "out": [
        "Q"
      ],
      "label": "qrm_prep_magic#0"
    },
    {
      "apply": "gate/steane/prep-zero@1",
      "in": [],
      "out": [
        "B"
      ],
      "label": "steane_prep_0#0"
    },
    {
      "apply": "gate/qrm15/cnot-to-steane@1",
      "in": [
        "Q",
        "B"
      ],
      "out": [
        "Q",
        "B"
      ],
      "label": "cs_cnot#0"
    },
    {
      "apply": "gate/qrm15/readout-x@1",
      "in": [
        "Q"
      ],
      "out": [],
      "label": "qrm_readout_x#0"
    },
    {
      "if": "qrm_readout_x#0.m_cs",
      "apply": {
        "apply": "gate/steane/z-transversal@1",
        "in": [
          "B"
        ],
        "out": [
          "B"
        ],
        "label": "steane_z#0"
      }
    }
  ]
}