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