{
 "schema_version": "0.4",
 "name": "[[170,70,8]] halved CPM pair-partition, (J,L)=(3,10), P=34",
 "code_type": "stabilizer",
 "n": 170,
 "k": 70,
 "checks": {
  "S": [
   {
    "X": [
     28,
     55,
     96,
     110,
     143
    ],
    "Z": [
     27,
     57,
     80,
     111,
     158
    ]
   },
   {
    "X": [
     29,
     56,
     97,
     111,
     144
    ],
    "Z": [
     26,
     56,
     79,
     110,
     157
    ]
   },
   {
    "X": [
     30,
     57,
     98,
     112,
     145
    ],
    "Z": [
     25,
     55,
     78,
     109,
     156
    ]
   },
   {
    "X": [
     31,
     58,
     99,
     113,
     146
    ],
    "Z": [
     24,
     54,
     77,
     108,
     155
    ]
   },
   {
    "X": [
     32,
     59,
     100,
     114,
     147
    ],
    "Z": [
     23,
     53,
     76,
     107,
     154
    ]
   },
   {
    "X": [
     33,
     60,
     101,
     115,
     148
    ],
    "Z": [
     22,
     52,
     75,
     106,
     153
    ]
   },
   {
    "X": [
     0,
     61,
     68,
     116,
     149
    ],
    "Z": [
     21,
     51,
     74,
     105,
     152
    ]
   },
   {
    "X": [
     1,
     62,
     69,
     117,
     150
    ],
    "Z": [
     20,
     50,
     73,
     104,
     151
    ]
   },
   {
    "X": [
     2,
     63,
     70,
     118,
     151
    ],
    "Z": [
     19,
     49,
     72,
     103,
     150
    ]
   },
   {
    "X": [
     3,
     64,
     71,
     119,
     152
    ],
    "Z": [
     18,
     48,
     71,
     102,
     149
    ]
   },
   {
    "X": [
     4,
     65,
     72,
     120,
     153
    ],
    "Z": [
     17,
     47,
     70,
     135,
     148
    ]
   },
   {
    "X": [
     5,
     66,
     73,
     121,
     154
    ],
    "Z": [
     16,
     46,
     69,
     134,
     147
    ]
   },
   {
    "X": [
     6,
     67,
     74,
     122,
     155
    ],
    "Z": [
     15,
     45,
     68,
     133,
     146
    ]
   },
   {
    "X": [
     7,
     34,
     75,
     123,
     156
    ],
    "Z": [
     14,
     44,
     101,
     132,
     145
    ]
   },
   {
    "X": [
     8,
     35,
     76,
     124,
     157
    ],
    "Z": [
     13,
     43,
     100,
     131,
     144
    ]
   },
   {
    "X": [
     9,
     36,
     77,
     125,
     158
    ],
    "Z": [
     12,
     42,
     99,
     130,
     143
    ]
   },
   {
    "X": [
     10,
     37,
     78,
     126,
     159
    ],
    "Z": [
     11,
     41,
     98,
     129,
     142
    ]
   },
   {
    "X": [
     11,
     38,
     79,
     127,
     160
    ],
    "Z": [
     10,
     40,
     97,
     128,
     141
    ]
   },
   {
    "X": [
     12,
     39,
     80,
     128,
     161
    ],
    "Z": [
     9,
     39,
     96,
     127,
     140
    ]
   },
   {
    "X": [
     13,
     40,
     81,
     129,
     162
    ],
    "Z": [
     8,
     38,
     95,
     126,
     139
    ]
   },
   {
    "X": [
     14,
     41,
     82,
     130,
     163
    ],
    "Z": [
     7,
     37,
     94,
     125,
     138
    ]
   },
   {
    "X": [
     15,
     42,
     83,
     131,
     164
    ],
    "Z": [
     6,
     36,
     93,
     124,
     137
    ]
   },
   {
    "X": [
     16,
     43,
     84,
     132,
     165
    ],
    "Z": [
     5,
     35,
     92,
     123,
     136
    ]
   },
   {
    "X": [
     17,
     44,
     85,
     133,
     166
    ],
    "Z": [
     4,
     34,
     91,
     122,
     169
    ]
   },
   {
    "X": [
     18,
     45,
     86,
     134,
     167
    ],
    "Z": [
     3,
     67,
     90,
     121,
     168
    ]
   },
   {
    "X": [
     19,
     46,
     87,
     135,
     168
    ],
    "Z": [
     2,
     66,
     89,
     120,
     167
    ]
   },
   {
    "X": [
     20,
     47,
     88,
     102,
     169
    ],
    "Z": [
     1,
     65,
     88,
     119,
     166
    ]
   },
   {
    "X": [
     21,
     48,
     89,
     103,
     136
    ],
    "Z": [
     0,
     64,
     87,
     118,
     165
    ]
   },
   {
    "X": [
     22,
     49,
     90,
     104,
     137
    ],
    "Z": [
     33,
     63,
     86,
     117,
     164
    ]
   },
   {
    "X": [
     23,
     50,
     91,
     105,
     138
    ],
    "Z": [
     32,
     62,
     85,
     116,
     163
    ]
   },
   {
    "X": [
     24,
     51,
     92,
     106,
     139
    ],
    "Z": [
     31,
     61,
     84,
     115,
     162
    ]
   },
   {
    "X": [
     25,
     52,
     93,
     107,
     140
    ],
    "Z": [
     30,
     60,
     83,
     114,
     161
    ]
   },
   {
    "X": [
     26,
     53,
     94,
     108,
     141
    ],
    "Z": [
     29,
     59,
     82,
     113,
     160
    ]
   },
   {
    "X": [
     27,
     54,
     95,
     109,
     142
    ],
    "Z": [
     28,
     58,
     81,
     112,
     159
    ]
   },
   {
    "X": [
     4,
     45,
     76,
     121,
     168
    ],
    "Z": [
     6,
     44,
     71,
     114,
     152
    ]
   },
   {
    "X": [
     5,
     46,
     77,
     122,
     169
    ],
    "Z": [
     5,
     43,
     70,
     113,
     151
    ]
   },
   {
    "X": [
     6,
     47,
     78,
     123,
     136
    ],
    "Z": [
     4,
     42,
     69,
     112,
     150
    ]
   },
   {
    "X": [
     7,
     48,
     79,
     124,
     137
    ],
    "Z": [
     3,
     41,
     68,
     111,
     149
    ]
   },
   {
    "X": [
     8,
     49,
     80,
     125,
     138
    ],
    "Z": [
     2,
     40,
     101,
     110,
     148
    ]
   },
   {
    "X": [
     9,
     50,
     81,
     126,
     139
    ],
    "Z": [
     1,
     39,
     100,
     109,
     147
    ]
   },
   {
    "X": [
     10,
     51,
     82,
     127,
     140
    ],
    "Z": [
     0,
     38,
     99,
     108,
     146
    ]
   },
   {
    "X": [
     11,
     52,
     83,
     128,
     141
    ],
    "Z": [
     33,
     37,
     98,
     107,
     145
    ]
   },
   {
    "X": [
     12,
     53,
     84,
     129,
     142
    ],
    "Z": [
     32,
     36,
     97,
     106,
     144
    ]
   },
   {
    "X": [
     13,
     54,
     85,
     130,
     143
    ],
    "Z": [
     31,
     35,
     96,
     105,
     143
    ]
   },
   {
    "X": [
     14,
     55,
     86,
     131,
     144
    ],
    "Z": [
     30,
     34,
     95,
     104,
     142
    ]
   },
   {
    "X": [
     15,
     56,
     87,
     132,
     145
    ],
    "Z": [
     29,
     67,
     94,
     103,
     141
    ]
   },
   {
    "X": [
     16,
     57,
     88,
     133,
     146
    ],
    "Z": [
     28,
     66,
     93,
     102,
     140
    ]
   },
   {
    "X": [
     17,
     58,
     89,
     134,
     147
    ],
    "Z": [
     27,
     65,
     92,
     135,
     139
    ]
   },
   {
    "X": [
     18,
     59,
     90,
     135,
     148
    ],
    "Z": [
     26,
     64,
     91,
     134,
     138
    ]
   },
   {
    "X": [
     19,
     60,
     91,
     102,
     149
    ],
    "Z": [
     25,
     63,
     90,
     133,
     137
    ]
   },
   {
    "X": [
     20,
     61,
     92,
     103,
     150
    ],
    "Z": [
     24,
     62,
     89,
     132,
     136
    ]
   },
   {
    "X": [
     21,
     62,
     93,
     104,
     151
    ],
    "Z": [
     23,
     61,
     88,
     131,
     169
    ]
   },
   {
    "X": [
     22,
     63,
     94,
     105,
     152
    ],
    "Z": [
     22,
     60,
     87,
     130,
     168
    ]
   },
   {
    "X": [
     23,
     64,
     95,
     106,
     153
    ],
    "Z": [
     21,
     59,
     86,
     129,
     167
    ]
   },
   {
    "X": [
     24,
     65,
     96,
     107,
     154
    ],
    "Z": [
     20,
     58,
     85,
     128,
     166
    ]
   },
   {
    "X": [
     25,
     66,
     97,
     108,
     155
    ],
    "Z": [
     19,
     57,
     84,
     127,
     165
    ]
   },
   {
    "X": [
     26,
     67,
     98,
     109,
     156
    ],
    "Z": [
     18,
     56,
     83,
     126,
     164
    ]
   },
   {
    "X": [
     27,
     34,
     99,
     110,
     157
    ],
    "Z": [
     17,
     55,
     82,
     125,
     163
    ]
   },
   {
    "X": [
     28,
     35,
     100,
     111,
     158
    ],
    "Z": [
     16,
     54,
     81,
     124,
     162
    ]
   },
   {
    "X": [
     29,
     36,
     101,
     112,
     159
    ],
    "Z": [
     15,
     53,
     80,
     123,
     161
    ]
   },
   {
    "X": [
     30,
     37,
     68,
     113,
     160
    ],
    "Z": [
     14,
     52,
     79,
     122,
     160
    ]
   },
   {
    "X": [
     31,
     38,
     69,
     114,
     161
    ],
    "Z": [
     13,
     51,
     78,
     121,
     159
    ]
   },
   {
    "X": [
     32,
     39,
     70,
     115,
     162
    ],
    "Z": [
     12,
     50,
     77,
     120,
     158
    ]
   },
   {
    "X": [
     33,
     40,
     71,
     116,
     163
    ],
    "Z": [
     11,
     49,
     76,
     119,
     157
    ]
   },
   {
    "X": [
     0,
     41,
     72,
     117,
     164
    ],
    "Z": [
     10,
     48,
     75,
     118,
     156
    ]
   },
   {
    "X": [
     1,
     42,
     73,
     118,
     165
    ],
    "Z": [
     9,
     47,
     74,
     117,
     155
    ]
   },
   {
    "X": [
     2,
     43,
     74,
     119,
     166
    ],
    "Z": [
     8,
     46,
     73,
     116,
     154
    ]
   },
   {
    "X": [
     3,
     44,
     75,
     120,
     167
    ],
    "Z": [
     7,
     45,
     72,
     115,
     153
    ]
   },
   {
    "X": [
     6,
     58,
     75,
     106,
     152
    ],
    "Z": [
     0,
     55,
     96,
     131,
     142
    ]
   },
   {
    "X": [
     7,
     59,
     76,
     107,
     153
    ],
    "Z": [
     33,
     54,
     95,
     130,
     141
    ]
   },
   {
    "X": [
     8,
     60,
     77,
     108,
     154
    ],
    "Z": [
     32,
     53,
     94,
     129,
     140
    ]
   },
   {
    "X": [
     9,
     61,
     78,
     109,
     155
    ],
    "Z": [
     31,
     52,
     93,
     128,
     139
    ]
   },
   {
    "X": [
     10,
     62,
     79,
     110,
     156
    ],
    "Z": [
     30,
     51,
     92,
     127,
     138
    ]
   },
   {
    "X": [
     11,
     63,
     80,
     111,
     157
    ],
    "Z": [
     29,
     50,
     91,
     126,
     137
    ]
   },
   {
    "X": [
     12,
     64,
     81,
     112,
     158
    ],
    "Z": [
     28,
     49,
     90,
     125,
     136
    ]
   },
   {
    "X": [
     13,
     65,
     82,
     113,
     159
    ],
    "Z": [
     27,
     48,
     89,
     124,
     169
    ]
   },
   {
    "X": [
     14,
     66,
     83,
     114,
     160
    ],
    "Z": [
     26,
     47,
     88,
     123,
     168
    ]
   },
   {
    "X": [
     15,
     67,
     84,
     115,
     161
    ],
    "Z": [
     25,
     46,
     87,
     122,
     167
    ]
   },
   {
    "X": [
     16,
     34,
     85,
     116,
     162
    ],
    "Z": [
     24,
     45,
     86,
     121,
     166
    ]
   },
   {
    "X": [
     17,
     35,
     86,
     117,
     163
    ],
    "Z": [
     23,
     44,
     85,
     120,
     165
    ]
   },
   {
    "X": [
     18,
     36,
     87,
     118,
     164
    ],
    "Z": [
     22,
     43,
     84,
     119,
     164
    ]
   },
   {
    "X": [
     19,
     37,
     88,
     119,
     165
    ],
    "Z": [
     21,
     42,
     83,
     118,
     163
    ]
   },
   {
    "X": [
     20,
     38,
     89,
     120,
     166
    ],
    "Z": [
     20,
     41,
     82,
     117,
     162
    ]
   },
   {
    "X": [
     21,
     39,
     90,
     121,
     167
    ],
    "Z": [
     19,
     40,
     81,
     116,
     161
    ]
   },
   {
    "X": [
     22,
     40,
     91,
     122,
     168
    ],
    "Z": [
     18,
     39,
     80,
     115,
     160
    ]
   },
   {
    "X": [
     23,
     41,
     92,
     123,
     169
    ],
    "Z": [
     17,
     38,
     79,
     114,
     159
    ]
   },
   {
    "X": [
     24,
     42,
     93,
     124,
     136
    ],
    "Z": [
     16,
     37,
     78,
     113,
     158
    ]
   },
   {
    "X": [
     25,
     43,
     94,
     125,
     137
    ],
    "Z": [
     15,
     36,
     77,
     112,
     157
    ]
   },
   {
    "X": [
     26,
     44,
     95,
     126,
     138
    ],
    "Z": [
     14,
     35,
     76,
     111,
     156
    ]
   },
   {
    "X": [
     27,
     45,
     96,
     127,
     139
    ],
    "Z": [
     13,
     34,
     75,
     110,
     155
    ]
   },
   {
    "X": [
     28,
     46,
     97,
     128,
     140
    ],
    "Z": [
     12,
     67,
     74,
     109,
     154
    ]
   },
   {
    "X": [
     29,
     47,
     98,
     129,
     141
    ],
    "Z": [
     11,
     66,
     73,
     108,
     153
    ]
   },
   {
    "X": [
     30,
     48,
     99,
     130,
     142
    ],
    "Z": [
     10,
     65,
     72,
     107,
     152
    ]
   },
   {
    "X": [
     31,
     49,
     100,
     131,
     143
    ],
    "Z": [
     9,
     64,
     71,
     106,
     151
    ]
   },
   {
    "X": [
     32,
     50,
     101,
     132,
     144
    ],
    "Z": [
     8,
     63,
     70,
     105,
     150
    ]
   },
   {
    "X": [
     33,
     51,
     68,
     133,
     145
    ],
    "Z": [
     7,
     62,
     69,
     104,
     149
    ]
   },
   {
    "X": [
     0,
     52,
     69,
     134,
     146
    ],
    "Z": [
     6,
     61,
     68,
     103,
     148
    ]
   },
   {
    "X": [
     1,
     53,
     70,
     135,
     147
    ],
    "Z": [
     5,
     60,
     101,
     102,
     147
    ]
   },
   {
    "X": [
     2,
     54,
     71,
     102,
     148
    ],
    "Z": [
     4,
     59,
     100,
     135,
     146
    ]
   },
   {
    "X": [
     3,
     55,
     72,
     103,
     149
    ],
    "Z": [
     3,
     58,
     99,
     134,
     145
    ]
   },
   {
    "X": [
     4,
     56,
     73,
     104,
     150
    ],
    "Z": [
     2,
     57,
     98,
     133,
     144
    ]
   },
   {
    "X": [
     5,
     57,
     74,
     105,
     151
    ],
    "Z": [
     1,
     56,
     97,
     132,
     143
    ]
   }
  ]
 },
 "distance": {
  "d": 8,
  "P": {
   "value": 8,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     54,
     138
    ],
    "Z": [
     59,
     99,
     100,
     110,
     130,
     143
    ]
   }
  }
 },
 "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,10), lift P=34. Exponent array E (rows a=0..2, columns l=0..9): [[6, 27, 13, 23, 6, 12, 26, 9, 27, 22], [30, 6, 23, 10, 26, 3, 15, 12, 2, 16], [28, 0, 10, 21, 27, 28, 30, 29, 18, 6]]. Off-diagonal pair partitions M: {\"0,1\": [[0, 3], [1, 2], [4, 8], [5, 6], [7, 9]], \"0,2\": [[0, 9], [1, 6], [2, 4], [3, 8], [5, 7]], \"1,2\": [[0, 5], [1, 9], [2, 6], [3, 4], [7, 8]]}. The paper publishes no generators for its halved instances; this code is from a random search over the template. Distance 8 is the lightest Pauli logical found through 388 random per-qubit symplectic frames x 1,000,000 gf2_fast trials on the symplectic doubling (upper bound). The paper's Table VII has no row at P = 34 for the (3,10) family (its nearest lifts are 30, 38), so there is no published value at this (n, k).",
  "model": "Claude Fable 5.1",
  "search_budget": {
   "candidates_screened": 12829,
   "ris_trials_per_side": 388000000,
   "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 1500 trials per template (Perlmutter job 59705503, 2026-10-12), then 108 frames x 1,000,000 gf2_fast trials (jobs 59731365 to 59731368) and 280 further frames x 1,000,000 trials with fresh seeds (job 59779389, 2026-10-14). Lightest Pauli logical found: 8."
  }
 }
}