{
  "id": "gate/shor/se-z-round",
  "version": 1,
  "kind": "gate",
  "name": "shor_se_z_round",
  "provenance": {
    "submitter": "ikim",
    "source": "adaptq.gates_generic on code/shor; 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/shor@1"
  ],
  "code_out": [
    "code/shor@1"
  ],
  "qubit_map_in": [
    [
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8
    ]
  ],
  "qubit_map_out": [
    [
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8
    ]
  ],
  "action": [],
  "records": {
    "internal": [
      "se__dsyn0",
      "se__dsyn1",
      "se__dsyn2",
      "se__dsyn3",
      "se__dsyn4",
      "se__dsyn5"
    ]
  },
  "circuit": "R 9\nR 10\nR 11\nR 12\nR 13\nR 14\nTICK\nH 9\nH 10\nH 11\nH 12\nH 13\nH 14\nTICK\nCZ 9 0\nCZ 11 3\nCZ 13 6\nTICK\nCZ 9 1\nCZ 11 4\nCZ 13 7\nTICK\nH 9\nCZ 10 1\nH 11\nCZ 12 4\nH 13\nCZ 14 7\nTICK\nCZ 10 2\nCZ 12 5\nCZ 14 8\nTICK\nH 10\nH 12\nH 14\nTICK\nM 9\nDETECTOR rec[-1]\nDECISION(0) rec[-1]\nM 10\nDETECTOR rec[-1]\nDECISION(1) rec[-1]\nM 11\nDETECTOR rec[-1]\nDECISION(2) rec[-1]\nM 12\nDETECTOR rec[-1]\nDECISION(3) rec[-1]\nM 13\nDETECTOR rec[-1]\nDECISION(4) rec[-1]\nM 14\nDETECTOR rec[-1]\nDECISION(5) rec[-1]\nTICK\n"
}