{
  "id": "gate/qrm15/t-transversal",
  "version": 1,
  "kind": "gate",
  "name": "qrm15_t_transversal",
  "provenance": {
    "submitter": "ikim",
    "source": "adaptq.gates_generic.t_transversal on code/qrm15; Bravyi & Kitaev, arXiv:quant-ph/0403025; Knill, Laflamme & Zurek, arXiv:quant-ph/9610011; exported from adaptq a5dd50e",
    "created": "2026-10-07",
    "notes": "T on every wire; the declared action (T_DAG) is the one adaptq.verify accepts exactly (T was tried first and fails)"
  },
  "verification": {
    "status": "verified",
    "method": "bell-choi-exact-v1",
    "patterns_checked": 1,
    "tools": {
      "adaptq": "a5dd50e245569f199030ea40187948fa228481e9",
      "xtim": "xtim-engine-9"
    },
    "date": "2026-10-07",
    "patterns_total": 1
  },
  "code_in": [
    "code/qrm15@1"
  ],
  "code_out": [
    "code/qrm15@1"
  ],
  "qubit_map_in": [
    [
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14
    ]
  ],
  "qubit_map_out": [
    [
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14
    ]
  ],
  "action": [
    {
      "type": "unitary",
      "gate": "T_DAG",
      "targets": [
        0
      ]
    }
  ],
  "records": {
    "internal": []
  },
  "circuit": "T 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14\nTICK\n"
}