{
 "schema_version": "0.4",
 "name": "[[148,39,10]] halved CPM pair-partition, (J,L)=(3,8), P=37",
 "code_type": "stabilizer",
 "n": 148,
 "k": 39,
 "checks": {
  "S": [
   {
    "X": [
     2,
     53,
     94,
     132
    ],
    "Z": [
     29,
     38,
     95,
     142
    ]
   },
   {
    "X": [
     3,
     54,
     95,
     133
    ],
    "Z": [
     28,
     37,
     94,
     141
    ]
   },
   {
    "X": [
     4,
     55,
     96,
     134
    ],
    "Z": [
     27,
     73,
     93,
     140
    ]
   },
   {
    "X": [
     5,
     56,
     97,
     135
    ],
    "Z": [
     26,
     72,
     92,
     139
    ]
   },
   {
    "X": [
     6,
     57,
     98,
     136
    ],
    "Z": [
     25,
     71,
     91,
     138
    ]
   },
   {
    "X": [
     7,
     58,
     99,
     137
    ],
    "Z": [
     24,
     70,
     90,
     137
    ]
   },
   {
    "X": [
     8,
     59,
     100,
     138
    ],
    "Z": [
     23,
     69,
     89,
     136
    ]
   },
   {
    "X": [
     9,
     60,
     101,
     139
    ],
    "Z": [
     22,
     68,
     88,
     135
    ]
   },
   {
    "X": [
     10,
     61,
     102,
     140
    ],
    "Z": [
     21,
     67,
     87,
     134
    ]
   },
   {
    "X": [
     11,
     62,
     103,
     141
    ],
    "Z": [
     20,
     66,
     86,
     133
    ]
   },
   {
    "X": [
     12,
     63,
     104,
     142
    ],
    "Z": [
     19,
     65,
     85,
     132
    ]
   },
   {
    "X": [
     13,
     64,
     105,
     143
    ],
    "Z": [
     18,
     64,
     84,
     131
    ]
   },
   {
    "X": [
     14,
     65,
     106,
     144
    ],
    "Z": [
     17,
     63,
     83,
     130
    ]
   },
   {
    "X": [
     15,
     66,
     107,
     145
    ],
    "Z": [
     16,
     62,
     82,
     129
    ]
   },
   {
    "X": [
     16,
     67,
     108,
     146
    ],
    "Z": [
     15,
     61,
     81,
     128
    ]
   },
   {
    "X": [
     17,
     68,
     109,
     147
    ],
    "Z": [
     14,
     60,
     80,
     127
    ]
   },
   {
    "X": [
     18,
     69,
     110,
     111
    ],
    "Z": [
     13,
     59,
     79,
     126
    ]
   },
   {
    "X": [
     19,
     70,
     74,
     112
    ],
    "Z": [
     12,
     58,
     78,
     125
    ]
   },
   {
    "X": [
     20,
     71,
     75,
     113
    ],
    "Z": [
     11,
     57,
     77,
     124
    ]
   },
   {
    "X": [
     21,
     72,
     76,
     114
    ],
    "Z": [
     10,
     56,
     76,
     123
    ]
   },
   {
    "X": [
     22,
     73,
     77,
     115
    ],
    "Z": [
     9,
     55,
     75,
     122
    ]
   },
   {
    "X": [
     23,
     37,
     78,
     116
    ],
    "Z": [
     8,
     54,
     74,
     121
    ]
   },
   {
    "X": [
     24,
     38,
     79,
     117
    ],
    "Z": [
     7,
     53,
     110,
     120
    ]
   },
   {
    "X": [
     25,
     39,
     80,
     118
    ],
    "Z": [
     6,
     52,
     109,
     119
    ]
   },
   {
    "X": [
     26,
     40,
     81,
     119
    ],
    "Z": [
     5,
     51,
     108,
     118
    ]
   },
   {
    "X": [
     27,
     41,
     82,
     120
    ],
    "Z": [
     4,
     50,
     107,
     117
    ]
   },
   {
    "X": [
     28,
     42,
     83,
     121
    ],
    "Z": [
     3,
     49,
     106,
     116
    ]
   },
   {
    "X": [
     29,
     43,
     84,
     122
    ],
    "Z": [
     2,
     48,
     105,
     115
    ]
   },
   {
    "X": [
     30,
     44,
     85,
     123
    ],
    "Z": [
     1,
     47,
     104,
     114
    ]
   },
   {
    "X": [
     31,
     45,
     86,
     124
    ],
    "Z": [
     0,
     46,
     103,
     113
    ]
   },
   {
    "X": [
     32,
     46,
     87,
     125
    ],
    "Z": [
     36,
     45,
     102,
     112
    ]
   },
   {
    "X": [
     33,
     47,
     88,
     126
    ],
    "Z": [
     35,
     44,
     101,
     111
    ]
   },
   {
    "X": [
     34,
     48,
     89,
     127
    ],
    "Z": [
     34,
     43,
     100,
     147
    ]
   },
   {
    "X": [
     35,
     49,
     90,
     128
    ],
    "Z": [
     33,
     42,
     99,
     146
    ]
   },
   {
    "X": [
     36,
     50,
     91,
     129
    ],
    "Z": [
     32,
     41,
     98,
     145
    ]
   },
   {
    "X": [
     0,
     51,
     92,
     130
    ],
    "Z": [
     31,
     40,
     97,
     144
    ]
   },
   {
    "X": [
     1,
     52,
     93,
     131
    ],
    "Z": [
     30,
     39,
     96,
     143
    ]
   },
   {
    "X": [
     33,
     39,
     76,
     146
    ],
    "Z": [
     14,
     72,
     93,
     144
    ]
   },
   {
    "X": [
     34,
     40,
     77,
     147
    ],
    "Z": [
     13,
     71,
     92,
     143
    ]
   },
   {
    "X": [
     35,
     41,
     78,
     111
    ],
    "Z": [
     12,
     70,
     91,
     142
    ]
   },
   {
    "X": [
     36,
     42,
     79,
     112
    ],
    "Z": [
     11,
     69,
     90,
     141
    ]
   },
   {
    "X": [
     0,
     43,
     80,
     113
    ],
    "Z": [
     10,
     68,
     89,
     140
    ]
   },
   {
    "X": [
     1,
     44,
     81,
     114
    ],
    "Z": [
     9,
     67,
     88,
     139
    ]
   },
   {
    "X": [
     2,
     45,
     82,
     115
    ],
    "Z": [
     8,
     66,
     87,
     138
    ]
   },
   {
    "X": [
     3,
     46,
     83,
     116
    ],
    "Z": [
     7,
     65,
     86,
     137
    ]
   },
   {
    "X": [
     4,
     47,
     84,
     117
    ],
    "Z": [
     6,
     64,
     85,
     136
    ]
   },
   {
    "X": [
     5,
     48,
     85,
     118
    ],
    "Z": [
     5,
     63,
     84,
     135
    ]
   },
   {
    "X": [
     6,
     49,
     86,
     119
    ],
    "Z": [
     4,
     62,
     83,
     134
    ]
   },
   {
    "X": [
     7,
     50,
     87,
     120
    ],
    "Z": [
     3,
     61,
     82,
     133
    ]
   },
   {
    "X": [
     8,
     51,
     88,
     121
    ],
    "Z": [
     2,
     60,
     81,
     132
    ]
   },
   {
    "X": [
     9,
     52,
     89,
     122
    ],
    "Z": [
     1,
     59,
     80,
     131
    ]
   },
   {
    "X": [
     10,
     53,
     90,
     123
    ],
    "Z": [
     0,
     58,
     79,
     130
    ]
   },
   {
    "X": [
     11,
     54,
     91,
     124
    ],
    "Z": [
     36,
     57,
     78,
     129
    ]
   },
   {
    "X": [
     12,
     55,
     92,
     125
    ],
    "Z": [
     35,
     56,
     77,
     128
    ]
   },
   {
    "X": [
     13,
     56,
     93,
     126
    ],
    "Z": [
     34,
     55,
     76,
     127
    ]
   },
   {
    "X": [
     14,
     57,
     94,
     127
    ],
    "Z": [
     33,
     54,
     75,
     126
    ]
   },
   {
    "X": [
     15,
     58,
     95,
     128
    ],
    "Z": [
     32,
     53,
     74,
     125
    ]
   },
   {
    "X": [
     16,
     59,
     96,
     129
    ],
    "Z": [
     31,
     52,
     110,
     124
    ]
   },
   {
    "X": [
     17,
     60,
     97,
     130
    ],
    "Z": [
     30,
     51,
     109,
     123
    ]
   },
   {
    "X": [
     18,
     61,
     98,
     131
    ],
    "Z": [
     29,
     50,
     108,
     122
    ]
   },
   {
    "X": [
     19,
     62,
     99,
     132
    ],
    "Z": [
     28,
     49,
     107,
     121
    ]
   },
   {
    "X": [
     20,
     63,
     100,
     133
    ],
    "Z": [
     27,
     48,
     106,
     120
    ]
   },
   {
    "X": [
     21,
     64,
     101,
     134
    ],
    "Z": [
     26,
     47,
     105,
     119
    ]
   },
   {
    "X": [
     22,
     65,
     102,
     135
    ],
    "Z": [
     25,
     46,
     104,
     118
    ]
   },
   {
    "X": [
     23,
     66,
     103,
     136
    ],
    "Z": [
     24,
     45,
     103,
     117
    ]
   },
   {
    "X": [
     24,
     67,
     104,
     137
    ],
    "Z": [
     23,
     44,
     102,
     116
    ]
   },
   {
    "X": [
     25,
     68,
     105,
     138
    ],
    "Z": [
     22,
     43,
     101,
     115
    ]
   },
   {
    "X": [
     26,
     69,
     106,
     139
    ],
    "Z": [
     21,
     42,
     100,
     114
    ]
   },
   {
    "X": [
     27,
     70,
     107,
     140
    ],
    "Z": [
     20,
     41,
     99,
     113
    ]
   },
   {
    "X": [
     28,
     71,
     108,
     141
    ],
    "Z": [
     19,
     40,
     98,
     112
    ]
   },
   {
    "X": [
     29,
     72,
     109,
     142
    ],
    "Z": [
     18,
     39,
     97,
     111
    ]
   },
   {
    "X": [
     30,
     73,
     110,
     143
    ],
    "Z": [
     17,
     38,
     96,
     147
    ]
   },
   {
    "X": [
     31,
     37,
     74,
     144
    ],
    "Z": [
     16,
     37,
     95,
     146
    ]
   },
   {
    "X": [
     32,
     38,
     75,
     145
    ],
    "Z": [
     15,
     73,
     94,
     145
    ]
   },
   {
    "X": [
     27,
     73,
     94,
     114
    ],
    "Z": [
     30,
     69,
     110,
     133
    ]
   },
   {
    "X": [
     28,
     37,
     95,
     115
    ],
    "Z": [
     29,
     68,
     109,
     132
    ]
   },
   {
    "X": [
     29,
     38,
     96,
     116
    ],
    "Z": [
     28,
     67,
     108,
     131
    ]
   },
   {
    "X": [
     30,
     39,
     97,
     117
    ],
    "Z": [
     27,
     66,
     107,
     130
    ]
   },
   {
    "X": [
     31,
     40,
     98,
     118
    ],
    "Z": [
     26,
     65,
     106,
     129
    ]
   },
   {
    "X": [
     32,
     41,
     99,
     119
    ],
    "Z": [
     25,
     64,
     105,
     128
    ]
   },
   {
    "X": [
     33,
     42,
     100,
     120
    ],
    "Z": [
     24,
     63,
     104,
     127
    ]
   },
   {
    "X": [
     34,
     43,
     101,
     121
    ],
    "Z": [
     23,
     62,
     103,
     126
    ]
   },
   {
    "X": [
     35,
     44,
     102,
     122
    ],
    "Z": [
     22,
     61,
     102,
     125
    ]
   },
   {
    "X": [
     36,
     45,
     103,
     123
    ],
    "Z": [
     21,
     60,
     101,
     124
    ]
   },
   {
    "X": [
     0,
     46,
     104,
     124
    ],
    "Z": [
     20,
     59,
     100,
     123
    ]
   },
   {
    "X": [
     1,
     47,
     105,
     125
    ],
    "Z": [
     19,
     58,
     99,
     122
    ]
   },
   {
    "X": [
     2,
     48,
     106,
     126
    ],
    "Z": [
     18,
     57,
     98,
     121
    ]
   },
   {
    "X": [
     3,
     49,
     107,
     127
    ],
    "Z": [
     17,
     56,
     97,
     120
    ]
   },
   {
    "X": [
     4,
     50,
     108,
     128
    ],
    "Z": [
     16,
     55,
     96,
     119
    ]
   },
   {
    "X": [
     5,
     51,
     109,
     129
    ],
    "Z": [
     15,
     54,
     95,
     118
    ]
   },
   {
    "X": [
     6,
     52,
     110,
     130
    ],
    "Z": [
     14,
     53,
     94,
     117
    ]
   },
   {
    "X": [
     7,
     53,
     74,
     131
    ],
    "Z": [
     13,
     52,
     93,
     116
    ]
   },
   {
    "X": [
     8,
     54,
     75,
     132
    ],
    "Z": [
     12,
     51,
     92,
     115
    ]
   },
   {
    "X": [
     9,
     55,
     76,
     133
    ],
    "Z": [
     11,
     50,
     91,
     114
    ]
   },
   {
    "X": [
     10,
     56,
     77,
     134
    ],
    "Z": [
     10,
     49,
     90,
     113
    ]
   },
   {
    "X": [
     11,
     57,
     78,
     135
    ],
    "Z": [
     9,
     48,
     89,
     112
    ]
   },
   {
    "X": [
     12,
     58,
     79,
     136
    ],
    "Z": [
     8,
     47,
     88,
     111
    ]
   },
   {
    "X": [
     13,
     59,
     80,
     137
    ],
    "Z": [
     7,
     46,
     87,
     147
    ]
   },
   {
    "X": [
     14,
     60,
     81,
     138
    ],
    "Z": [
     6,
     45,
     86,
     146
    ]
   },
   {
    "X": [
     15,
     61,
     82,
     139
    ],
    "Z": [
     5,
     44,
     85,
     145
    ]
   },
   {
    "X": [
     16,
     62,
     83,
     140
    ],
    "Z": [
     4,
     43,
     84,
     144
    ]
   },
   {
    "X": [
     17,
     63,
     84,
     141
    ],
    "Z": [
     3,
     42,
     83,
     143
    ]
   },
   {
    "X": [
     18,
     64,
     85,
     142
    ],
    "Z": [
     2,
     41,
     82,
     142
    ]
   },
   {
    "X": [
     19,
     65,
     86,
     143
    ],
    "Z": [
     1,
     40,
     81,
     141
    ]
   },
   {
    "X": [
     20,
     66,
     87,
     144
    ],
    "Z": [
     0,
     39,
     80,
     140
    ]
   },
   {
    "X": [
     21,
     67,
     88,
     145
    ],
    "Z": [
     36,
     38,
     79,
     139
    ]
   },
   {
    "X": [
     22,
     68,
     89,
     146
    ],
    "Z": [
     35,
     37,
     78,
     138
    ]
   },
   {
    "X": [
     23,
     69,
     90,
     147
    ],
    "Z": [
     34,
     73,
     77,
     137
    ]
   },
   {
    "X": [
     24,
     70,
     91,
     111
    ],
    "Z": [
     33,
     72,
     76,
     136
    ]
   },
   {
    "X": [
     25,
     71,
     92,
     112
    ],
    "Z": [
     32,
     71,
     75,
     135
    ]
   },
   {
    "X": [
     26,
     72,
     93,
     113
    ],
    "Z": [
     31,
     70,
     74,
     134
    ]
   }
  ]
 },
 "distance": {
  "d": 10,
  "P": {
   "value": 10,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     3,
     37,
     70,
     74,
     78
    ],
    "Z": [
     7,
     11,
     28,
     74,
     78,
     95,
     141
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@vprusso"
  ],
  "origin": "submission",
  "construction": "search",
  "date": "2026-10-15",
  "references": [
   "arXiv:2609.30069"
  ],
  "notes": "Halved CPM pair-partition code of arXiv:2609.30069 (Definition 1, reversing fold of Proposition 4) at (J,L)=(3,8), lift P=37. Exponent array E (rows a=0..2, columns l=0..7): [[35, 29, 21, 1, 17, 21, 16, 31], [4, 14, 35, 35, 35, 19, 2, 33], [10, 30, 1, 32, 17, 36, 34, 22]]. Off-diagonal pair partitions M: {\"0,1\": [[0, 6], [1, 7], [2, 5], [3, 4]], \"0,2\": [[0, 7], [1, 3], [2, 4], [5, 6]], \"1,2\": [[0, 4], [1, 6], [2, 7], [3, 5]]}. The paper publishes no generators for its halved instances; this code is from a random search over the template. Distance 10 is the lightest Pauli logical found through 606 random per-qubit symplectic frames x 1,000,000 gf2_fast trials on the symplectic doubling (upper bound). The paper's Table VII lists [[148,39,12]] at this lift under the plain fold, as an exact value; this entry uses the reversing fold, for which the table has no row at this lift.",
  "model": "Claude Fable 5.1",
  "search_budget": {
   "candidates_screened": 52324,
   "ris_trials_per_side": 606000000,
   "tool": "halved_pp.py templates; verify/heuristic_distance.py Pauli RIS; gf2_fast on the symplectic doubling under random per-qubit symplectic frames (frame_screen.py)",
   "notes": "Pauli-weight RIS screen at 2000 trials per template (Perlmutter job 59705502, 2026-10-12), then 156 frames x 1,000,000 gf2_fast trials (jobs 59731365 to 59731368) and 450 further frames x 1,000,000 trials with fresh seeds (job 59779389, 2026-10-14). Lightest Pauli logical found: 10."
  }
 }
}