{
  "id": "gate/surface-rot-3/se-z-round",
  "version": 1,
  "kind": "gate",
  "name": "surface_rot3_se_z_round",
  "provenance": {
    "submitter": "ikim",
    "source": "adaptq.gates_generic on code/surface-rot-3; 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/surface-rot-3@1"
  ],
  "code_out": [
    "code/surface-rot-3@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"
    ]
  },
  "circuit": "R 9\nR 10\nR 11\nR 12\nTICK\nH 9\nH 10\nH 11\nH 12\nTICK\nCZ 9 0\nCZ 12 2\nTICK\nCZ 9 1\nTICK\nCZ 9 3\nTICK\nCZ 9 4\nCZ 11 3\nTICK\nH 9\nCZ 10 4\nCZ 11 6\nTICK\nCZ 10 5\nH 11\nTICK\nCZ 10 7\nCZ 12 5\nTICK\nCZ 10 8\nH 12\nTICK\nH 10\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]\nTICK\n"
}