{
 "schema_version": "0.4",
 "name": "[[144,10,16]] weight-8 affine inversion fold",
 "code_type": "stabilizer",
 "n": 144,
 "k": 10,
 "checks": {
  "S": [
   {
    "X": [
     28,
     56,
     63,
     90
    ],
    "Z": [
     20,
     35,
     59,
     91
    ]
   },
   {
    "X": [
     29,
     57,
     64,
     91
    ],
    "Z": [
     19,
     34,
     58,
     90
    ]
   },
   {
    "X": [
     30,
     58,
     65,
     92
    ],
    "Z": [
     18,
     33,
     57,
     89
    ]
   },
   {
    "X": [
     31,
     59,
     66,
     93
    ],
    "Z": [
     17,
     32,
     56,
     88
    ]
   },
   {
    "X": [
     32,
     48,
     67,
     94
    ],
    "Z": [
     16,
     31,
     55,
     87
    ]
   },
   {
    "X": [
     33,
     49,
     68,
     95
    ],
    "Z": [
     15,
     30,
     54,
     86
    ]
   },
   {
    "X": [
     34,
     50,
     69,
     84
    ],
    "Z": [
     14,
     29,
     53,
     85
    ]
   },
   {
    "X": [
     35,
     51,
     70,
     85
    ],
    "Z": [
     13,
     28,
     52,
     84
    ]
   },
   {
    "X": [
     24,
     52,
     71,
     86
    ],
    "Z": [
     12,
     27,
     51,
     95
    ]
   },
   {
    "X": [
     25,
     53,
     60,
     87
    ],
    "Z": [
     23,
     26,
     50,
     94
    ]
   },
   {
    "X": [
     26,
     54,
     61,
     88
    ],
    "Z": [
     22,
     25,
     49,
     93
    ]
   },
   {
    "X": [
     27,
     55,
     62,
     89
    ],
    "Z": [
     21,
     24,
     48,
     92
    ]
   },
   {
    "X": [
     40,
     68,
     75,
     102
    ],
    "Z": [
     8,
     23,
     47,
     79
    ]
   },
   {
    "X": [
     41,
     69,
     76,
     103
    ],
    "Z": [
     7,
     22,
     46,
     78
    ]
   },
   {
    "X": [
     42,
     70,
     77,
     104
    ],
    "Z": [
     6,
     21,
     45,
     77
    ]
   },
   {
    "X": [
     43,
     71,
     78,
     105
    ],
    "Z": [
     5,
     20,
     44,
     76
    ]
   },
   {
    "X": [
     44,
     60,
     79,
     106
    ],
    "Z": [
     4,
     19,
     43,
     75
    ]
   },
   {
    "X": [
     45,
     61,
     80,
     107
    ],
    "Z": [
     3,
     18,
     42,
     74
    ]
   },
   {
    "X": [
     46,
     62,
     81,
     96
    ],
    "Z": [
     2,
     17,
     41,
     73
    ]
   },
   {
    "X": [
     47,
     63,
     82,
     97
    ],
    "Z": [
     1,
     16,
     40,
     72
    ]
   },
   {
    "X": [
     36,
     64,
     83,
     98
    ],
    "Z": [
     0,
     15,
     39,
     83
    ]
   },
   {
    "X": [
     37,
     65,
     72,
     99
    ],
    "Z": [
     11,
     14,
     38,
     82
    ]
   },
   {
    "X": [
     38,
     66,
     73,
     100
    ],
    "Z": [
     10,
     13,
     37,
     81
    ]
   },
   {
    "X": [
     39,
     67,
     74,
     101
    ],
    "Z": [
     9,
     12,
     36,
     80
    ]
   },
   {
    "X": [
     52,
     80,
     87,
     114
    ],
    "Z": [
     11,
     35,
     67,
     140
    ]
   },
   {
    "X": [
     53,
     81,
     88,
     115
    ],
    "Z": [
     10,
     34,
     66,
     139
    ]
   },
   {
    "X": [
     54,
     82,
     89,
     116
    ],
    "Z": [
     9,
     33,
     65,
     138
    ]
   },
   {
    "X": [
     55,
     83,
     90,
     117
    ],
    "Z": [
     8,
     32,
     64,
     137
    ]
   },
   {
    "X": [
     56,
     72,
     91,
     118
    ],
    "Z": [
     7,
     31,
     63,
     136
    ]
   },
   {
    "X": [
     57,
     73,
     92,
     119
    ],
    "Z": [
     6,
     30,
     62,
     135
    ]
   },
   {
    "X": [
     58,
     74,
     93,
     108
    ],
    "Z": [
     5,
     29,
     61,
     134
    ]
   },
   {
    "X": [
     59,
     75,
     94,
     109
    ],
    "Z": [
     4,
     28,
     60,
     133
    ]
   },
   {
    "X": [
     48,
     76,
     95,
     110
    ],
    "Z": [
     3,
     27,
     71,
     132
    ]
   },
   {
    "X": [
     49,
     77,
     84,
     111
    ],
    "Z": [
     2,
     26,
     70,
     143
    ]
   },
   {
    "X": [
     50,
     78,
     85,
     112
    ],
    "Z": [
     1,
     25,
     69,
     142
    ]
   },
   {
    "X": [
     51,
     79,
     86,
     113
    ],
    "Z": [
     0,
     24,
     68,
     141
    ]
   },
   {
    "X": [
     64,
     92,
     99,
     126
    ],
    "Z": [
     23,
     55,
     128,
     143
    ]
   },
   {
    "X": [
     65,
     93,
     100,
     127
    ],
    "Z": [
     22,
     54,
     127,
     142
    ]
   },
   {
    "X": [
     66,
     94,
     101,
     128
    ],
    "Z": [
     21,
     53,
     126,
     141
    ]
   },
   {
    "X": [
     67,
     95,
     102,
     129
    ],
    "Z": [
     20,
     52,
     125,
     140
    ]
   },
   {
    "X": [
     68,
     84,
     103,
     130
    ],
    "Z": [
     19,
     51,
     124,
     139
    ]
   },
   {
    "X": [
     69,
     85,
     104,
     131
    ],
    "Z": [
     18,
     50,
     123,
     138
    ]
   },
   {
    "X": [
     70,
     86,
     105,
     120
    ],
    "Z": [
     17,
     49,
     122,
     137
    ]
   },
   {
    "X": [
     71,
     87,
     106,
     121
    ],
    "Z": [
     16,
     48,
     121,
     136
    ]
   },
   {
    "X": [
     60,
     88,
     107,
     122
    ],
    "Z": [
     15,
     59,
     120,
     135
    ]
   },
   {
    "X": [
     61,
     89,
     96,
     123
    ],
    "Z": [
     14,
     58,
     131,
     134
    ]
   },
   {
    "X": [
     62,
     90,
     97,
     124
    ],
    "Z": [
     13,
     57,
     130,
     133
    ]
   },
   {
    "X": [
     63,
     91,
     98,
     125
    ],
    "Z": [
     12,
     56,
     129,
     132
    ]
   },
   {
    "X": [
     76,
     104,
     111,
     138
    ],
    "Z": [
     11,
     43,
     116,
     131
    ]
   },
   {
    "X": [
     77,
     105,
     112,
     139
    ],
    "Z": [
     10,
     42,
     115,
     130
    ]
   },
   {
    "X": [
     78,
     106,
     113,
     140
    ],
    "Z": [
     9,
     41,
     114,
     129
    ]
   },
   {
    "X": [
     79,
     107,
     114,
     141
    ],
    "Z": [
     8,
     40,
     113,
     128
    ]
   },
   {
    "X": [
     80,
     96,
     115,
     142
    ],
    "Z": [
     7,
     39,
     112,
     127
    ]
   },
   {
    "X": [
     81,
     97,
     116,
     143
    ],
    "Z": [
     6,
     38,
     111,
     126
    ]
   },
   {
    "X": [
     82,
     98,
     117,
     132
    ],
    "Z": [
     5,
     37,
     110,
     125
    ]
   },
   {
    "X": [
     83,
     99,
     118,
     133
    ],
    "Z": [
     4,
     36,
     109,
     124
    ]
   },
   {
    "X": [
     72,
     100,
     119,
     134
    ],
    "Z": [
     3,
     47,
     108,
     123
    ]
   },
   {
    "X": [
     73,
     101,
     108,
     135
    ],
    "Z": [
     2,
     46,
     119,
     122
    ]
   },
   {
    "X": [
     74,
     102,
     109,
     136
    ],
    "Z": [
     1,
     45,
     118,
     121
    ]
   },
   {
    "X": [
     75,
     103,
     110,
     137
    ],
    "Z": [
     0,
     44,
     117,
     120
    ]
   },
   {
    "X": [
     6,
     88,
     116,
     123
    ],
    "Z": [
     31,
     104,
     119,
     143
    ]
   },
   {
    "X": [
     7,
     89,
     117,
     124
    ],
    "Z": [
     30,
     103,
     118,
     142
    ]
   },
   {
    "X": [
     8,
     90,
     118,
     125
    ],
    "Z": [
     29,
     102,
     117,
     141
    ]
   },
   {
    "X": [
     9,
     91,
     119,
     126
    ],
    "Z": [
     28,
     101,
     116,
     140
    ]
   },
   {
    "X": [
     10,
     92,
     108,
     127
    ],
    "Z": [
     27,
     100,
     115,
     139
    ]
   },
   {
    "X": [
     11,
     93,
     109,
     128
    ],
    "Z": [
     26,
     99,
     114,
     138
    ]
   },
   {
    "X": [
     0,
     94,
     110,
     129
    ],
    "Z": [
     25,
     98,
     113,
     137
    ]
   },
   {
    "X": [
     1,
     95,
     111,
     130
    ],
    "Z": [
     24,
     97,
     112,
     136
    ]
   },
   {
    "X": [
     2,
     84,
     112,
     131
    ],
    "Z": [
     35,
     96,
     111,
     135
    ]
   },
   {
    "X": [
     3,
     85,
     113,
     120
    ],
    "Z": [
     34,
     107,
     110,
     134
    ]
   },
   {
    "X": [
     4,
     86,
     114,
     121
    ],
    "Z": [
     33,
     106,
     109,
     133
    ]
   },
   {
    "X": [
     5,
     87,
     115,
     122
    ],
    "Z": [
     32,
     105,
     108,
     132
    ]
   },
   {
    "X": [
     18,
     100,
     128,
     135
    ],
    "Z": [
     19,
     92,
     107,
     131
    ]
   },
   {
    "X": [
     19,
     101,
     129,
     136
    ],
    "Z": [
     18,
     91,
     106,
     130
    ]
   },
   {
    "X": [
     20,
     102,
     130,
     137
    ],
    "Z": [
     17,
     90,
     105,
     129
    ]
   },
   {
    "X": [
     21,
     103,
     131,
     138
    ],
    "Z": [
     16,
     89,
     104,
     128
    ]
   },
   {
    "X": [
     22,
     104,
     120,
     139
    ],
    "Z": [
     15,
     88,
     103,
     127
    ]
   },
   {
    "X": [
     23,
     105,
     121,
     140
    ],
    "Z": [
     14,
     87,
     102,
     126
    ]
   },
   {
    "X": [
     12,
     106,
     122,
     141
    ],
    "Z": [
     13,
     86,
     101,
     125
    ]
   },
   {
    "X": [
     13,
     107,
     123,
     142
    ],
    "Z": [
     12,
     85,
     100,
     124
    ]
   },
   {
    "X": [
     14,
     96,
     124,
     143
    ],
    "Z": [
     23,
     84,
     99,
     123
    ]
   },
   {
    "X": [
     15,
     97,
     125,
     132
    ],
    "Z": [
     22,
     95,
     98,
     122
    ]
   },
   {
    "X": [
     16,
     98,
     126,
     133
    ],
    "Z": [
     21,
     94,
     97,
     121
    ]
   },
   {
    "X": [
     17,
     99,
     127,
     134
    ],
    "Z": [
     20,
     93,
     96,
     120
    ]
   },
   {
    "X": [
     3,
     30,
     112,
     140
    ],
    "Z": [
     7,
     80,
     95,
     119
    ]
   },
   {
    "X": [
     4,
     31,
     113,
     141
    ],
    "Z": [
     6,
     79,
     94,
     118
    ]
   },
   {
    "X": [
     5,
     32,
     114,
     142
    ],
    "Z": [
     5,
     78,
     93,
     117
    ]
   },
   {
    "X": [
     6,
     33,
     115,
     143
    ],
    "Z": [
     4,
     77,
     92,
     116
    ]
   },
   {
    "X": [
     7,
     34,
     116,
     132
    ],
    "Z": [
     3,
     76,
     91,
     115
    ]
   },
   {
    "X": [
     8,
     35,
     117,
     133
    ],
    "Z": [
     2,
     75,
     90,
     114
    ]
   },
   {
    "X": [
     9,
     24,
     118,
     134
    ],
    "Z": [
     1,
     74,
     89,
     113
    ]
   },
   {
    "X": [
     10,
     25,
     119,
     135
    ],
    "Z": [
     0,
     73,
     88,
     112
    ]
   },
   {
    "X": [
     11,
     26,
     108,
     136
    ],
    "Z": [
     11,
     72,
     87,
     111
    ]
   },
   {
    "X": [
     0,
     27,
     109,
     137
    ],
    "Z": [
     10,
     83,
     86,
     110
    ]
   },
   {
    "X": [
     1,
     28,
     110,
     138
    ],
    "Z": [
     9,
     82,
     85,
     109
    ]
   },
   {
    "X": [
     2,
     29,
     111,
     139
    ],
    "Z": [
     8,
     81,
     84,
     108
    ]
   },
   {
    "X": [
     8,
     15,
     42,
     124
    ],
    "Z": [
     68,
     83,
     107,
     139
    ]
   },
   {
    "X": [
     9,
     16,
     43,
     125
    ],
    "Z": [
     67,
     82,
     106,
     138
    ]
   },
   {
    "X": [
     10,
     17,
     44,
     126
    ],
    "Z": [
     66,
     81,
     105,
     137
    ]
   },
   {
    "X": [
     11,
     18,
     45,
     127
    ],
    "Z": [
     65,
     80,
     104,
     136
    ]
   },
   {
    "X": [
     0,
     19,
     46,
     128
    ],
    "Z": [
     64,
     79,
     103,
     135
    ]
   },
   {
    "X": [
     1,
     20,
     47,
     129
    ],
    "Z": [
     63,
     78,
     102,
     134
    ]
   },
   {
    "X": [
     2,
     21,
     36,
     130
    ],
    "Z": [
     62,
     77,
     101,
     133
    ]
   },
   {
    "X": [
     3,
     22,
     37,
     131
    ],
    "Z": [
     61,
     76,
     100,
     132
    ]
   },
   {
    "X": [
     4,
     23,
     38,
     120
    ],
    "Z": [
     60,
     75,
     99,
     143
    ]
   },
   {
    "X": [
     5,
     12,
     39,
     121
    ],
    "Z": [
     71,
     74,
     98,
     142
    ]
   },
   {
    "X": [
     6,
     13,
     40,
     122
    ],
    "Z": [
     70,
     73,
     97,
     141
    ]
   },
   {
    "X": [
     7,
     14,
     41,
     123
    ],
    "Z": [
     69,
     72,
     96,
     140
    ]
   },
   {
    "X": [
     20,
     27,
     54,
     136
    ],
    "Z": [
     56,
     71,
     95,
     127
    ]
   },
   {
    "X": [
     21,
     28,
     55,
     137
    ],
    "Z": [
     55,
     70,
     94,
     126
    ]
   },
   {
    "X": [
     22,
     29,
     56,
     138
    ],
    "Z": [
     54,
     69,
     93,
     125
    ]
   },
   {
    "X": [
     23,
     30,
     57,
     139
    ],
    "Z": [
     53,
     68,
     92,
     124
    ]
   },
   {
    "X": [
     12,
     31,
     58,
     140
    ],
    "Z": [
     52,
     67,
     91,
     123
    ]
   },
   {
    "X": [
     13,
     32,
     59,
     141
    ],
    "Z": [
     51,
     66,
     90,
     122
    ]
   },
   {
    "X": [
     14,
     33,
     48,
     142
    ],
    "Z": [
     50,
     65,
     89,
     121
    ]
   },
   {
    "X": [
     15,
     34,
     49,
     143
    ],
    "Z": [
     49,
     64,
     88,
     120
    ]
   },
   {
    "X": [
     16,
     35,
     50,
     132
    ],
    "Z": [
     48,
     63,
     87,
     131
    ]
   },
   {
    "X": [
     17,
     24,
     51,
     133
    ],
    "Z": [
     59,
     62,
     86,
     130
    ]
   },
   {
    "X": [
     18,
     25,
     52,
     134
    ],
    "Z": [
     58,
     61,
     85,
     129
    ]
   },
   {
    "X": [
     19,
     26,
     53,
     135
    ],
    "Z": [
     57,
     60,
     84,
     128
    ]
   },
   {
    "X": [
     4,
     32,
     39,
     66
    ],
    "Z": [
     44,
     59,
     83,
     115
    ]
   },
   {
    "X": [
     5,
     33,
     40,
     67
    ],
    "Z": [
     43,
     58,
     82,
     114
    ]
   },
   {
    "X": [
     6,
     34,
     41,
     68
    ],
    "Z": [
     42,
     57,
     81,
     113
    ]
   },
   {
    "X": [
     7,
     35,
     42,
     69
    ],
    "Z": [
     41,
     56,
     80,
     112
    ]
   },
   {
    "X": [
     8,
     24,
     43,
     70
    ],
    "Z": [
     40,
     55,
     79,
     111
    ]
   },
   {
    "X": [
     9,
     25,
     44,
     71
    ],
    "Z": [
     39,
     54,
     78,
     110
    ]
   },
   {
    "X": [
     10,
     26,
     45,
     60
    ],
    "Z": [
     38,
     53,
     77,
     109
    ]
   },
   {
    "X": [
     11,
     27,
     46,
     61
    ],
    "Z": [
     37,
     52,
     76,
     108
    ]
   },
   {
    "X": [
     0,
     28,
     47,
     62
    ],
    "Z": [
     36,
     51,
     75,
     119
    ]
   },
   {
    "X": [
     1,
     29,
     36,
     63
    ],
    "Z": [
     47,
     50,
     74,
     118
    ]
   },
   {
    "X": [
     2,
     30,
     37,
     64
    ],
    "Z": [
     46,
     49,
     73,
     117
    ]
   },
   {
    "X": [
     3,
     31,
     38,
     65
    ],
    "Z": [
     45,
     48,
     72,
     116
    ]
   },
   {
    "X": [
     16,
     44,
     51,
     78
    ],
    "Z": [
     32,
     47,
     71,
     103
    ]
   },
   {
    "X": [
     17,
     45,
     52,
     79
    ],
    "Z": [
     31,
     46,
     70,
     102
    ]
   },
   {
    "X": [
     18,
     46,
     53,
     80
    ],
    "Z": [
     30,
     45,
     69,
     101
    ]
   },
   {
    "X": [
     19,
     47,
     54,
     81
    ],
    "Z": [
     29,
     44,
     68,
     100
    ]
   },
   {
    "X": [
     20,
     36,
     55,
     82
    ],
    "Z": [
     28,
     43,
     67,
     99
    ]
   },
   {
    "X": [
     21,
     37,
     56,
     83
    ],
    "Z": [
     27,
     42,
     66,
     98
    ]
   },
   {
    "X": [
     22,
     38,
     57,
     72
    ],
    "Z": [
     26,
     41,
     65,
     97
    ]
   },
   {
    "X": [
     23,
     39,
     58,
     73
    ],
    "Z": [
     25,
     40,
     64,
     96
    ]
   },
   {
    "X": [
     12,
     40,
     59,
     74
    ],
    "Z": [
     24,
     39,
     63,
     107
    ]
   },
   {
    "X": [
     13,
     41,
     48,
     75
    ],
    "Z": [
     35,
     38,
     62,
     106
    ]
   },
   {
    "X": [
     14,
     42,
     49,
     76
    ],
    "Z": [
     34,
     37,
     61,
     105
    ]
   },
   {
    "X": [
     15,
     43,
     50,
     77
    ],
    "Z": [
     33,
     36,
     60,
     104
    ]
   }
  ]
 },
 "distance": {
  "d": 16,
  "P": {
   "value": 16,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     7,
     8,
     31,
     32,
     43,
     44,
     67,
     68,
     79,
     80,
     103,
     104,
     115,
     116,
     139,
     140
    ],
    "Z": [
     7,
     31,
     43,
     67,
     79,
     103,
     115,
     139
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@mrvee-qC-bee"
  ],
  "construction": "Abelian mirror code / symplectic halving of the [[288,20,<=22]] BB cover in Symons, Rajput and Browne, arXiv:2511.13560v3 Table 12. On Z_12 x Z_12, A={(5,3),(4,8),(2,4),(7,6)}, B={(10,1),(8,1),(11,4),(5,5)}; generator g has X support g+A and Z support -g-B. Standard inversion fold S=(A|BP), P(g)=-g, with no claim of a new construction.",
  "origin": "submission",
  "date": "2026-10-01",
  "model": "GPT-6 Astra",
  "notes": "Known parameters: the existing CSS [[144,10,<=16]] entry codes/144-10-16.json was contributed by @MathysRennela (PR951). This stabilizer instance is not LC+permutation equivalent to that even-generator CSS code: stored generator 14 has odd Pauli weight 7. No exhaustive literature-equivalence claim. Distance remains a witness-backed upper bound. Direct Pauli, doubled CSS, pure-section and exact 3n CSS-embedding refutation searches were used, including a 1,000,000-trial embedding rung that held 16. The embedding is a search aid, not an official exact-distance certificate.",
  "references": [
   "https://arxiv.org/abs/2511.13560v3",
   "https://arxiv.org/abs/2603.05496v1",
   "https://arxiv.org/abs/2609.30069v1",
   "https://github.com/unitaryfoundation/qldpc-challenge/pull/951"
  ],
  "novelty": "known_parameters"
 },
 "family": "other"
}