{
  "id": "code/shor",
  "version": 1,
  "kind": "code",
  "name": "Shor [[9,1,3]]",
  "provenance": {
    "submitter": "ikim",
    "source": "Shor, Phys. Rev. A 52, R2493 (1995); adaptq.codes_builtin.shor(); exported from adaptq 2612aa6",
    "created": "2026-10-07",
    "notes": ""
  },
  "verification": {
    "status": "verified",
    "method": "bell-choi-exact-v1",
    "patterns_checked": 0,
    "tools": {
      "adaptq": "433813df312502c551d89f624375e0124f4cebbb",
      "xtim": "xtim-engine-9"
    },
    "date": "2026-10-07"
  },
  "n": 9,
  "k": 1,
  "d": {
    "value": 3,
    "source": "Shor, Phys. Rev. A 52, R2493 (1995)"
  },
  "stabilizers": [
    "+ZZIIIIIII",
    "+IZZIIIIII",
    "+IIIZZIIII",
    "+IIIIZZIII",
    "+IIIIIIZZI",
    "+IIIIIIIZZ",
    "+XXXXXXIII",
    "+IIIXXXXXX"
  ],
  "logicals": {
    "x": [
      "+XXXXXXXXX"
    ],
    "z": [
      "+ZIIZIIZII"
    ]
  }
}