{
 "schema_version": "0.4",
 "name": "[[30,7,5]]",
 "code_type": "stabilizer",
 "n": 30,
 "k": 7,
 "checks": {
  "S": [
   {
    "X": [
     14,
     15,
     16,
     19,
     20,
     21
    ],
    "Z": [
     9,
     14,
     21,
     26
    ]
   },
   {
    "X": [
     15,
     16,
     17,
     20,
     21,
     22
    ],
    "Z": [
     10,
     15,
     22,
     27
    ]
   },
   {
    "X": [
     16,
     17,
     18,
     21,
     22,
     23
    ],
    "Z": [
     11,
     16,
     23,
     28
    ]
   },
   {
    "X": [
     17,
     18,
     19,
     22,
     23,
     24
    ],
    "Z": [
     12,
     17,
     24,
     29
    ]
   },
   {
    "X": [
     18,
     19,
     20,
     23,
     24,
     25
    ],
    "Z": [
     0,
     13,
     18,
     25
    ]
   },
   {
    "X": [
     19,
     20,
     21,
     24,
     25,
     26
    ],
    "Z": [
     1,
     14,
     19,
     26
    ]
   },
   {
    "X": [
     20,
     21,
     22,
     25,
     26,
     27
    ],
    "Z": [
     2,
     15,
     20,
     27
    ]
   },
   {
    "X": [
     21,
     22,
     23,
     26,
     27,
     28
    ],
    "Z": [
     3,
     16,
     21,
     28
    ]
   },
   {
    "X": [
     22,
     23,
     24,
     27,
     28,
     29
    ],
    "Z": [
     4,
     17,
     22,
     29
    ]
   },
   {
    "X": [
     0,
     23,
     24,
     25,
     28,
     29
    ],
    "Z": [
     0,
     5,
     18,
     23
    ]
   },
   {
    "X": [
     0,
     1,
     24,
     25,
     26,
     29
    ],
    "Z": [
     1,
     6,
     19,
     24
    ]
   },
   {
    "X": [
     0,
     1,
     2,
     25,
     26,
     27
    ],
    "Z": [
     2,
     7,
     20,
     25
    ]
   },
   {
    "X": [
     1,
     2,
     3,
     26,
     27,
     28
    ],
    "Z": [
     3,
     8,
     21,
     26
    ]
   },
   {
    "X": [
     2,
     3,
     4,
     27,
     28,
     29
    ],
    "Z": [
     4,
     9,
     22,
     27
    ]
   },
   {
    "X": [
     0,
     3,
     4,
     5,
     28,
     29
    ],
    "Z": [
     5,
     10,
     23,
     28
    ]
   },
   {
    "X": [
     0,
     1,
     4,
     5,
     6,
     29
    ],
    "Z": [
     6,
     11,
     24,
     29
    ]
   },
   {
    "X": [
     0,
     1,
     2,
     5,
     6,
     7
    ],
    "Z": [
     0,
     7,
     12,
     25
    ]
   },
   {
    "X": [
     1,
     2,
     3,
     6,
     7,
     8
    ],
    "Z": [
     1,
     8,
     13,
     26
    ]
   },
   {
    "X": [
     2,
     3,
     4,
     7,
     8,
     9
    ],
    "Z": [
     2,
     9,
     14,
     27
    ]
   },
   {
    "X": [
     3,
     4,
     5,
     8,
     9,
     10
    ],
    "Z": [
     3,
     10,
     15,
     28
    ]
   },
   {
    "X": [
     4,
     5,
     6,
     9,
     10,
     11
    ],
    "Z": [
     4,
     11,
     16,
     29
    ]
   },
   {
    "X": [
     5,
     6,
     7,
     10,
     11,
     12
    ],
    "Z": [
     0,
     5,
     12,
     17
    ]
   },
   {
    "X": [
     6,
     7,
     8,
     11,
     12,
     13
    ],
    "Z": [
     1,
     6,
     13,
     18
    ]
   },
   {
    "X": [
     7,
     8,
     9,
     12,
     13,
     14
    ],
    "Z": [
     2,
     7,
     14,
     19
    ]
   },
   {
    "X": [
     8,
     9,
     10,
     13,
     14,
     15
    ],
    "Z": [
     3,
     8,
     15,
     20
    ]
   },
   {
    "X": [
     9,
     10,
     11,
     14,
     15,
     16
    ],
    "Z": [
     4,
     9,
     16,
     21
    ]
   },
   {
    "X": [
     10,
     11,
     12,
     15,
     16,
     17
    ],
    "Z": [
     5,
     10,
     17,
     22
    ]
   },
   {
    "X": [
     11,
     12,
     13,
     16,
     17,
     18
    ],
    "Z": [
     6,
     11,
     18,
     23
    ]
   },
   {
    "X": [
     12,
     13,
     14,
     17,
     18,
     19
    ],
    "Z": [
     7,
     12,
     19,
     24
    ]
   },
   {
    "X": [
     13,
     14,
     15,
     18,
     19,
     20
    ],
    "Z": [
     8,
     13,
     20,
     25
    ]
   }
  ]
 },
 "distance": {
  "d": 5,
  "P": {
   "value": 5,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     13,
     14,
     15
    ],
    "Z": [
     8,
     20
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@FarLab"
  ],
  "construction": "One-block cyclic stabilizer code: generator X^a Z^b and its 30 cyclic shifts, a(x) = x^14 + x^15 + x^16 + x^19 + x^20 + x^21, b(x) = x^9 + x^14 + x^21 + x^26 in F_2[x]/(x^30 - 1); a = g p, b = g q with p, q palindromic so that a b* + b a* = 0; k = deg gcd(a, b, x^30 - 1)",
  "origin": "submission",
  "date": "2026-09-30",
  "model": "Claude Fable 5.1",
  "notes": "Found by a sweep of one-block palindromic cyclic codes (Camara-Ollivier-Tillich-type group-algebra code over Z_30, arXiv:quant-ph/0502086), n = 17..200, weight <= 8. Distance ladder: 300-trial Pauli-weight RIS screen, then 2 x 20,000 trials on fresh seeds (held). Novelty unknown: not checked against codetables.de; the dedup gate found no exact, WL-equivalent or Hadamard-image board entry. Genuinely non-CSS: a and b overlap, so every generator carries Y.",
  "references": [
   "arXiv:quant-ph/0502086"
  ],
  "novelty": "unknown"
 },
 "family": "other"
}