{
 "schema_version": "0.4",
 "name": "[[155,6,23]] cyclic mirror",
 "code_type": "stabilizer",
 "n": 155,
 "k": 6,
 "checks": {
  "S": [
   {
    "X": [
     0,
     38,
     143,
     147
    ],
    "Z": [
     0,
     35,
     42,
     87
    ]
   },
   {
    "X": [
     1,
     39,
     144,
     148
    ],
    "Z": [
     34,
     41,
     86,
     154
    ]
   },
   {
    "X": [
     2,
     40,
     145,
     149
    ],
    "Z": [
     33,
     40,
     85,
     153
    ]
   },
   {
    "X": [
     3,
     41,
     146,
     150
    ],
    "Z": [
     32,
     39,
     84,
     152
    ]
   },
   {
    "X": [
     4,
     42,
     147,
     151
    ],
    "Z": [
     31,
     38,
     83,
     151
    ]
   },
   {
    "X": [
     5,
     43,
     148,
     152
    ],
    "Z": [
     30,
     37,
     82,
     150
    ]
   },
   {
    "X": [
     6,
     44,
     149,
     153
    ],
    "Z": [
     29,
     36,
     81,
     149
    ]
   },
   {
    "X": [
     7,
     45,
     150,
     154
    ],
    "Z": [
     28,
     35,
     80,
     148
    ]
   },
   {
    "X": [
     0,
     8,
     46,
     151
    ],
    "Z": [
     27,
     34,
     79,
     147
    ]
   },
   {
    "X": [
     1,
     9,
     47,
     152
    ],
    "Z": [
     26,
     33,
     78,
     146
    ]
   },
   {
    "X": [
     2,
     10,
     48,
     153
    ],
    "Z": [
     25,
     32,
     77,
     145
    ]
   },
   {
    "X": [
     3,
     11,
     49,
     154
    ],
    "Z": [
     24,
     31,
     76,
     144
    ]
   },
   {
    "X": [
     0,
     4,
     12,
     50
    ],
    "Z": [
     23,
     30,
     75,
     143
    ]
   },
   {
    "X": [
     1,
     5,
     13,
     51
    ],
    "Z": [
     22,
     29,
     74,
     142
    ]
   },
   {
    "X": [
     2,
     6,
     14,
     52
    ],
    "Z": [
     21,
     28,
     73,
     141
    ]
   },
   {
    "X": [
     3,
     7,
     15,
     53
    ],
    "Z": [
     20,
     27,
     72,
     140
    ]
   },
   {
    "X": [
     4,
     8,
     16,
     54
    ],
    "Z": [
     19,
     26,
     71,
     139
    ]
   },
   {
    "X": [
     5,
     9,
     17,
     55
    ],
    "Z": [
     18,
     25,
     70,
     138
    ]
   },
   {
    "X": [
     6,
     10,
     18,
     56
    ],
    "Z": [
     17,
     24,
     69,
     137
    ]
   },
   {
    "X": [
     7,
     11,
     19,
     57
    ],
    "Z": [
     16,
     23,
     68,
     136
    ]
   },
   {
    "X": [
     8,
     12,
     20,
     58
    ],
    "Z": [
     15,
     22,
     67,
     135
    ]
   },
   {
    "X": [
     9,
     13,
     21,
     59
    ],
    "Z": [
     14,
     21,
     66,
     134
    ]
   },
   {
    "X": [
     10,
     14,
     22,
     60
    ],
    "Z": [
     13,
     20,
     65,
     133
    ]
   },
   {
    "X": [
     11,
     15,
     23,
     61
    ],
    "Z": [
     12,
     19,
     64,
     132
    ]
   },
   {
    "X": [
     12,
     16,
     24,
     62
    ],
    "Z": [
     11,
     18,
     63,
     131
    ]
   },
   {
    "X": [
     13,
     17,
     25,
     63
    ],
    "Z": [
     10,
     17,
     62,
     130
    ]
   },
   {
    "X": [
     14,
     18,
     26,
     64
    ],
    "Z": [
     9,
     16,
     61,
     129
    ]
   },
   {
    "X": [
     15,
     19,
     27,
     65
    ],
    "Z": [
     8,
     15,
     60,
     128
    ]
   },
   {
    "X": [
     16,
     20,
     28,
     66
    ],
    "Z": [
     7,
     14,
     59,
     127
    ]
   },
   {
    "X": [
     17,
     21,
     29,
     67
    ],
    "Z": [
     6,
     13,
     58,
     126
    ]
   },
   {
    "X": [
     18,
     22,
     30,
     68
    ],
    "Z": [
     5,
     12,
     57,
     125
    ]
   },
   {
    "X": [
     19,
     23,
     31,
     69
    ],
    "Z": [
     4,
     11,
     56,
     124
    ]
   },
   {
    "X": [
     20,
     24,
     32,
     70
    ],
    "Z": [
     3,
     10,
     55,
     123
    ]
   },
   {
    "X": [
     21,
     25,
     33,
     71
    ],
    "Z": [
     2,
     9,
     54,
     122
    ]
   },
   {
    "X": [
     22,
     26,
     34,
     72
    ],
    "Z": [
     1,
     8,
     53,
     121
    ]
   },
   {
    "X": [
     23,
     27,
     35,
     73
    ],
    "Z": [
     0,
     7,
     52,
     120
    ]
   },
   {
    "X": [
     24,
     28,
     36,
     74
    ],
    "Z": [
     6,
     51,
     119,
     154
    ]
   },
   {
    "X": [
     25,
     29,
     37,
     75
    ],
    "Z": [
     5,
     50,
     118,
     153
    ]
   },
   {
    "X": [
     26,
     30,
     38,
     76
    ],
    "Z": [
     4,
     49,
     117,
     152
    ]
   },
   {
    "X": [
     27,
     31,
     39,
     77
    ],
    "Z": [
     3,
     48,
     116,
     151
    ]
   },
   {
    "X": [
     28,
     32,
     40,
     78
    ],
    "Z": [
     2,
     47,
     115,
     150
    ]
   },
   {
    "X": [
     29,
     33,
     41,
     79
    ],
    "Z": [
     1,
     46,
     114,
     149
    ]
   },
   {
    "X": [
     30,
     34,
     42,
     80
    ],
    "Z": [
     0,
     45,
     113,
     148
    ]
   },
   {
    "X": [
     31,
     35,
     43,
     81
    ],
    "Z": [
     44,
     112,
     147,
     154
    ]
   },
   {
    "X": [
     32,
     36,
     44,
     82
    ],
    "Z": [
     43,
     111,
     146,
     153
    ]
   },
   {
    "X": [
     33,
     37,
     45,
     83
    ],
    "Z": [
     42,
     110,
     145,
     152
    ]
   },
   {
    "X": [
     34,
     38,
     46,
     84
    ],
    "Z": [
     41,
     109,
     144,
     151
    ]
   },
   {
    "X": [
     35,
     39,
     47,
     85
    ],
    "Z": [
     40,
     108,
     143,
     150
    ]
   },
   {
    "X": [
     36,
     40,
     48,
     86
    ],
    "Z": [
     39,
     107,
     142,
     149
    ]
   },
   {
    "X": [
     37,
     41,
     49,
     87
    ],
    "Z": [
     38,
     106,
     141,
     148
    ]
   },
   {
    "X": [
     38,
     42,
     50,
     88
    ],
    "Z": [
     37,
     105,
     140,
     147
    ]
   },
   {
    "X": [
     39,
     43,
     51,
     89
    ],
    "Z": [
     36,
     104,
     139,
     146
    ]
   },
   {
    "X": [
     40,
     44,
     52,
     90
    ],
    "Z": [
     35,
     103,
     138,
     145
    ]
   },
   {
    "X": [
     41,
     45,
     53,
     91
    ],
    "Z": [
     34,
     102,
     137,
     144
    ]
   },
   {
    "X": [
     42,
     46,
     54,
     92
    ],
    "Z": [
     33,
     101,
     136,
     143
    ]
   },
   {
    "X": [
     43,
     47,
     55,
     93
    ],
    "Z": [
     32,
     100,
     135,
     142
    ]
   },
   {
    "X": [
     44,
     48,
     56,
     94
    ],
    "Z": [
     31,
     99,
     134,
     141
    ]
   },
   {
    "X": [
     45,
     49,
     57,
     95
    ],
    "Z": [
     30,
     98,
     133,
     140
    ]
   },
   {
    "X": [
     46,
     50,
     58,
     96
    ],
    "Z": [
     29,
     97,
     132,
     139
    ]
   },
   {
    "X": [
     47,
     51,
     59,
     97
    ],
    "Z": [
     28,
     96,
     131,
     138
    ]
   },
   {
    "X": [
     48,
     52,
     60,
     98
    ],
    "Z": [
     27,
     95,
     130,
     137
    ]
   },
   {
    "X": [
     49,
     53,
     61,
     99
    ],
    "Z": [
     26,
     94,
     129,
     136
    ]
   },
   {
    "X": [
     50,
     54,
     62,
     100
    ],
    "Z": [
     25,
     93,
     128,
     135
    ]
   },
   {
    "X": [
     51,
     55,
     63,
     101
    ],
    "Z": [
     24,
     92,
     127,
     134
    ]
   },
   {
    "X": [
     52,
     56,
     64,
     102
    ],
    "Z": [
     23,
     91,
     126,
     133
    ]
   },
   {
    "X": [
     53,
     57,
     65,
     103
    ],
    "Z": [
     22,
     90,
     125,
     132
    ]
   },
   {
    "X": [
     54,
     58,
     66,
     104
    ],
    "Z": [
     21,
     89,
     124,
     131
    ]
   },
   {
    "X": [
     55,
     59,
     67,
     105
    ],
    "Z": [
     20,
     88,
     123,
     130
    ]
   },
   {
    "X": [
     56,
     60,
     68,
     106
    ],
    "Z": [
     19,
     87,
     122,
     129
    ]
   },
   {
    "X": [
     57,
     61,
     69,
     107
    ],
    "Z": [
     18,
     86,
     121,
     128
    ]
   },
   {
    "X": [
     58,
     62,
     70,
     108
    ],
    "Z": [
     17,
     85,
     120,
     127
    ]
   },
   {
    "X": [
     59,
     63,
     71,
     109
    ],
    "Z": [
     16,
     84,
     119,
     126
    ]
   },
   {
    "X": [
     60,
     64,
     72,
     110
    ],
    "Z": [
     15,
     83,
     118,
     125
    ]
   },
   {
    "X": [
     61,
     65,
     73,
     111
    ],
    "Z": [
     14,
     82,
     117,
     124
    ]
   },
   {
    "X": [
     62,
     66,
     74,
     112
    ],
    "Z": [
     13,
     81,
     116,
     123
    ]
   },
   {
    "X": [
     63,
     67,
     75,
     113
    ],
    "Z": [
     12,
     80,
     115,
     122
    ]
   },
   {
    "X": [
     64,
     68,
     76,
     114
    ],
    "Z": [
     11,
     79,
     114,
     121
    ]
   },
   {
    "X": [
     65,
     69,
     77,
     115
    ],
    "Z": [
     10,
     78,
     113,
     120
    ]
   },
   {
    "X": [
     66,
     70,
     78,
     116
    ],
    "Z": [
     9,
     77,
     112,
     119
    ]
   },
   {
    "X": [
     67,
     71,
     79,
     117
    ],
    "Z": [
     8,
     76,
     111,
     118
    ]
   },
   {
    "X": [
     68,
     72,
     80,
     118
    ],
    "Z": [
     7,
     75,
     110,
     117
    ]
   },
   {
    "X": [
     69,
     73,
     81,
     119
    ],
    "Z": [
     6,
     74,
     109,
     116
    ]
   },
   {
    "X": [
     70,
     74,
     82,
     120
    ],
    "Z": [
     5,
     73,
     108,
     115
    ]
   },
   {
    "X": [
     71,
     75,
     83,
     121
    ],
    "Z": [
     4,
     72,
     107,
     114
    ]
   },
   {
    "X": [
     72,
     76,
     84,
     122
    ],
    "Z": [
     3,
     71,
     106,
     113
    ]
   },
   {
    "X": [
     73,
     77,
     85,
     123
    ],
    "Z": [
     2,
     70,
     105,
     112
    ]
   },
   {
    "X": [
     74,
     78,
     86,
     124
    ],
    "Z": [
     1,
     69,
     104,
     111
    ]
   },
   {
    "X": [
     75,
     79,
     87,
     125
    ],
    "Z": [
     0,
     68,
     103,
     110
    ]
   },
   {
    "X": [
     76,
     80,
     88,
     126
    ],
    "Z": [
     67,
     102,
     109,
     154
    ]
   },
   {
    "X": [
     77,
     81,
     89,
     127
    ],
    "Z": [
     66,
     101,
     108,
     153
    ]
   },
   {
    "X": [
     78,
     82,
     90,
     128
    ],
    "Z": [
     65,
     100,
     107,
     152
    ]
   },
   {
    "X": [
     79,
     83,
     91,
     129
    ],
    "Z": [
     64,
     99,
     106,
     151
    ]
   },
   {
    "X": [
     80,
     84,
     92,
     130
    ],
    "Z": [
     63,
     98,
     105,
     150
    ]
   },
   {
    "X": [
     81,
     85,
     93,
     131
    ],
    "Z": [
     62,
     97,
     104,
     149
    ]
   },
   {
    "X": [
     82,
     86,
     94,
     132
    ],
    "Z": [
     61,
     96,
     103,
     148
    ]
   },
   {
    "X": [
     83,
     87,
     95,
     133
    ],
    "Z": [
     60,
     95,
     102,
     147
    ]
   },
   {
    "X": [
     84,
     88,
     96,
     134
    ],
    "Z": [
     59,
     94,
     101,
     146
    ]
   },
   {
    "X": [
     85,
     89,
     97,
     135
    ],
    "Z": [
     58,
     93,
     100,
     145
    ]
   },
   {
    "X": [
     86,
     90,
     98,
     136
    ],
    "Z": [
     57,
     92,
     99,
     144
    ]
   },
   {
    "X": [
     87,
     91,
     99,
     137
    ],
    "Z": [
     56,
     91,
     98,
     143
    ]
   },
   {
    "X": [
     88,
     92,
     100,
     138
    ],
    "Z": [
     55,
     90,
     97,
     142
    ]
   },
   {
    "X": [
     89,
     93,
     101,
     139
    ],
    "Z": [
     54,
     89,
     96,
     141
    ]
   },
   {
    "X": [
     90,
     94,
     102,
     140
    ],
    "Z": [
     53,
     88,
     95,
     140
    ]
   },
   {
    "X": [
     91,
     95,
     103,
     141
    ],
    "Z": [
     52,
     87,
     94,
     139
    ]
   },
   {
    "X": [
     92,
     96,
     104,
     142
    ],
    "Z": [
     51,
     86,
     93,
     138
    ]
   },
   {
    "X": [
     93,
     97,
     105,
     143
    ],
    "Z": [
     50,
     85,
     92,
     137
    ]
   },
   {
    "X": [
     94,
     98,
     106,
     144
    ],
    "Z": [
     49,
     84,
     91,
     136
    ]
   },
   {
    "X": [
     95,
     99,
     107,
     145
    ],
    "Z": [
     48,
     83,
     90,
     135
    ]
   },
   {
    "X": [
     96,
     100,
     108,
     146
    ],
    "Z": [
     47,
     82,
     89,
     134
    ]
   },
   {
    "X": [
     97,
     101,
     109,
     147
    ],
    "Z": [
     46,
     81,
     88,
     133
    ]
   },
   {
    "X": [
     98,
     102,
     110,
     148
    ],
    "Z": [
     45,
     80,
     87,
     132
    ]
   },
   {
    "X": [
     99,
     103,
     111,
     149
    ],
    "Z": [
     44,
     79,
     86,
     131
    ]
   },
   {
    "X": [
     100,
     104,
     112,
     150
    ],
    "Z": [
     43,
     78,
     85,
     130
    ]
   },
   {
    "X": [
     101,
     105,
     113,
     151
    ],
    "Z": [
     42,
     77,
     84,
     129
    ]
   },
   {
    "X": [
     102,
     106,
     114,
     152
    ],
    "Z": [
     41,
     76,
     83,
     128
    ]
   },
   {
    "X": [
     103,
     107,
     115,
     153
    ],
    "Z": [
     40,
     75,
     82,
     127
    ]
   },
   {
    "X": [
     104,
     108,
     116,
     154
    ],
    "Z": [
     39,
     74,
     81,
     126
    ]
   },
   {
    "X": [
     0,
     105,
     109,
     117
    ],
    "Z": [
     38,
     73,
     80,
     125
    ]
   },
   {
    "X": [
     1,
     106,
     110,
     118
    ],
    "Z": [
     37,
     72,
     79,
     124
    ]
   },
   {
    "X": [
     2,
     107,
     111,
     119
    ],
    "Z": [
     36,
     71,
     78,
     123
    ]
   },
   {
    "X": [
     3,
     108,
     112,
     120
    ],
    "Z": [
     35,
     70,
     77,
     122
    ]
   },
   {
    "X": [
     4,
     109,
     113,
     121
    ],
    "Z": [
     34,
     69,
     76,
     121
    ]
   },
   {
    "X": [
     5,
     110,
     114,
     122
    ],
    "Z": [
     33,
     68,
     75,
     120
    ]
   },
   {
    "X": [
     6,
     111,
     115,
     123
    ],
    "Z": [
     32,
     67,
     74,
     119
    ]
   },
   {
    "X": [
     7,
     112,
     116,
     124
    ],
    "Z": [
     31,
     66,
     73,
     118
    ]
   },
   {
    "X": [
     8,
     113,
     117,
     125
    ],
    "Z": [
     30,
     65,
     72,
     117
    ]
   },
   {
    "X": [
     9,
     114,
     118,
     126
    ],
    "Z": [
     29,
     64,
     71,
     116
    ]
   },
   {
    "X": [
     10,
     115,
     119,
     127
    ],
    "Z": [
     28,
     63,
     70,
     115
    ]
   },
   {
    "X": [
     11,
     116,
     120,
     128
    ],
    "Z": [
     27,
     62,
     69,
     114
    ]
   },
   {
    "X": [
     12,
     117,
     121,
     129
    ],
    "Z": [
     26,
     61,
     68,
     113
    ]
   },
   {
    "X": [
     13,
     118,
     122,
     130
    ],
    "Z": [
     25,
     60,
     67,
     112
    ]
   },
   {
    "X": [
     14,
     119,
     123,
     131
    ],
    "Z": [
     24,
     59,
     66,
     111
    ]
   },
   {
    "X": [
     15,
     120,
     124,
     132
    ],
    "Z": [
     23,
     58,
     65,
     110
    ]
   },
   {
    "X": [
     16,
     121,
     125,
     133
    ],
    "Z": [
     22,
     57,
     64,
     109
    ]
   },
   {
    "X": [
     17,
     122,
     126,
     134
    ],
    "Z": [
     21,
     56,
     63,
     108
    ]
   },
   {
    "X": [
     18,
     123,
     127,
     135
    ],
    "Z": [
     20,
     55,
     62,
     107
    ]
   },
   {
    "X": [
     19,
     124,
     128,
     136
    ],
    "Z": [
     19,
     54,
     61,
     106
    ]
   },
   {
    "X": [
     20,
     125,
     129,
     137
    ],
    "Z": [
     18,
     53,
     60,
     105
    ]
   },
   {
    "X": [
     21,
     126,
     130,
     138
    ],
    "Z": [
     17,
     52,
     59,
     104
    ]
   },
   {
    "X": [
     22,
     127,
     131,
     139
    ],
    "Z": [
     16,
     51,
     58,
     103
    ]
   },
   {
    "X": [
     23,
     128,
     132,
     140
    ],
    "Z": [
     15,
     50,
     57,
     102
    ]
   },
   {
    "X": [
     24,
     129,
     133,
     141
    ],
    "Z": [
     14,
     49,
     56,
     101
    ]
   },
   {
    "X": [
     25,
     130,
     134,
     142
    ],
    "Z": [
     13,
     48,
     55,
     100
    ]
   },
   {
    "X": [
     26,
     131,
     135,
     143
    ],
    "Z": [
     12,
     47,
     54,
     99
    ]
   },
   {
    "X": [
     27,
     132,
     136,
     144
    ],
    "Z": [
     11,
     46,
     53,
     98
    ]
   },
   {
    "X": [
     28,
     133,
     137,
     145
    ],
    "Z": [
     10,
     45,
     52,
     97
    ]
   },
   {
    "X": [
     29,
     134,
     138,
     146
    ],
    "Z": [
     9,
     44,
     51,
     96
    ]
   },
   {
    "X": [
     30,
     135,
     139,
     147
    ],
    "Z": [
     8,
     43,
     50,
     95
    ]
   },
   {
    "X": [
     31,
     136,
     140,
     148
    ],
    "Z": [
     7,
     42,
     49,
     94
    ]
   },
   {
    "X": [
     32,
     137,
     141,
     149
    ],
    "Z": [
     6,
     41,
     48,
     93
    ]
   },
   {
    "X": [
     33,
     138,
     142,
     150
    ],
    "Z": [
     5,
     40,
     47,
     92
    ]
   },
   {
    "X": [
     34,
     139,
     143,
     151
    ],
    "Z": [
     4,
     39,
     46,
     91
    ]
   },
   {
    "X": [
     35,
     140,
     144,
     152
    ],
    "Z": [
     3,
     38,
     45,
     90
    ]
   },
   {
    "X": [
     36,
     141,
     145,
     153
    ],
    "Z": [
     2,
     37,
     44,
     89
    ]
   },
   {
    "X": [
     37,
     142,
     146,
     154
    ],
    "Z": [
     1,
     36,
     43,
     88
    ]
   }
  ]
 },
 "distance": {
  "d": 23,
  "P": {
   "value": 23,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     13,
     14,
     16,
     23,
     55,
     58,
     66,
     73,
     101,
     117
    ],
    "Z": [
     4,
     8,
     14,
     26,
     38,
     46,
     58,
     64,
     66,
     70,
     72,
     76,
     88,
     109,
     135,
     147
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@mrvee-qC-bee"
  ],
  "construction": "Cyclic mirror on Z_155: row i has X on i+[0, 38, 143, 147] and Z on -i-[0, 68, 113, 120], modulo 155. Common-factor constrained sparse-polynomial instance search.",
  "origin": "submission",
  "date": "2026-10-01",
  "model": "GPT-6 Astra",
  "notes": "Independently searched instance within the established mirror-code family; novelty unverified. PR 2625 CI runs 36861550907 and 36867434625 refuted the original distance-25 and subsequent distance-24 claims, respectively. The included weight-23 Pauli logical was found by CI seed 1546517486. Retained distance is a witnessed upper bound, d <= 23; the check matrix is unchanged.",
  "references": [
   "arXiv:2603.05496v1"
  ],
  "novelty": "unknown"
 },
 "family": "other"
}