{
 "schema_version": "0.4",
 "name": "[[5,1,3]]",
 "code_type": "stabilizer",
 "n": 5,
 "k": 1,
 "checks": {
  "S": [
   {
    "X": [
     0,
     1,
     2,
     3
    ],
    "Z": [
     1,
     2
    ]
   },
   {
    "X": [
     1,
     2,
     3,
     4
    ],
    "Z": [
     2,
     3
    ]
   },
   {
    "X": [
     0,
     2,
     3,
     4
    ],
    "Z": [
     3,
     4
    ]
   },
   {
    "X": [
     0,
     1,
     3,
     4
    ],
    "Z": [
     0,
     4
    ]
   }
  ]
 },
 "distance": {
  "d": 3,
  "P": {
   "value": 3,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     1
    ],
    "Z": [
     3,
     4
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@MathysRennela"
  ],
  "construction": "five-qubit perfect code (stabilizer tableau XZZXI / IXZZX / XIXZZ / ZXIXZ; reproduced from the Error Correction Zoo entry stab_5_1_3, https://errorcorrectionzoo.org/c/stab_5_1_3)",
  "origin": "submission",
  "date": "2026-09-27",
  "model": "Mimo-V2.6-Flash",
  "notes": "Reproduced from the Error Correction Zoo entry stab_5_1_3 (https://errorcorrectionzoo.org/c/stab_5_1_3); gate found no exact or WL-equivalent board entry."
 },
 "family": "other"
}