{
 "schema_version": "0.4",
 "name": "[[23,1,7]] cyclic stabilizer pilot",
 "code_type": "stabilizer",
 "n": 23,
 "k": 1,
 "family": "other",
 "checks": {
  "S": [
   {
    "X": [
     8,
     15
    ],
    "Z": [
     6,
     11,
     12,
     17
    ]
   },
   {
    "X": [
     9,
     16
    ],
    "Z": [
     7,
     12,
     13,
     18
    ]
   },
   {
    "X": [
     10,
     17
    ],
    "Z": [
     8,
     13,
     14,
     19
    ]
   },
   {
    "X": [
     11,
     18
    ],
    "Z": [
     9,
     14,
     15,
     20
    ]
   },
   {
    "X": [
     12,
     19
    ],
    "Z": [
     10,
     15,
     16,
     21
    ]
   },
   {
    "X": [
     13,
     20
    ],
    "Z": [
     11,
     16,
     17,
     22
    ]
   },
   {
    "X": [
     14,
     21
    ],
    "Z": [
     0,
     12,
     17,
     18
    ]
   },
   {
    "X": [
     15,
     22
    ],
    "Z": [
     1,
     13,
     18,
     19
    ]
   },
   {
    "X": [
     0,
     16
    ],
    "Z": [
     2,
     14,
     19,
     20
    ]
   },
   {
    "X": [
     1,
     17
    ],
    "Z": [
     3,
     15,
     20,
     21
    ]
   },
   {
    "X": [
     2,
     18
    ],
    "Z": [
     4,
     16,
     21,
     22
    ]
   },
   {
    "X": [
     3,
     19
    ],
    "Z": [
     0,
     5,
     17,
     22
    ]
   },
   {
    "X": [
     4,
     20
    ],
    "Z": [
     0,
     1,
     6,
     18
    ]
   },
   {
    "X": [
     5,
     21
    ],
    "Z": [
     1,
     2,
     7,
     19
    ]
   },
   {
    "X": [
     6,
     22
    ],
    "Z": [
     2,
     3,
     8,
     20
    ]
   },
   {
    "X": [
     0,
     7
    ],
    "Z": [
     3,
     4,
     9,
     21
    ]
   },
   {
    "X": [
     1,
     8
    ],
    "Z": [
     4,
     5,
     10,
     22
    ]
   },
   {
    "X": [
     2,
     9
    ],
    "Z": [
     0,
     5,
     6,
     11
    ]
   },
   {
    "X": [
     3,
     10
    ],
    "Z": [
     1,
     6,
     7,
     12
    ]
   },
   {
    "X": [
     4,
     11
    ],
    "Z": [
     2,
     7,
     8,
     13
    ]
   },
   {
    "X": [
     5,
     12
    ],
    "Z": [
     3,
     8,
     9,
     14
    ]
   },
   {
    "X": [
     6,
     13
    ],
    "Z": [
     4,
     9,
     10,
     15
    ]
   },
   {
    "X": [
     7,
     14
    ],
    "Z": [
     5,
     10,
     11,
     16
    ]
   }
  ]
 },
 "distance": {
  "d": 7,
  "P": {
   "value": 7,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     1,
     10,
     16,
     19,
     20
    ],
    "Z": [
     1,
     6,
     10,
     18,
     20
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@davidplu"
  ],
  "model": "GPT-6",
  "date": "2026-09-30",
  "origin": "submission",
  "construction": "Cyclic shifts modulo 23 of X support [8, 15], Z support [6, 11, 12, 17]; inversion-symmetric supports.",
  "references": [
   "arXiv:quant-ph/9608006"
  ],
  "notes": "Bounded pilot using repository Pauli RIS; literature novelty unverified. Inspired by challenge PR #2445."
 }
}
