{
 "schema_version": "0.4",
 "name": "[[63,9,7]]",
 "code_type": "stabilizer",
 "n": 63,
 "k": 9,
 "checks": {
  "S": [
   {
    "X": [
     0,
     9,
     31,
     32,
     40,
     41
    ],
    "Z": [
     14,
     32,
     40,
     58
    ]
   },
   {
    "X": [
     1,
     10,
     32,
     33,
     41,
     42
    ],
    "Z": [
     15,
     33,
     41,
     59
    ]
   },
   {
    "X": [
     2,
     11,
     33,
     34,
     42,
     43
    ],
    "Z": [
     16,
     34,
     42,
     60
    ]
   },
   {
    "X": [
     3,
     12,
     34,
     35,
     43,
     44
    ],
    "Z": [
     17,
     35,
     43,
     61
    ]
   },
   {
    "X": [
     4,
     13,
     35,
     36,
     44,
     45
    ],
    "Z": [
     18,
     36,
     44,
     62
    ]
   },
   {
    "X": [
     5,
     14,
     36,
     37,
     45,
     46
    ],
    "Z": [
     0,
     19,
     37,
     45
    ]
   },
   {
    "X": [
     6,
     15,
     37,
     38,
     46,
     47
    ],
    "Z": [
     1,
     20,
     38,
     46
    ]
   },
   {
    "X": [
     7,
     16,
     38,
     39,
     47,
     48
    ],
    "Z": [
     2,
     21,
     39,
     47
    ]
   },
   {
    "X": [
     8,
     17,
     39,
     40,
     48,
     49
    ],
    "Z": [
     3,
     22,
     40,
     48
    ]
   },
   {
    "X": [
     9,
     18,
     40,
     41,
     49,
     50
    ],
    "Z": [
     4,
     23,
     41,
     49
    ]
   },
   {
    "X": [
     10,
     19,
     41,
     42,
     50,
     51
    ],
    "Z": [
     5,
     24,
     42,
     50
    ]
   },
   {
    "X": [
     11,
     20,
     42,
     43,
     51,
     52
    ],
    "Z": [
     6,
     25,
     43,
     51
    ]
   },
   {
    "X": [
     12,
     21,
     43,
     44,
     52,
     53
    ],
    "Z": [
     7,
     26,
     44,
     52
    ]
   },
   {
    "X": [
     13,
     22,
     44,
     45,
     53,
     54
    ],
    "Z": [
     8,
     27,
     45,
     53
    ]
   },
   {
    "X": [
     14,
     23,
     45,
     46,
     54,
     55
    ],
    "Z": [
     9,
     28,
     46,
     54
    ]
   },
   {
    "X": [
     15,
     24,
     46,
     47,
     55,
     56
    ],
    "Z": [
     10,
     29,
     47,
     55
    ]
   },
   {
    "X": [
     16,
     25,
     47,
     48,
     56,
     57
    ],
    "Z": [
     11,
     30,
     48,
     56
    ]
   },
   {
    "X": [
     17,
     26,
     48,
     49,
     57,
     58
    ],
    "Z": [
     12,
     31,
     49,
     57
    ]
   },
   {
    "X": [
     18,
     27,
     49,
     50,
     58,
     59
    ],
    "Z": [
     13,
     32,
     50,
     58
    ]
   },
   {
    "X": [
     19,
     28,
     50,
     51,
     59,
     60
    ],
    "Z": [
     14,
     33,
     51,
     59
    ]
   },
   {
    "X": [
     20,
     29,
     51,
     52,
     60,
     61
    ],
    "Z": [
     15,
     34,
     52,
     60
    ]
   },
   {
    "X": [
     21,
     30,
     52,
     53,
     61,
     62
    ],
    "Z": [
     16,
     35,
     53,
     61
    ]
   },
   {
    "X": [
     0,
     22,
     31,
     53,
     54,
     62
    ],
    "Z": [
     17,
     36,
     54,
     62
    ]
   },
   {
    "X": [
     0,
     1,
     23,
     32,
     54,
     55
    ],
    "Z": [
     0,
     18,
     37,
     55
    ]
   },
   {
    "X": [
     1,
     2,
     24,
     33,
     55,
     56
    ],
    "Z": [
     1,
     19,
     38,
     56
    ]
   },
   {
    "X": [
     2,
     3,
     25,
     34,
     56,
     57
    ],
    "Z": [
     2,
     20,
     39,
     57
    ]
   },
   {
    "X": [
     3,
     4,
     26,
     35,
     57,
     58
    ],
    "Z": [
     3,
     21,
     40,
     58
    ]
   },
   {
    "X": [
     4,
     5,
     27,
     36,
     58,
     59
    ],
    "Z": [
     4,
     22,
     41,
     59
    ]
   },
   {
    "X": [
     5,
     6,
     28,
     37,
     59,
     60
    ],
    "Z": [
     5,
     23,
     42,
     60
    ]
   },
   {
    "X": [
     6,
     7,
     29,
     38,
     60,
     61
    ],
    "Z": [
     6,
     24,
     43,
     61
    ]
   },
   {
    "X": [
     7,
     8,
     30,
     39,
     61,
     62
    ],
    "Z": [
     7,
     25,
     44,
     62
    ]
   },
   {
    "X": [
     0,
     8,
     9,
     31,
     40,
     62
    ],
    "Z": [
     0,
     8,
     26,
     45
    ]
   },
   {
    "X": [
     0,
     1,
     9,
     10,
     32,
     41
    ],
    "Z": [
     1,
     9,
     27,
     46
    ]
   },
   {
    "X": [
     1,
     2,
     10,
     11,
     33,
     42
    ],
    "Z": [
     2,
     10,
     28,
     47
    ]
   },
   {
    "X": [
     2,
     3,
     11,
     12,
     34,
     43
    ],
    "Z": [
     3,
     11,
     29,
     48
    ]
   },
   {
    "X": [
     3,
     4,
     12,
     13,
     35,
     44
    ],
    "Z": [
     4,
     12,
     30,
     49
    ]
   },
   {
    "X": [
     4,
     5,
     13,
     14,
     36,
     45
    ],
    "Z": [
     5,
     13,
     31,
     50
    ]
   },
   {
    "X": [
     5,
     6,
     14,
     15,
     37,
     46
    ],
    "Z": [
     6,
     14,
     32,
     51
    ]
   },
   {
    "X": [
     6,
     7,
     15,
     16,
     38,
     47
    ],
    "Z": [
     7,
     15,
     33,
     52
    ]
   },
   {
    "X": [
     7,
     8,
     16,
     17,
     39,
     48
    ],
    "Z": [
     8,
     16,
     34,
     53
    ]
   },
   {
    "X": [
     8,
     9,
     17,
     18,
     40,
     49
    ],
    "Z": [
     9,
     17,
     35,
     54
    ]
   },
   {
    "X": [
     9,
     10,
     18,
     19,
     41,
     50
    ],
    "Z": [
     10,
     18,
     36,
     55
    ]
   },
   {
    "X": [
     10,
     11,
     19,
     20,
     42,
     51
    ],
    "Z": [
     11,
     19,
     37,
     56
    ]
   },
   {
    "X": [
     11,
     12,
     20,
     21,
     43,
     52
    ],
    "Z": [
     12,
     20,
     38,
     57
    ]
   },
   {
    "X": [
     12,
     13,
     21,
     22,
     44,
     53
    ],
    "Z": [
     13,
     21,
     39,
     58
    ]
   },
   {
    "X": [
     13,
     14,
     22,
     23,
     45,
     54
    ],
    "Z": [
     14,
     22,
     40,
     59
    ]
   },
   {
    "X": [
     14,
     15,
     23,
     24,
     46,
     55
    ],
    "Z": [
     15,
     23,
     41,
     60
    ]
   },
   {
    "X": [
     15,
     16,
     24,
     25,
     47,
     56
    ],
    "Z": [
     16,
     24,
     42,
     61
    ]
   },
   {
    "X": [
     16,
     17,
     25,
     26,
     48,
     57
    ],
    "Z": [
     17,
     25,
     43,
     62
    ]
   },
   {
    "X": [
     17,
     18,
     26,
     27,
     49,
     58
    ],
    "Z": [
     0,
     18,
     26,
     44
    ]
   },
   {
    "X": [
     18,
     19,
     27,
     28,
     50,
     59
    ],
    "Z": [
     1,
     19,
     27,
     45
    ]
   },
   {
    "X": [
     19,
     20,
     28,
     29,
     51,
     60
    ],
    "Z": [
     2,
     20,
     28,
     46
    ]
   },
   {
    "X": [
     20,
     21,
     29,
     30,
     52,
     61
    ],
    "Z": [
     3,
     21,
     29,
     47
    ]
   },
   {
    "X": [
     21,
     22,
     30,
     31,
     53,
     62
    ],
    "Z": [
     4,
     22,
     30,
     48
    ]
   },
   {
    "X": [
     0,
     22,
     23,
     31,
     32,
     54
    ],
    "Z": [
     5,
     23,
     31,
     49
    ]
   },
   {
    "X": [
     1,
     23,
     24,
     32,
     33,
     55
    ],
    "Z": [
     6,
     24,
     32,
     50
    ]
   },
   {
    "X": [
     2,
     24,
     25,
     33,
     34,
     56
    ],
    "Z": [
     7,
     25,
     33,
     51
    ]
   },
   {
    "X": [
     3,
     25,
     26,
     34,
     35,
     57
    ],
    "Z": [
     8,
     26,
     34,
     52
    ]
   },
   {
    "X": [
     4,
     26,
     27,
     35,
     36,
     58
    ],
    "Z": [
     9,
     27,
     35,
     53
    ]
   },
   {
    "X": [
     5,
     27,
     28,
     36,
     37,
     59
    ],
    "Z": [
     10,
     28,
     36,
     54
    ]
   },
   {
    "X": [
     6,
     28,
     29,
     37,
     38,
     60
    ],
    "Z": [
     11,
     29,
     37,
     55
    ]
   },
   {
    "X": [
     7,
     29,
     30,
     38,
     39,
     61
    ],
    "Z": [
     12,
     30,
     38,
     56
    ]
   },
   {
    "X": [
     8,
     30,
     31,
     39,
     40,
     62
    ],
    "Z": [
     13,
     31,
     39,
     57
    ]
   }
  ]
 },
 "distance": {
  "d": 7,
  "P": {
   "value": 7,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     15,
     16,
     47
    ],
    "Z": [
     7,
     24,
     33,
     61
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@FarLab"
  ],
  "construction": "One-block cyclic stabilizer code: generator X^a Z^b and its 63 cyclic shifts, a(x) = 1 + x^9 + x^31 + x^32 + x^40 + x^41, b(x) = x^14 + x^32 + x^40 + x^58 in F_2[x]/(x^63 - 1); a = g p, b = g q with p, q palindromic so that a b* + b a* = 0; k = deg gcd(a, b, x^63 - 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_63, 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"
}