{
 "schema_version": "0.4",
 "name": "[[144,4,8]]",
 "code_type": "stabilizer",
 "n": 144,
 "k": 4,
 "checks": {
  "S": [
   {
    "X": [
     0,
     13,
     72,
     78,
     80
    ],
    "Z": [
     0,
     13,
     78
    ]
   },
   {
    "X": [
     1,
     14,
     73,
     79,
     81
    ],
    "Z": [
     1,
     14,
     79
    ]
   },
   {
    "X": [
     2,
     15,
     74,
     76,
     82
    ],
    "Z": [
     2,
     15,
     76
    ]
   },
   {
    "X": [
     3,
     12,
     75,
     77,
     83
    ],
    "Z": [
     3,
     12,
     77
    ]
   },
   {
    "X": [
     4,
     17,
     76,
     82,
     84
    ],
    "Z": [
     4,
     17,
     82
    ]
   },
   {
    "X": [
     5,
     18,
     77,
     83,
     85
    ],
    "Z": [
     5,
     18,
     83
    ]
   },
   {
    "X": [
     6,
     19,
     78,
     80,
     86
    ],
    "Z": [
     6,
     19,
     80
    ]
   },
   {
    "X": [
     7,
     16,
     79,
     81,
     87
    ],
    "Z": [
     7,
     16,
     81
    ]
   },
   {
    "X": [
     8,
     21,
     80,
     86,
     88
    ],
    "Z": [
     8,
     21,
     86
    ]
   },
   {
    "X": [
     9,
     22,
     81,
     87,
     89
    ],
    "Z": [
     9,
     22,
     87
    ]
   },
   {
    "X": [
     10,
     23,
     82,
     84,
     90
    ],
    "Z": [
     10,
     23,
     84
    ]
   },
   {
    "X": [
     11,
     20,
     83,
     85,
     91
    ],
    "Z": [
     11,
     20,
     85
    ]
   },
   {
    "X": [
     12,
     25,
     84,
     90,
     92
    ],
    "Z": [
     12,
     25,
     90
    ]
   },
   {
    "X": [
     13,
     26,
     85,
     91,
     93
    ],
    "Z": [
     13,
     26,
     91
    ]
   },
   {
    "X": [
     14,
     27,
     86,
     88,
     94
    ],
    "Z": [
     14,
     27,
     88
    ]
   },
   {
    "X": [
     15,
     24,
     87,
     89,
     95
    ],
    "Z": [
     15,
     24,
     89
    ]
   },
   {
    "X": [
     16,
     29,
     88,
     94,
     96
    ],
    "Z": [
     16,
     29,
     94
    ]
   },
   {
    "X": [
     17,
     30,
     89,
     95,
     97
    ],
    "Z": [
     17,
     30,
     95
    ]
   },
   {
    "X": [
     18,
     31,
     90,
     92,
     98
    ],
    "Z": [
     18,
     31,
     92
    ]
   },
   {
    "X": [
     19,
     28,
     91,
     93,
     99
    ],
    "Z": [
     19,
     28,
     93
    ]
   },
   {
    "X": [
     20,
     33,
     92,
     98,
     100
    ],
    "Z": [
     20,
     33,
     98
    ]
   },
   {
    "X": [
     21,
     34,
     93,
     99,
     101
    ],
    "Z": [
     21,
     34,
     99
    ]
   },
   {
    "X": [
     22,
     35,
     94,
     96,
     102
    ],
    "Z": [
     22,
     35,
     96
    ]
   },
   {
    "X": [
     23,
     32,
     95,
     97,
     103
    ],
    "Z": [
     23,
     32,
     97
    ]
   },
   {
    "X": [
     24,
     37,
     96,
     102,
     104
    ],
    "Z": [
     24,
     37,
     102
    ]
   },
   {
    "X": [
     25,
     38,
     97,
     103,
     105
    ],
    "Z": [
     25,
     38,
     103
    ]
   },
   {
    "X": [
     26,
     39,
     98,
     100,
     106
    ],
    "Z": [
     26,
     39,
     100
    ]
   },
   {
    "X": [
     27,
     36,
     99,
     101,
     107
    ],
    "Z": [
     27,
     36,
     101
    ]
   },
   {
    "X": [
     28,
     41,
     100,
     106,
     108
    ],
    "Z": [
     28,
     41,
     106
    ]
   },
   {
    "X": [
     29,
     42,
     101,
     107,
     109
    ],
    "Z": [
     29,
     42,
     107
    ]
   },
   {
    "X": [
     30,
     43,
     102,
     104,
     110
    ],
    "Z": [
     30,
     43,
     104
    ]
   },
   {
    "X": [
     31,
     40,
     103,
     105,
     111
    ],
    "Z": [
     31,
     40,
     105
    ]
   },
   {
    "X": [
     32,
     45,
     104,
     110,
     112
    ],
    "Z": [
     32,
     45,
     110
    ]
   },
   {
    "X": [
     33,
     46,
     105,
     111,
     113
    ],
    "Z": [
     33,
     46,
     111
    ]
   },
   {
    "X": [
     34,
     47,
     106,
     108,
     114
    ],
    "Z": [
     34,
     47,
     108
    ]
   },
   {
    "X": [
     35,
     44,
     107,
     109,
     115
    ],
    "Z": [
     35,
     44,
     109
    ]
   },
   {
    "X": [
     36,
     49,
     108,
     114,
     116
    ],
    "Z": [
     36,
     49,
     114
    ]
   },
   {
    "X": [
     37,
     50,
     109,
     115,
     117
    ],
    "Z": [
     37,
     50,
     115
    ]
   },
   {
    "X": [
     38,
     51,
     110,
     112,
     118
    ],
    "Z": [
     38,
     51,
     112
    ]
   },
   {
    "X": [
     39,
     48,
     111,
     113,
     119
    ],
    "Z": [
     39,
     48,
     113
    ]
   },
   {
    "X": [
     40,
     53,
     112,
     118,
     120
    ],
    "Z": [
     40,
     53,
     118
    ]
   },
   {
    "X": [
     41,
     54,
     113,
     119,
     121
    ],
    "Z": [
     41,
     54,
     119
    ]
   },
   {
    "X": [
     42,
     55,
     114,
     116,
     122
    ],
    "Z": [
     42,
     55,
     116
    ]
   },
   {
    "X": [
     43,
     52,
     115,
     117,
     123
    ],
    "Z": [
     43,
     52,
     117
    ]
   },
   {
    "X": [
     44,
     57,
     116,
     122,
     124
    ],
    "Z": [
     44,
     57,
     122
    ]
   },
   {
    "X": [
     45,
     58,
     117,
     123,
     125
    ],
    "Z": [
     45,
     58,
     123
    ]
   },
   {
    "X": [
     46,
     59,
     118,
     120,
     126
    ],
    "Z": [
     46,
     59,
     120
    ]
   },
   {
    "X": [
     47,
     56,
     119,
     121,
     127
    ],
    "Z": [
     47,
     56,
     121
    ]
   },
   {
    "X": [
     48,
     61,
     120,
     126,
     128
    ],
    "Z": [
     48,
     61,
     126
    ]
   },
   {
    "X": [
     49,
     62,
     121,
     127,
     129
    ],
    "Z": [
     49,
     62,
     127
    ]
   },
   {
    "X": [
     50,
     63,
     122,
     124,
     130
    ],
    "Z": [
     50,
     63,
     124
    ]
   },
   {
    "X": [
     51,
     60,
     123,
     125,
     131
    ],
    "Z": [
     51,
     60,
     125
    ]
   },
   {
    "X": [
     52,
     65,
     124,
     130,
     132
    ],
    "Z": [
     52,
     65,
     130
    ]
   },
   {
    "X": [
     53,
     66,
     125,
     131,
     133
    ],
    "Z": [
     53,
     66,
     131
    ]
   },
   {
    "X": [
     54,
     67,
     126,
     128,
     134
    ],
    "Z": [
     54,
     67,
     128
    ]
   },
   {
    "X": [
     55,
     64,
     127,
     129,
     135
    ],
    "Z": [
     55,
     64,
     129
    ]
   },
   {
    "X": [
     56,
     69,
     128,
     134,
     136
    ],
    "Z": [
     56,
     69,
     134
    ]
   },
   {
    "X": [
     57,
     70,
     129,
     135,
     137
    ],
    "Z": [
     57,
     70,
     135
    ]
   },
   {
    "X": [
     58,
     71,
     130,
     132,
     138
    ],
    "Z": [
     58,
     71,
     132
    ]
   },
   {
    "X": [
     59,
     68,
     131,
     133,
     139
    ],
    "Z": [
     59,
     68,
     133
    ]
   },
   {
    "X": [
     1,
     60,
     132,
     138,
     140
    ],
    "Z": [
     1,
     60,
     138
    ]
   },
   {
    "X": [
     2,
     61,
     133,
     139,
     141
    ],
    "Z": [
     2,
     61,
     139
    ]
   },
   {
    "X": [
     3,
     62,
     134,
     136,
     142
    ],
    "Z": [
     3,
     62,
     136
    ]
   },
   {
    "X": [
     0,
     63,
     135,
     137,
     143
    ],
    "Z": [
     0,
     63,
     137
    ]
   },
   {
    "X": [
     5,
     64,
     72,
     136,
     142
    ],
    "Z": [
     5,
     64,
     142
    ]
   },
   {
    "X": [
     6,
     65,
     73,
     137,
     143
    ],
    "Z": [
     6,
     65,
     143
    ]
   },
   {
    "X": [
     7,
     66,
     74,
     138,
     140
    ],
    "Z": [
     7,
     66,
     140
    ]
   },
   {
    "X": [
     4,
     67,
     75,
     139,
     141
    ],
    "Z": [
     4,
     67,
     141
    ]
   },
   {
    "X": [
     9,
     68,
     74,
     76,
     140
    ],
    "Z": [
     9,
     68,
     74
    ]
   },
   {
    "X": [
     10,
     69,
     75,
     77,
     141
    ],
    "Z": [
     10,
     69,
     75
    ]
   },
   {
    "X": [
     11,
     70,
     72,
     78,
     142
    ],
    "Z": [
     11,
     70,
     72
    ]
   },
   {
    "X": [
     8,
     71,
     73,
     79,
     143
    ],
    "Z": [
     8,
     71,
     73
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     64,
     70,
     72,
     135
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     65,
     71,
     73,
     132
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     66,
     68,
     74,
     133
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     67,
     69,
     75,
     134
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     4,
     68,
     76,
     139
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     5,
     69,
     77,
     136
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     6,
     70,
     78,
     137
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     7,
     71,
     79,
     138
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     6,
     8,
     80,
     143
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     7,
     9,
     81,
     140
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     4,
     10,
     82,
     141
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     5,
     11,
     83,
     142
    ]
   },
   {
    "X": [],
    "Z": [
     4,
     10,
     12,
     75,
     84
    ]
   },
   {
    "X": [],
    "Z": [
     5,
     11,
     13,
     72,
     85
    ]
   },
   {
    "X": [],
    "Z": [
     6,
     8,
     14,
     73,
     86
    ]
   },
   {
    "X": [],
    "Z": [
     7,
     9,
     15,
     74,
     87
    ]
   },
   {
    "X": [],
    "Z": [
     8,
     14,
     16,
     79,
     88
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     15,
     17,
     76,
     89
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     12,
     18,
     77,
     90
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     13,
     19,
     78,
     91
    ]
   },
   {
    "X": [],
    "Z": [
     12,
     18,
     20,
     83,
     92
    ]
   },
   {
    "X": [],
    "Z": [
     13,
     19,
     21,
     80,
     93
    ]
   },
   {
    "X": [],
    "Z": [
     14,
     16,
     22,
     81,
     94
    ]
   },
   {
    "X": [],
    "Z": [
     15,
     17,
     23,
     82,
     95
    ]
   },
   {
    "X": [],
    "Z": [
     16,
     22,
     24,
     87,
     96
    ]
   },
   {
    "X": [],
    "Z": [
     17,
     23,
     25,
     84,
     97
    ]
   },
   {
    "X": [],
    "Z": [
     18,
     20,
     26,
     85,
     98
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     21,
     27,
     86,
     99
    ]
   },
   {
    "X": [],
    "Z": [
     20,
     26,
     28,
     91,
     100
    ]
   },
   {
    "X": [],
    "Z": [
     21,
     27,
     29,
     88,
     101
    ]
   },
   {
    "X": [],
    "Z": [
     22,
     24,
     30,
     89,
     102
    ]
   },
   {
    "X": [],
    "Z": [
     23,
     25,
     31,
     90,
     103
    ]
   },
   {
    "X": [],
    "Z": [
     24,
     30,
     32,
     95,
     104
    ]
   },
   {
    "X": [],
    "Z": [
     25,
     31,
     33,
     92,
     105
    ]
   },
   {
    "X": [],
    "Z": [
     26,
     28,
     34,
     93,
     106
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     29,
     35,
     94,
     107
    ]
   },
   {
    "X": [],
    "Z": [
     28,
     34,
     36,
     99,
     108
    ]
   },
   {
    "X": [],
    "Z": [
     29,
     35,
     37,
     96,
     109
    ]
   },
   {
    "X": [],
    "Z": [
     30,
     32,
     38,
     97,
     110
    ]
   },
   {
    "X": [],
    "Z": [
     31,
     33,
     39,
     98,
     111
    ]
   },
   {
    "X": [],
    "Z": [
     32,
     38,
     40,
     103,
     112
    ]
   },
   {
    "X": [],
    "Z": [
     33,
     39,
     41,
     100,
     113
    ]
   },
   {
    "X": [],
    "Z": [
     34,
     36,
     42,
     101,
     114
    ]
   },
   {
    "X": [],
    "Z": [
     35,
     37,
     43,
     102,
     115
    ]
   },
   {
    "X": [],
    "Z": [
     36,
     42,
     44,
     107,
     116
    ]
   },
   {
    "X": [],
    "Z": [
     37,
     43,
     45,
     104,
     117
    ]
   },
   {
    "X": [],
    "Z": [
     38,
     40,
     46,
     105,
     118
    ]
   },
   {
    "X": [],
    "Z": [
     39,
     41,
     47,
     106,
     119
    ]
   },
   {
    "X": [],
    "Z": [
     40,
     46,
     48,
     111,
     120
    ]
   },
   {
    "X": [],
    "Z": [
     41,
     47,
     49,
     108,
     121
    ]
   },
   {
    "X": [],
    "Z": [
     42,
     44,
     50,
     109,
     122
    ]
   },
   {
    "X": [],
    "Z": [
     43,
     45,
     51,
     110,
     123
    ]
   },
   {
    "X": [],
    "Z": [
     44,
     50,
     52,
     115,
     124
    ]
   },
   {
    "X": [],
    "Z": [
     45,
     51,
     53,
     112,
     125
    ]
   },
   {
    "X": [],
    "Z": [
     46,
     48,
     54,
     113,
     126
    ]
   },
   {
    "X": [],
    "Z": [
     47,
     49,
     55,
     114,
     127
    ]
   },
   {
    "X": [],
    "Z": [
     48,
     54,
     56,
     119,
     128
    ]
   },
   {
    "X": [],
    "Z": [
     49,
     55,
     57,
     116,
     129
    ]
   },
   {
    "X": [],
    "Z": [
     50,
     52,
     58,
     117,
     130
    ]
   },
   {
    "X": [],
    "Z": [
     51,
     53,
     59,
     118,
     131
    ]
   },
   {
    "X": [],
    "Z": [
     52,
     58,
     60,
     123,
     132
    ]
   },
   {
    "X": [],
    "Z": [
     53,
     59,
     61,
     120,
     133
    ]
   },
   {
    "X": [],
    "Z": [
     54,
     56,
     62,
     121,
     134
    ]
   },
   {
    "X": [],
    "Z": [
     55,
     57,
     63,
     122,
     135
    ]
   },
   {
    "X": [],
    "Z": [
     56,
     62,
     64,
     127,
     136
    ]
   },
   {
    "X": [],
    "Z": [
     57,
     63,
     65,
     124,
     137
    ]
   },
   {
    "X": [],
    "Z": [
     58,
     60,
     66,
     125,
     138
    ]
   },
   {
    "X": [],
    "Z": [
     59,
     61,
     67,
     126,
     139
    ]
   },
   {
    "X": [],
    "Z": [
     60,
     66,
     68,
     131,
     140
    ]
   },
   {
    "X": [],
    "Z": [
     61,
     67,
     69,
     128,
     141
    ]
   },
   {
    "X": [],
    "Z": [
     62,
     64,
     70,
     129,
     142
    ]
   },
   {
    "X": [],
    "Z": [
     63,
     65,
     71,
     130,
     143
    ]
   }
  ]
 },
 "distance": {
  "d": 8,
  "P": {
   "value": 8,
   "confidence": "upper_bound",
   "witness": {
    "X": [],
    "Z": [
     23,
     46,
     59,
     68,
     76,
     82,
     103,
     105
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@cbjuan"
  ],
  "construction": "Perturbed bivariate bicycle (PBB) code: ell=18, m=4; A=1+x^3y, B=1+xy^2+x^2, C-perturbation=1+x^3y, D-perturbation=xy^2 (0-indexed exponent pairs: A=[[0,0],[3,1]], B=[[0,0],[1,2],[2,0]], C=[[0,0],[3,1]], D=[[1,2]]); match W5PBB-144-4-8-aefa6773, a standalone explicit presentation at this native (ell,m) certified connected and exactly distance-8 by MILP transfer from an isomorphic-component parent (qcode-discovery @ d6abdbd).",
  "origin": "submission",
  "date": "2026-10-07",
  "model": "Claude Opus 5, GPT-5.6 Sol",
  "notes": "Checked for duplication against the current board: no existing entry (CSS or stabilizer) at this [[n,k,d]]. First published in arXiv:2610.06623."
 },
 "family": "bivariate-bicycle"
}