{
  "id": "code/steane",
  "version": 1,
  "kind": "code",
  "name": "steane",
  "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": 7,
  "k": 1,
  "d": {
    "value": 3,
    "source": "adaptq builtin (documented)"
  },
  "stabilizers": [
    "+XIXIXIX",
    "+IXXIIXX",
    "+IIIXXXX",
    "+ZIZIZIZ",
    "+IZZIIZZ",
    "+IIIZZZZ"
  ],
  "logicals": {
    "x": [
      "+XXXXXXX"
    ],
    "z": [
      "+ZZZZZZZ"
    ]
  }
}