{
 "schema_version": "0.4",
 "name": "[[47,1,11]] weight-6 cyclic stabilizer",
 "code_type": "stabilizer",
 "n": 47,
 "k": 1,
 "family": "other",
 "checks": {
  "S": [
   {
    "X": [
     1,
     46
    ],
    "Z": [
     4,
     15,
     32,
     43
    ]
   },
   {
    "X": [
     0,
     2
    ],
    "Z": [
     5,
     16,
     33,
     44
    ]
   },
   {
    "X": [
     1,
     3
    ],
    "Z": [
     6,
     17,
     34,
     45
    ]
   },
   {
    "X": [
     2,
     4
    ],
    "Z": [
     7,
     18,
     35,
     46
    ]
   },
   {
    "X": [
     3,
     5
    ],
    "Z": [
     0,
     8,
     19,
     36
    ]
   },
   {
    "X": [
     4,
     6
    ],
    "Z": [
     1,
     9,
     20,
     37
    ]
   },
   {
    "X": [
     5,
     7
    ],
    "Z": [
     2,
     10,
     21,
     38
    ]
   },
   {
    "X": [
     6,
     8
    ],
    "Z": [
     3,
     11,
     22,
     39
    ]
   },
   {
    "X": [
     7,
     9
    ],
    "Z": [
     4,
     12,
     23,
     40
    ]
   },
   {
    "X": [
     8,
     10
    ],
    "Z": [
     5,
     13,
     24,
     41
    ]
   },
   {
    "X": [
     9,
     11
    ],
    "Z": [
     6,
     14,
     25,
     42
    ]
   },
   {
    "X": [
     10,
     12
    ],
    "Z": [
     7,
     15,
     26,
     43
    ]
   },
   {
    "X": [
     11,
     13
    ],
    "Z": [
     8,
     16,
     27,
     44
    ]
   },
   {
    "X": [
     12,
     14
    ],
    "Z": [
     9,
     17,
     28,
     45
    ]
   },
   {
    "X": [
     13,
     15
    ],
    "Z": [
     10,
     18,
     29,
     46
    ]
   },
   {
    "X": [
     14,
     16
    ],
    "Z": [
     0,
     11,
     19,
     30
    ]
   },
   {
    "X": [
     15,
     17
    ],
    "Z": [
     1,
     12,
     20,
     31
    ]
   },
   {
    "X": [
     16,
     18
    ],
    "Z": [
     2,
     13,
     21,
     32
    ]
   },
   {
    "X": [
     17,
     19
    ],
    "Z": [
     3,
     14,
     22,
     33
    ]
   },
   {
    "X": [
     18,
     20
    ],
    "Z": [
     4,
     15,
     23,
     34
    ]
   },
   {
    "X": [
     19,
     21
    ],
    "Z": [
     5,
     16,
     24,
     35
    ]
   },
   {
    "X": [
     20,
     22
    ],
    "Z": [
     6,
     17,
     25,
     36
    ]
   },
   {
    "X": [
     21,
     23
    ],
    "Z": [
     7,
     18,
     26,
     37
    ]
   },
   {
    "X": [
     22,
     24
    ],
    "Z": [
     8,
     19,
     27,
     38
    ]
   },
   {
    "X": [
     23,
     25
    ],
    "Z": [
     9,
     20,
     28,
     39
    ]
   },
   {
    "X": [
     24,
     26
    ],
    "Z": [
     10,
     21,
     29,
     40
    ]
   },
   {
    "X": [
     25,
     27
    ],
    "Z": [
     11,
     22,
     30,
     41
    ]
   },
   {
    "X": [
     26,
     28
    ],
    "Z": [
     12,
     23,
     31,
     42
    ]
   },
   {
    "X": [
     27,
     29
    ],
    "Z": [
     13,
     24,
     32,
     43
    ]
   },
   {
    "X": [
     28,
     30
    ],
    "Z": [
     14,
     25,
     33,
     44
    ]
   },
   {
    "X": [
     29,
     31
    ],
    "Z": [
     15,
     26,
     34,
     45
    ]
   },
   {
    "X": [
     30,
     32
    ],
    "Z": [
     16,
     27,
     35,
     46
    ]
   },
   {
    "X": [
     31,
     33
    ],
    "Z": [
     0,
     17,
     28,
     36
    ]
   },
   {
    "X": [
     32,
     34
    ],
    "Z": [
     1,
     18,
     29,
     37
    ]
   },
   {
    "X": [
     33,
     35
    ],
    "Z": [
     2,
     19,
     30,
     38
    ]
   },
   {
    "X": [
     34,
     36
    ],
    "Z": [
     3,
     20,
     31,
     39
    ]
   },
   {
    "X": [
     35,
     37
    ],
    "Z": [
     4,
     21,
     32,
     40
    ]
   },
   {
    "X": [
     36,
     38
    ],
    "Z": [
     5,
     22,
     33,
     41
    ]
   },
   {
    "X": [
     37,
     39
    ],
    "Z": [
     6,
     23,
     34,
     42
    ]
   },
   {
    "X": [
     38,
     40
    ],
    "Z": [
     7,
     24,
     35,
     43
    ]
   },
   {
    "X": [
     39,
     41
    ],
    "Z": [
     8,
     25,
     36,
     44
    ]
   },
   {
    "X": [
     40,
     42
    ],
    "Z": [
     9,
     26,
     37,
     45
    ]
   },
   {
    "X": [
     41,
     43
    ],
    "Z": [
     10,
     27,
     38,
     46
    ]
   },
   {
    "X": [
     42,
     44
    ],
    "Z": [
     0,
     11,
     28,
     39
    ]
   },
   {
    "X": [
     43,
     45
    ],
    "Z": [
     1,
     12,
     29,
     40
    ]
   },
   {
    "X": [
     44,
     46
    ],
    "Z": [
     2,
     13,
     30,
     41
    ]
   },
   {
    "X": [
     0,
     45
    ],
    "Z": [
     3,
     14,
     31,
     42
    ]
   }
  ]
 },
 "distance": {
  "d": 11,
  "P": {
   "value": 11,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     10,
     21,
     30,
     35,
     46
    ],
    "Z": [
     16,
     21,
     23,
     25,
     35,
     40,
     42,
     44
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@davidplu"
  ],
  "model": "GPT-6",
  "date": "2026-10-03",
  "origin": "submission",
  "construction": "Cyclic shifts modulo 47 of X support [1, 46], Z support [4, 15, 32, 43]; inversion-symmetric supports.",
  "references": [
   "arXiv:1108.5490"
  ],
  "notes": "Known one-block additive cyclic construction; specific-instance literature novelty unverified. Witness-backed board metadata; supplementary exhaustive evidence in accompanying note."
 }
}