{
  "id": "composite/steane/t-gate",
  "version": 1,
  "kind": "composite",
  "name": "t_gate",
  "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": [
    {
      "name": "A",
      "code": "code/steane@1"
    }
  ],
  "ports_out": [
    "A"
  ],
  "action": [
    {
      "type": "unitary",
      "gate": "T",
      "targets": [
        0
      ]
    }
  ],
  "steps": [
    {
      "apply": "composite/steane/magic-t-prep@1",
      "in": [],
      "out": [
        "M"
      ],
      "label": "magic_T#0"
    },
    {
      "apply": "gate/steane/t-inject@1",
      "in": [
        "A",
        "M"
      ],
      "out": [
        "A"
      ],
      "label": "steane_t_inject#0"
    },
    {
      "if": "steane_t_inject#0.m_tel",
      "apply": {
        "apply": "gate/steane/s-transversal@1",
        "in": [
          "A"
        ],
        "out": [
          "A"
        ],
        "label": "steane_s#0"
      }
    }
  ]
}