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