{
  "id": "composite/steane/t-gate",
  "version": 2,
  "kind": "composite",
  "name": "t_gate",
  "provenance": {
    "submitter": "ikim",
    "source": "adaptq builtins, exported by adaptq.store",
    "created": "2026-10-06",
    "notes": "re-export after adaptq c0fa4a4 (one-touch TICK split; [a-z][a-z0-9_]* bit/label encoding)"
  },
  "verification": {
    "status": "verified",
    "method": "bell-choi-exact-v1",
    "patterns_checked": 4,
    "tools": {
      "adaptq": "433813df312502c551d89f624375e0124f4cebbb",
      "xtim": "xtim-engine-9"
    },
    "date": "2026-10-07",
    "patterns_total": 4
  },
  "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@2",
      "in": [],
      "out": [
        "M"
      ],
      "label": "magic___ut__h0"
    },
    {
      "apply": "gate/steane/t-inject@1",
      "in": [
        "A",
        "M"
      ],
      "out": [
        "A"
      ],
      "label": "steane_t_inject__h0"
    },
    {
      "if": "steane_t_inject__h0.m_tel",
      "apply": {
        "apply": "gate/steane/s-transversal@1",
        "in": [
          "A"
        ],
        "out": [
          "A"
        ],
        "label": "steane_s__h0"
      }
    }
  ]
}