{
 "schema_version": "0.4",
 "name": "[[93,32,7]] mixed subgroup CNOT89-to-86 rebase, weight13 degree11 incidence668",
 "code_type": "stabilizer",
 "family": "other",
 "n": 93,
 "k": 32,
 "checks": {
  "S": [
   {
    "X": [
     13,
     18,
     21,
     29,
     35,
     42,
     44,
     48
    ],
    "Z": []
   },
   {
    "X": [
     5,
     15,
     23,
     34,
     59,
     76,
     79,
     80
    ],
    "Z": []
   },
   {
    "X": [
     36,
     42,
     58,
     61,
     70,
     75,
     78,
     86
    ],
    "Z": []
   },
   {
    "X": [],
    "Z": [
     1,
     5,
     14,
     37,
     41,
     59,
     62,
     82,
     90
    ]
   },
   {
    "X": [
     2,
     5,
     7,
     33,
     41,
     52,
     64,
     70,
     74
    ],
    "Z": []
   },
   {
    "X": [
     4,
     7,
     9,
     35,
     43,
     54,
     66,
     72,
     76
    ],
    "Z": []
   },
   {
    "X": [
     10,
     13,
     15,
     41,
     49,
     60,
     72,
     78,
     82
    ],
    "Z": []
   },
   {
    "X": [
     12,
     15,
     17,
     31,
     43,
     51,
     74,
     80,
     84
    ],
    "Z": []
   },
   {
    "X": [
     3,
     9,
     13,
     35,
     38,
     40,
     66,
     74,
     85
    ],
    "Z": []
   },
   {
    "X": [
     14,
     17,
     19,
     33,
     45,
     53,
     76,
     82,
     86
    ],
    "Z": []
   },
   {
    "X": [
     0,
     26,
     29,
     34,
     45,
     57,
     63,
     67,
     88
    ],
    "Z": []
   },
   {
    "X": [
     16,
     19,
     21,
     35,
     47,
     55,
     78,
     84,
     88
    ],
    "Z": []
   },
   {
    "X": [
     6,
     8,
     35,
     51,
     56,
     64,
     67,
     83,
     89
    ],
    "Z": []
   },
   {
    "X": [
     8,
     14,
     20,
     25,
     52,
     54,
     64,
     85,
     90
    ],
    "Z": []
   },
   {
    "X": [
     14,
     16,
     18,
     43,
     51,
     62,
     66,
     68,
     91
    ],
    "Z": []
   },
   {
    "X": [
     7,
     9,
     10,
     40,
     44,
     54,
     56,
     70,
     92
    ],
    "Z": []
   },
   {
    "X": [
     2,
     4,
     30,
     38,
     49,
     61,
     67,
     71,
     92
    ],
    "Z": []
   },
   {
    "X": [
     10,
     16,
     20,
     42,
     45,
     47,
     73,
     81,
     92
    ],
    "Z": []
   },
   {
    "X": [
     20,
     23,
     25,
     39,
     51,
     59,
     82,
     88,
     92
    ],
    "Z": []
   },
   {
    "X": [],
    "Z": [
     0,
     23,
     25,
     28,
     38,
     50,
     64,
     67,
     74,
     80
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     16,
     27,
     44,
     47,
     48,
     54,
     66,
     77,
     85
    ]
   },
   {
    "X": [],
    "Z": [
     12,
     17,
     19,
     28,
     37,
     49,
     61,
     65,
     78,
     87
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     34,
     43,
     62,
     71,
     72,
     79,
     84,
     88,
     92
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     15,
     17,
     24,
     38,
     41,
     46,
     61,
     74,
     80,
     86
    ]
   },
   {
    "X": [],
    "Z": [
     14,
     18,
     42,
     47,
     49,
     61,
     78,
     83,
     86,
     89,
     90
    ]
   },
   {
    "X": [],
    "Z": [
     16,
     20,
     22,
     29,
     35,
     43,
     46,
     51,
     63,
     85,
     91
    ]
   },
   {
    "X": [
     16,
     29,
     32,
     33,
     38,
     44,
     58,
     72,
     75,
     80,
     88
    ],
    "Z": []
   },
   {
    "X": [],
    "Z": [
     3,
     5,
     12,
     30,
     34,
     49,
     57,
     60,
     62,
     68,
     74,
     77
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     4,
     6,
     13,
     35,
     50,
     58,
     61,
     63,
     69,
     75,
     78
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     5,
     7,
     14,
     31,
     36,
     51,
     59,
     64,
     70,
     76,
     79
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     6,
     8,
     15,
     32,
     37,
     52,
     60,
     65,
     71,
     77,
     80
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     7,
     9,
     16,
     33,
     38,
     53,
     61,
     66,
     72,
     78,
     81
    ]
   },
   {
    "X": [],
    "Z": [
     4,
     8,
     10,
     17,
     31,
     34,
     39,
     54,
     67,
     73,
     79,
     82
    ]
   },
   {
    "X": [],
    "Z": [
     5,
     9,
     11,
     18,
     32,
     35,
     40,
     55,
     68,
     74,
     80,
     83
    ]
   },
   {
    "X": [],
    "Z": [
     6,
     10,
     12,
     19,
     33,
     36,
     41,
     56,
     69,
     75,
     81,
     84
    ]
   },
   {
    "X": [],
    "Z": [
     7,
     11,
     13,
     20,
     34,
     37,
     42,
     57,
     70,
     76,
     82,
     85
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     18,
     22,
     24,
     37,
     45,
     48,
     53,
     62,
     65,
     81,
     87
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     13,
     15,
     22,
     36,
     39,
     44,
     59,
     72,
     78,
     84,
     87
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     7,
     25,
     29,
     44,
     52,
     55,
     60,
     63,
     69,
     72,
     88
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     14,
     16,
     23,
     37,
     40,
     45,
     60,
     73,
     79,
     85,
     88
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     8,
     26,
     30,
     45,
     53,
     56,
     61,
     64,
     70,
     73,
     89
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     20,
     24,
     26,
     39,
     47,
     50,
     55,
     64,
     67,
     83,
     89
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     2,
     9,
     27,
     31,
     46,
     54,
     57,
     65,
     71,
     74,
     90
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     21,
     25,
     27,
     40,
     48,
     51,
     56,
     65,
     68,
     84,
     90
    ]
   },
   {
    "X": [],
    "Z": [
     4,
     22,
     26,
     28,
     41,
     49,
     52,
     57,
     66,
     69,
     85,
     91
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     4,
     11,
     29,
     33,
     48,
     56,
     59,
     67,
     73,
     76,
     92
    ]
   },
   {
    "X": [
     6,
     19,
     48,
     50,
     54,
     65,
     67
    ],
    "Z": [
     19,
     21,
     32,
     48,
     58,
     77,
     86
    ]
   },
   {
    "X": [
     0,
     4,
     11,
     12,
     27,
     28,
     34,
     41,
     62,
     68,
     69,
     75
    ],
    "Z": []
   },
   {
    "X": [
     0,
     3,
     9,
     30,
     34,
     36,
     39,
     50,
     68,
     70,
     72,
     81
    ],
    "Z": []
   },
   {
    "X": [
     9,
     15,
     23,
     30,
     36,
     37,
     62,
     70,
     71,
     80,
     81,
     87
    ],
    "Z": []
   },
   {
    "X": [
     0,
     6,
     25,
     28,
     30,
     46,
     63,
     65,
     69,
     74,
     83,
     89
    ],
    "Z": []
   },
   {
    "X": [
     7,
     27,
     28,
     44,
     46,
     51,
     53,
     57,
     74,
     83,
     87,
     89
    ],
    "Z": []
   },
   {
    "X": [
     5,
     15,
     18,
     21,
     31,
     34,
     49,
     57,
     71,
     86,
     87,
     90
    ],
    "Z": []
   },
   {
    "X": [],
    "Z": [
     17,
     21,
     23,
     30,
     36,
     44,
     47,
     52,
     64,
     80,
     86,
     89,
     92
    ]
   },
   {
    "X": [
     1,
     9,
     16,
     24,
     33,
     46,
     53,
     55,
     58,
     59,
     60,
     75,
     77
    ],
    "Z": []
   },
   {
    "X": [
     0,
     6,
     22,
     25,
     31,
     37,
     59,
     63,
     65,
     69,
     71,
     76,
     79
    ],
    "Z": []
   },
   {
    "X": [
     1,
     8,
     13,
     36,
     52,
     69,
     82
    ],
    "Z": [
     1,
     8,
     21,
     24,
     35,
     66,
     90,
     91
    ]
   },
   {
    "X": [
     7,
     12,
     18,
     27,
     30,
     47,
     49,
     51,
     53,
     57,
     63,
     75,
     83
    ],
    "Z": []
   },
   {
    "X": [
     1,
     9,
     24,
     29,
     31,
     37,
     46,
     53,
     55,
     71,
     76,
     79,
     87
    ],
    "Z": []
   },
   {
    "X": [
     4,
     6,
     11,
     27,
     31,
     37,
     40,
     41,
     56,
     73,
     79,
     84,
     87
    ],
    "Z": []
   },
   {
    "X": [
     17,
     24,
     28,
     31,
     37,
     43,
     45,
     59,
     64,
     71,
     76,
     87,
     91
    ],
    "Z": []
   }
  ]
 },
 "distance": {
  "d": 7,
  "P": {
   "value": 7,
   "confidence": "upper_bound",
   "witness": {
    "X": [],
    "Z": [
     2,
     8,
     32,
     38,
     40,
     52,
     56
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@hirobumii"
  ],
  "construction": "Physical CNOT control89,target86 applied to literal rank61 mixed subgroup of the independent34X/30Z I635 source, followed by complete cap13 minimum-incidence rebasing. Source coefficient constraints17179869185,34359738372,8632047322. Complete source cap14 census and all214 genuine general-Pauli logical7 words give source-direct exact distance7 and resource minima. Literal vector(93,32,7,13,11,61,668).",
  "references": [
   "https://arxiv.org/abs/quant-ph/9705052",
   "https://arxiv.org/abs/quant-ph/0304125"
  ],
  "date": "2026-10-18",
  "notes": "Displayed presentation: maximum check weight 13, maximum qubit degree 11, 61 checks and total incidence 668.",
  "model": "GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration)"
 }
}