{
  "id": "code/qrm15",
  "version": 1,
  "kind": "code",
  "name": "qrm15",
  "provenance": {
    "submitter": "ikim",
    "source": "adaptq builtins, exported by adaptq.store",
    "created": "2026-10-06",
    "notes": ""
  },
  "verification": {
    "status": "verified",
    "method": "bell-choi-exact-v1",
    "patterns_checked": 0,
    "tools": {
      "adaptq": "433813df312502c551d89f624375e0124f4cebbb",
      "xtim": "xtim-engine-9"
    },
    "date": "2026-10-07"
  },
  "n": 15,
  "k": 1,
  "d": {
    "value": 3,
    "source": "adaptq builtin (documented)"
  },
  "stabilizers": [
    "+XIXIXIXIXIXIXIX",
    "+IXXIIXXIIXXIIXX",
    "+IIIXXXXIIIIXXXX",
    "+IIIIIIIXXXXXXXX",
    "+ZIZIZIZIZIZIZIZ",
    "+IZZIIZZIIZZIIZZ",
    "+IIIZZZZIIIIZZZZ",
    "+IIIIIIIZZZZZZZZ",
    "+IIZIIIZIIIZIIIZ",
    "+IIIIZIZIIIIIZIZ",
    "+IIIIIIIIZIZIZIZ",
    "+IIIIIZZIIIIIIZZ",
    "+IIIIIIIIIZZIIZZ",
    "+IIIIIIIIIIIZZZZ"
  ],
  "logicals": {
    "x": [
      "+XXXXXXXXXXXXXXX"
    ],
    "z": [
      "+ZZZZZZZZZZZZZZZ"
    ]
  }
}