{
  "id": "gate/qrm15/magic-t-prep",
  "version": 1,
  "kind": "gate",
  "name": "qrm_prep_magic",
  "provenance": {
    "submitter": "ikim",
    "source": "adaptq builtins, exported by adaptq.store",
    "created": "2026-10-06",
    "notes": ""
  },
  "verification": {
    "status": "verified",
    "method": "bell-choi-exact-v1",
    "patterns_checked": 1,
    "tools": {
      "adaptq": "433813df312502c551d89f624375e0124f4cebbb",
      "xtim": "xtim-engine-9"
    },
    "date": "2026-10-07",
    "patterns_total": 1
  },
  "code_in": [],
  "code_out": [
    "code/qrm15@1"
  ],
  "qubit_map_in": [],
  "qubit_map_out": [
    [
      0,
      1,
      2,
      3,
      6,
      5,
      4,
      7,
      14,
      9,
      8,
      13,
      10,
      11,
      12
    ]
  ],
  "action": [
    {
      "type": "prep",
      "kind": "magic",
      "label": "T"
    }
  ],
  "records": {
    "internal": []
  },
  "circuit": "RX 6 8 10 12 13\nR 0 1 2 3 4 5 7 9 11 14\nRX 15\nR 16 17\nRX 18\nR 19 20\nRX 21\nR 22 23 24\nRX 25\nR 26 27 28\nRX 29\nTICK\nCX 6 3 10 11\nTICK\nCX 6 1 10 9 12 11\nTICK\nCX 13 6\nCX 12 7\nTICK\nCX 13 10\nTICK\nCX 3 2 13 7\nTICK\nCX 7 0 11 14\nCX 13 5\nTICK\nCX 8 7 10 14\nTICK\nCX 8 1\nCX 10 3\nTICK\nCX 6 5 8 9\nCX 1 0 11 4\nCX 10 19\nTICK\nCX 5 4 9 14\nCX 15 1\nCX 21 19\nCX 6 22\nTICK\nCX 9 2\nCX 12 5\nCX 15 3\nCX 25 22\nTICK\nCX 15 5\nCX 12 16\nCX 3 19\nCX 22 24\nTICK\nCX 15 7\nCX 18 16\nCX 19 20\nTICK\nCX 15 9\nTICK\nCX 15 11\nCX 9 19\nTICK\nCX 15 13\nCX 11 16\nCX 2 19\nTICK\nMX 15\nDETECTOR rec[-1]\nCX 16 17\nCX 21 19\nCX 13 26\nTICK\nCX 14 16\nCX 4 17\nCX 29 26\nTICK\nCX 7 16\nCX 5 17\nCX 4 20\nCX 26 28\nTICK\nCX 18 16\nCX 11 20\nCX 5 22\nCX 12 26\nTICK\nCX 18 17\nCX 21 20\nCX 22 23\nCX 26 27\nTICK\nM 16 17\nMX 18\nDETECTOR rec[-1]\nDETECTOR rec[-2]\nDETECTOR rec[-3]\nM 19 20\nMX 21\nDETECTOR rec[-1]\nDETECTOR rec[-2]\nDETECTOR rec[-3]\nCX 1 22\nCX 4 23\nCX 8 26\nCX 11 27\nTICK\nCX 0 22\nCX 3 23\nCX 1 24\nCX 7 26\nCX 10 27\nCX 8 28\nTICK\nCX 2 24\nCX 25 22\nCX 9 28\nCX 29 26\nTICK\nCX 3 24\nCX 25 23\nCX 10 28\nCX 29 27\nTICK\nCX 25 24\nCX 29 28\nT 0 2 4 6 8 10 12 14\nS_DAG 1 3 5 7 9 11 13\nTICK\nM 22 23 24\nMX 25\nDETECTOR rec[-1]\nDETECTOR rec[-2]\nDETECTOR rec[-3]\nDETECTOR rec[-4]\nM 26 27 28\nMX 29\nDETECTOR rec[-1]\nDETECTOR rec[-2]\nDETECTOR rec[-3]\nDETECTOR rec[-4]\nT 1 3 5 7 9 11 13\nTICK\n"
}