{
  "id": "gate/color-488-17/se-x-round",
  "version": 1,
  "kind": "gate",
  "name": "color_488_17_se_x_round",
  "provenance": {
    "submitter": "ikim",
    "source": "adaptq.gates_generic on code/color-488-17; exported from adaptq 2612aa6",
    "created": "2026-10-07",
    "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/color-488-17@1"
  ],
  "code_out": [
    "code/color-488-17@1"
  ],
  "qubit_map_in": [
    [
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14,
      15,
      16
    ]
  ],
  "qubit_map_out": [
    [
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14,
      15,
      16
    ]
  ],
  "action": [],
  "records": {
    "internal": [
      "se__dsyn0",
      "se__dsyn1",
      "se__dsyn2",
      "se__dsyn3",
      "se__dsyn4",
      "se__dsyn5",
      "se__dsyn6",
      "se__dsyn7"
    ]
  },
  "circuit": "R 17\nR 18\nR 19\nR 20\nR 21\nR 22\nR 23\nR 24\nTICK\nH 17\nH 18\nH 19\nH 20\nH 21\nH 22\nH 23\nH 24\nTICK\nCX 17 7\nCX 18 5\nCX 19 4\nCX 20 3\nCX 21 2\nCX 22 1\nCX 23 0\nTICK\nCX 17 10\nCX 19 6\nCX 20 8\nTICK\nCX 17 11\nCX 18 10\nCX 19 9\nCX 24 6\nTICK\nCX 17 14\nCX 18 11\nCX 19 12\nCX 20 9\nCX 24 8\nTICK\nH 17\nCX 18 13\nH 19\nCX 20 12\nCX 21 11\nCX 22 9\nTICK\nH 18\nH 20\nCX 21 13\nCX 22 12\nCX 23 9\nTICK\nCX 21 14\nCX 22 16\nCX 23 12\nCX 24 9\nTICK\nH 21\nH 22\nCX 23 15\nCX 24 10\nTICK\nH 23\nCX 24 13\nTICK\nCX 24 14\nTICK\nCX 24 15\nTICK\nCX 24 16\nTICK\nH 24\nTICK\nM 17\nDETECTOR rec[-1]\nDECISION(0) rec[-1]\nM 18\nDETECTOR rec[-1]\nDECISION(1) rec[-1]\nM 19\nDETECTOR rec[-1]\nDECISION(2) rec[-1]\nM 20\nDETECTOR rec[-1]\nDECISION(3) rec[-1]\nM 21\nDETECTOR rec[-1]\nDECISION(4) rec[-1]\nM 22\nDETECTOR rec[-1]\nDECISION(5) rec[-1]\nM 23\nDETECTOR rec[-1]\nDECISION(6) rec[-1]\nM 24\nDETECTOR rec[-1]\nDECISION(7) rec[-1]\nTICK\n"
}