{
  "id": "gate/color-488-17/se-z-round",
  "version": 1,
  "kind": "gate",
  "name": "color_488_17_se_z_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\nCZ 17 7\nCZ 18 5\nCZ 19 4\nCZ 20 3\nCZ 21 2\nCZ 22 1\nCZ 23 0\nTICK\nCZ 17 10\nCZ 19 6\nCZ 20 8\nTICK\nCZ 17 11\nCZ 18 10\nCZ 19 9\nCZ 24 6\nTICK\nCZ 17 14\nCZ 18 11\nCZ 19 12\nCZ 20 9\nCZ 24 8\nTICK\nH 17\nCZ 18 13\nH 19\nCZ 20 12\nCZ 21 11\nCZ 22 9\nTICK\nH 18\nH 20\nCZ 21 13\nCZ 22 12\nCZ 23 9\nTICK\nCZ 21 14\nCZ 22 16\nCZ 23 12\nCZ 24 9\nTICK\nH 21\nH 22\nCZ 23 15\nCZ 24 10\nTICK\nH 23\nCZ 24 13\nTICK\nCZ 24 14\nTICK\nCZ 24 15\nTICK\nCZ 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"
}