{
 "schema_version": "0.4",
 "name": "[[96,10,12]]",
 "code_type": "stabilizer",
 "n": 96,
 "k": 10,
 "checks": {
  "S": [
   {
    "X": [
     16,
     24,
     39,
     78
    ],
    "Z": [
     11,
     67,
     68,
     79
    ]
   },
   {
    "X": [
     17,
     25,
     36,
     79
    ],
    "Z": [
     10,
     66,
     71,
     78
    ]
   },
   {
    "X": [
     18,
     26,
     37,
     76
    ],
    "Z": [
     9,
     65,
     70,
     77
    ]
   },
   {
    "X": [
     19,
     27,
     38,
     77
    ],
    "Z": [
     8,
     64,
     69,
     76
    ]
   },
   {
    "X": [
     20,
     28,
     43,
     82
    ],
    "Z": [
     7,
     63,
     64,
     75
    ]
   },
   {
    "X": [
     21,
     29,
     40,
     83
    ],
    "Z": [
     6,
     62,
     67,
     74
    ]
   },
   {
    "X": [
     22,
     30,
     41,
     80
    ],
    "Z": [
     5,
     61,
     66,
     73
    ]
   },
   {
    "X": [
     23,
     31,
     42,
     81
    ],
    "Z": [
     4,
     60,
     65,
     72
    ]
   },
   {
    "X": [
     24,
     32,
     47,
     86
    ],
    "Z": [
     3,
     59,
     60,
     71
    ]
   },
   {
    "X": [
     25,
     33,
     44,
     87
    ],
    "Z": [
     2,
     58,
     63,
     70
    ]
   },
   {
    "X": [
     26,
     34,
     45,
     84
    ],
    "Z": [
     1,
     57,
     62,
     69
    ]
   },
   {
    "X": [
     27,
     35,
     46,
     85
    ],
    "Z": [
     0,
     56,
     61,
     68
    ]
   },
   {
    "X": [
     28,
     36,
     51,
     90
    ],
    "Z": [
     55,
     56,
     67,
     95
    ]
   },
   {
    "X": [
     29,
     37,
     48,
     91
    ],
    "Z": [
     54,
     59,
     66,
     94
    ]
   },
   {
    "X": [
     30,
     38,
     49,
     88
    ],
    "Z": [
     53,
     58,
     65,
     93
    ]
   },
   {
    "X": [
     31,
     39,
     50,
     89
    ],
    "Z": [
     52,
     57,
     64,
     92
    ]
   },
   {
    "X": [
     32,
     40,
     55,
     94
    ],
    "Z": [
     51,
     52,
     63,
     91
    ]
   },
   {
    "X": [
     33,
     41,
     52,
     95
    ],
    "Z": [
     50,
     55,
     62,
     90
    ]
   },
   {
    "X": [
     34,
     42,
     53,
     92
    ],
    "Z": [
     49,
     54,
     61,
     89
    ]
   },
   {
    "X": [
     35,
     43,
     54,
     93
    ],
    "Z": [
     48,
     53,
     60,
     88
    ]
   },
   {
    "X": [
     2,
     36,
     44,
     59
    ],
    "Z": [
     47,
     48,
     59,
     87
    ]
   },
   {
    "X": [
     3,
     37,
     45,
     56
    ],
    "Z": [
     46,
     51,
     58,
     86
    ]
   },
   {
    "X": [
     0,
     38,
     46,
     57
    ],
    "Z": [
     45,
     50,
     57,
     85
    ]
   },
   {
    "X": [
     1,
     39,
     47,
     58
    ],
    "Z": [
     44,
     49,
     56,
     84
    ]
   },
   {
    "X": [
     6,
     40,
     48,
     63
    ],
    "Z": [
     43,
     44,
     55,
     83
    ]
   },
   {
    "X": [
     7,
     41,
     49,
     60
    ],
    "Z": [
     42,
     47,
     54,
     82
    ]
   },
   {
    "X": [
     4,
     42,
     50,
     61
    ],
    "Z": [
     41,
     46,
     53,
     81
    ]
   },
   {
    "X": [
     5,
     43,
     51,
     62
    ],
    "Z": [
     40,
     45,
     52,
     80
    ]
   },
   {
    "X": [
     10,
     44,
     52,
     67
    ],
    "Z": [
     39,
     40,
     51,
     79
    ]
   },
   {
    "X": [
     11,
     45,
     53,
     64
    ],
    "Z": [
     38,
     43,
     50,
     78
    ]
   },
   {
    "X": [
     8,
     46,
     54,
     65
    ],
    "Z": [
     37,
     42,
     49,
     77
    ]
   },
   {
    "X": [
     9,
     47,
     55,
     66
    ],
    "Z": [
     36,
     41,
     48,
     76
    ]
   },
   {
    "X": [
     14,
     48,
     56,
     71
    ],
    "Z": [
     35,
     36,
     47,
     75
    ]
   },
   {
    "X": [
     15,
     49,
     57,
     68
    ],
    "Z": [
     34,
     39,
     46,
     74
    ]
   },
   {
    "X": [
     12,
     50,
     58,
     69
    ],
    "Z": [
     33,
     38,
     45,
     73
    ]
   },
   {
    "X": [
     13,
     51,
     59,
     70
    ],
    "Z": [
     32,
     37,
     44,
     72
    ]
   },
   {
    "X": [
     18,
     52,
     60,
     75
    ],
    "Z": [
     31,
     32,
     43,
     71
    ]
   },
   {
    "X": [
     19,
     53,
     61,
     72
    ],
    "Z": [
     30,
     35,
     42,
     70
    ]
   },
   {
    "X": [
     16,
     54,
     62,
     73
    ],
    "Z": [
     29,
     34,
     41,
     69
    ]
   },
   {
    "X": [
     17,
     55,
     63,
     74
    ],
    "Z": [
     28,
     33,
     40,
     68
    ]
   },
   {
    "X": [
     22,
     56,
     64,
     79
    ],
    "Z": [
     27,
     28,
     39,
     67
    ]
   },
   {
    "X": [
     23,
     57,
     65,
     76
    ],
    "Z": [
     26,
     31,
     38,
     66
    ]
   },
   {
    "X": [
     20,
     58,
     66,
     77
    ],
    "Z": [
     25,
     30,
     37,
     65
    ]
   },
   {
    "X": [
     21,
     59,
     67,
     78
    ],
    "Z": [
     24,
     29,
     36,
     64
    ]
   },
   {
    "X": [
     26,
     60,
     68,
     83
    ],
    "Z": [
     23,
     24,
     35,
     63
    ]
   },
   {
    "X": [
     27,
     61,
     69,
     80
    ],
    "Z": [
     22,
     27,
     34,
     62
    ]
   },
   {
    "X": [
     24,
     62,
     70,
     81
    ],
    "Z": [
     21,
     26,
     33,
     61
    ]
   },
   {
    "X": [
     25,
     63,
     71,
     82
    ],
    "Z": [
     20,
     25,
     32,
     60
    ]
   },
   {
    "X": [
     30,
     64,
     72,
     87
    ],
    "Z": [
     19,
     20,
     31,
     59
    ]
   },
   {
    "X": [
     31,
     65,
     73,
     84
    ],
    "Z": [
     18,
     23,
     30,
     58
    ]
   },
   {
    "X": [
     28,
     66,
     74,
     85
    ],
    "Z": [
     17,
     22,
     29,
     57
    ]
   },
   {
    "X": [
     29,
     67,
     75,
     86
    ],
    "Z": [
     16,
     21,
     28,
     56
    ]
   },
   {
    "X": [
     34,
     68,
     76,
     91
    ],
    "Z": [
     15,
     16,
     27,
     55
    ]
   },
   {
    "X": [
     35,
     69,
     77,
     88
    ],
    "Z": [
     14,
     19,
     26,
     54
    ]
   },
   {
    "X": [
     32,
     70,
     78,
     89
    ],
    "Z": [
     13,
     18,
     25,
     53
    ]
   },
   {
    "X": [
     33,
     71,
     79,
     90
    ],
    "Z": [
     12,
     17,
     24,
     52
    ]
   },
   {
    "X": [
     38,
     72,
     80,
     95
    ],
    "Z": [
     11,
     12,
     23,
     51
    ]
   },
   {
    "X": [
     39,
     73,
     81,
     92
    ],
    "Z": [
     10,
     15,
     22,
     50
    ]
   },
   {
    "X": [
     36,
     74,
     82,
     93
    ],
    "Z": [
     9,
     14,
     21,
     49
    ]
   },
   {
    "X": [
     37,
     75,
     83,
     94
    ],
    "Z": [
     8,
     13,
     20,
     48
    ]
   },
   {
    "X": [
     3,
     42,
     76,
     84
    ],
    "Z": [
     7,
     8,
     19,
     47
    ]
   },
   {
    "X": [
     0,
     43,
     77,
     85
    ],
    "Z": [
     6,
     11,
     18,
     46
    ]
   },
   {
    "X": [
     1,
     40,
     78,
     86
    ],
    "Z": [
     5,
     10,
     17,
     45
    ]
   },
   {
    "X": [
     2,
     41,
     79,
     87
    ],
    "Z": [
     4,
     9,
     16,
     44
    ]
   },
   {
    "X": [
     7,
     46,
     80,
     88
    ],
    "Z": [
     3,
     4,
     15,
     43
    ]
   },
   {
    "X": [
     4,
     47,
     81,
     89
    ],
    "Z": [
     2,
     7,
     14,
     42
    ]
   },
   {
    "X": [
     5,
     44,
     82,
     90
    ],
    "Z": [
     1,
     6,
     13,
     41
    ]
   },
   {
    "X": [
     6,
     45,
     83,
     91
    ],
    "Z": [
     0,
     5,
     12,
     40
    ]
   },
   {
    "X": [
     11,
     50,
     84,
     92
    ],
    "Z": [
     0,
     11,
     39,
     95
    ]
   },
   {
    "X": [
     8,
     51,
     85,
     93
    ],
    "Z": [
     3,
     10,
     38,
     94
    ]
   },
   {
    "X": [
     9,
     48,
     86,
     94
    ],
    "Z": [
     2,
     9,
     37,
     93
    ]
   },
   {
    "X": [
     10,
     49,
     87,
     95
    ],
    "Z": [
     1,
     8,
     36,
     92
    ]
   },
   {
    "X": [
     0,
     15,
     54,
     88
    ],
    "Z": [
     7,
     35,
     91,
     92
    ]
   },
   {
    "X": [
     1,
     12,
     55,
     89
    ],
    "Z": [
     6,
     34,
     90,
     95
    ]
   },
   {
    "X": [
     2,
     13,
     52,
     90
    ],
    "Z": [
     5,
     33,
     89,
     94
    ]
   },
   {
    "X": [
     3,
     14,
     53,
     91
    ],
    "Z": [
     4,
     32,
     88,
     93
    ]
   },
   {
    "X": [
     4,
     19,
     58,
     92
    ],
    "Z": [
     3,
     31,
     87,
     88
    ]
   },
   {
    "X": [
     5,
     16,
     59,
     93
    ],
    "Z": [
     2,
     30,
     86,
     91
    ]
   },
   {
    "X": [
     6,
     17,
     56,
     94
    ],
    "Z": [
     1,
     29,
     85,
     90
    ]
   },
   {
    "X": [
     7,
     18,
     57,
     95
    ],
    "Z": [
     0,
     28,
     84,
     89
    ]
   },
   {
    "X": [
     0,
     8,
     23,
     62
    ],
    "Z": [
     27,
     83,
     84,
     95
    ]
   },
   {
    "X": [
     1,
     9,
     20,
     63
    ],
    "Z": [
     26,
     82,
     87,
     94
    ]
   },
   {
    "X": [
     2,
     10,
     21,
     60
    ],
    "Z": [
     25,
     81,
     86,
     93
    ]
   },
   {
    "X": [
     3,
     11,
     22,
     61
    ],
    "Z": [
     24,
     80,
     85,
     92
    ]
   },
   {
    "X": [
     4,
     12,
     27,
     66
    ],
    "Z": [
     23,
     79,
     80,
     91
    ]
   },
   {
    "X": [
     5,
     13,
     24,
     67
    ],
    "Z": [
     22,
     78,
     83,
     90
    ]
   },
   {
    "X": [
     6,
     14,
     25,
     64
    ],
    "Z": [
     21,
     77,
     82,
     89
    ]
   },
   {
    "X": [
     7,
     15,
     26,
     65
    ],
    "Z": [
     20,
     76,
     81,
     88
    ]
   },
   {
    "X": [
     8,
     16,
     31,
     70
    ],
    "Z": [
     19,
     75,
     76,
     87
    ]
   },
   {
    "X": [
     9,
     17,
     28,
     71
    ],
    "Z": [
     18,
     74,
     79,
     86
    ]
   },
   {
    "X": [
     10,
     18,
     29,
     68
    ],
    "Z": [
     17,
     73,
     78,
     85
    ]
   },
   {
    "X": [
     11,
     19,
     30,
     69
    ],
    "Z": [
     16,
     72,
     77,
     84
    ]
   },
   {
    "X": [
     12,
     20,
     35,
     74
    ],
    "Z": [
     15,
     71,
     72,
     83
    ]
   },
   {
    "X": [
     13,
     21,
     32,
     75
    ],
    "Z": [
     14,
     70,
     75,
     82
    ]
   },
   {
    "X": [
     14,
     22,
     33,
     72
    ],
    "Z": [
     13,
     69,
     74,
     81
    ]
   },
   {
    "X": [
     15,
     23,
     34,
     73
    ],
    "Z": [
     12,
     68,
     73,
     80
    ]
   }
  ]
 },
 "distance": {
  "d": 12,
  "P": {
   "value": 12,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     14,
     21,
     36,
     45,
     62,
     69,
     84,
     93
    ],
    "Z": [
     14,
     21,
     38,
     47,
     62,
     69,
     86,
     95
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@mrvee-qC-bee"
  ],
  "construction": "Group-inversion symplectic fold of the [[192,20,<=16]] BB cover code in Symons, Rajput, Browne, arXiv:2511.13560v3, Table 12, also reproduced as codes/192-20-16.json. Group G=Z_24 x Z_4, index=4*i+j. A=x^9*y^3+x^4+x^6+x^19*y^2; B=x^22*y+x^8*y+x^7+x^5*y. Let A and B denote the corresponding binary circulant matrices, with a monomial shift positive in the column index, and P the permutation (i,j)->(-i,-j). The submitted stabilizer is S=(A | B*P). AB^T_new+B_new*A^T=ABP+BAP=0 because A and B commute. The parent CSS matrices were reconstructed bit-for-bit against the existing source entry.",
  "origin": "submission",
  "date": "2026-10-01",
  "model": "GPT-6 Astra",
  "notes": "Applied a standard symplectic halving operation to a published BB parent. No claim of a new halving transformation or new parent construction. The [[96,10,12]] parameters are known for CSS codes: arXiv:2511.13560v3 Section 6.2 and Table 10 explicitly list them and attribute earlier instances to Lin and Pryadko. This folded stabilizer is inequivalent under local Cliffords and permutations to the published even-generator CSS instance: our stabilizer contains weight-7 elements while its entire stabilizer has even Pauli weight. Exhaustive literature novelty of this particular non-CSS code remains unverified. d<=12 is a witnessed upper bound. Search evidence: two independent seeds (61721 and 424242), each with 20,000 direct Pauli RIS trials and 400,000 native trials on the doubled CSS matrices, and an independent pure-Y section audit using the repository CSS RIS engine (3,000 trials, pair_depth=20) all found no lighter logical; pure-Y section reached12. No geometric locality or exact-distance certificate is claimed.",
  "novelty": "known_parameters",
  "references": [
   "https://arxiv.org/abs/2511.13560v3",
   "https://arxiv.org/abs/2609.30069",
   "https://arxiv.org/html/2511.13560v3"
  ]
 },
 "family": "other"
}