{
  "id": "gate/shor/prep-zero",
  "version": 1,
  "kind": "gate",
  "name": "shor_encode_zero",
  "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_out": [
    "code/shor@1"
  ],
  "qubit_map_in": [],
  "qubit_map_out": [
    [
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8
    ]
  ],
  "action": [
    {
      "type": "prep",
      "kind": "zero"
    }
  ],
  "records": {
    "internal": []
  },
  "circuit": "R 0 1 2 3 4 5 6 7 8\nTICK\nH 0 3\nTICK\nCX 0 1\nCX 3 4\nTICK\nCX 0 2\nCX 3 5\nTICK\nCX 0 6\nTICK\nCX 0 7\nCX 3 6\nTICK\nCX 0 8\nCX 3 7\nTICK\nCX 3 8\nTICK\n"
}
