{
 "schema_version": "0.4",
 "name": "[[13,1,5]]",
 "code_type": "stabilizer",
 "n": 13,
 "k": 1,
 "checks": {
  "S": [
   {
    "X": [
     0,
     2,
     3,
     5
    ],
    "Z": [
     2,
     3
    ]
   },
   {
    "X": [
     1,
     2,
     4,
     12
    ],
    "Z": [
     1,
     2
    ]
   },
   {
    "X": [
     0,
     1,
     3,
     11
    ],
    "Z": [
     0,
     1
    ]
   },
   {
    "X": [
     0,
     2,
     10,
     12
    ],
    "Z": [
     0,
     12
    ]
   },
   {
    "X": [
     1,
     9,
     11,
     12
    ],
    "Z": [
     11,
     12
    ]
   },
   {
    "X": [
     0,
     8,
     10,
     11
    ],
    "Z": [
     10,
     11
    ]
   },
   {
    "X": [
     7,
     9,
     10,
     12
    ],
    "Z": [
     9,
     10
    ]
   },
   {
    "X": [
     6,
     8,
     9,
     11
    ],
    "Z": [
     8,
     9
    ]
   },
   {
    "X": [
     5,
     7,
     8,
     10
    ],
    "Z": [
     7,
     8
    ]
   },
   {
    "X": [
     4,
     6,
     7,
     9
    ],
    "Z": [
     6,
     7
    ]
   },
   {
    "X": [
     3,
     5,
     6,
     8
    ],
    "Z": [
     5,
     6
    ]
   },
   {
    "X": [
     2,
     4,
     5,
     7
    ],
    "Z": [
     4,
     5
    ]
   },
   {
    "X": [
     1,
     3,
     4,
     6
    ],
    "Z": [
     3,
     4
    ]
   }
  ]
 },
 "distance": {
  "d": 5,
  "P": {
   "value": 5,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     3,
     9
    ],
    "Z": [
     5,
     6,
     7
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@MathysRennela"
  ],
  "construction": "twisted XZZX toric code (13 cyclic shifts of XIZZIXIIIIIII; reproduced from the Error Correction Zoo entry stab_13_1_5, https://errorcorrectionzoo.org/c/stab_13_1_5)",
  "origin": "submission",
  "date": "2026-09-27",
  "model": "Mimo-V2.6-Flash",
  "notes": "Reproduced from the Error Correction Zoo entry stab_13_1_5 (https://errorcorrectionzoo.org/c/stab_13_1_5); gate found no exact or WL-equivalent board entry."
 },
 "family": "topological"
}