{
 "schema_version": "0.4",
 "name": "[[132,47,10]] halved CPM pair-partition, (J,L)=(4,12), P=22",
 "code_type": "stabilizer",
 "n": 132,
 "k": 47,
 "checks": {
  "S": [
   {
    "X": [
     13,
     22,
     56,
     87,
     92,
     130
    ],
    "Z": [
     13,
     30,
     46,
     86,
     105,
     125
    ]
   },
   {
    "X": [
     14,
     23,
     57,
     66,
     93,
     131
    ],
    "Z": [
     12,
     29,
     45,
     85,
     104,
     124
    ]
   },
   {
    "X": [
     15,
     24,
     58,
     67,
     94,
     110
    ],
    "Z": [
     11,
     28,
     44,
     84,
     103,
     123
    ]
   },
   {
    "X": [
     16,
     25,
     59,
     68,
     95,
     111
    ],
    "Z": [
     10,
     27,
     65,
     83,
     102,
     122
    ]
   },
   {
    "X": [
     17,
     26,
     60,
     69,
     96,
     112
    ],
    "Z": [
     9,
     26,
     64,
     82,
     101,
     121
    ]
   },
   {
    "X": [
     18,
     27,
     61,
     70,
     97,
     113
    ],
    "Z": [
     8,
     25,
     63,
     81,
     100,
     120
    ]
   },
   {
    "X": [
     19,
     28,
     62,
     71,
     98,
     114
    ],
    "Z": [
     7,
     24,
     62,
     80,
     99,
     119
    ]
   },
   {
    "X": [
     20,
     29,
     63,
     72,
     99,
     115
    ],
    "Z": [
     6,
     23,
     61,
     79,
     98,
     118
    ]
   },
   {
    "X": [
     21,
     30,
     64,
     73,
     100,
     116
    ],
    "Z": [
     5,
     22,
     60,
     78,
     97,
     117
    ]
   },
   {
    "X": [
     0,
     31,
     65,
     74,
     101,
     117
    ],
    "Z": [
     4,
     43,
     59,
     77,
     96,
     116
    ]
   },
   {
    "X": [
     1,
     32,
     44,
     75,
     102,
     118
    ],
    "Z": [
     3,
     42,
     58,
     76,
     95,
     115
    ]
   },
   {
    "X": [
     2,
     33,
     45,
     76,
     103,
     119
    ],
    "Z": [
     2,
     41,
     57,
     75,
     94,
     114
    ]
   },
   {
    "X": [
     3,
     34,
     46,
     77,
     104,
     120
    ],
    "Z": [
     1,
     40,
     56,
     74,
     93,
     113
    ]
   },
   {
    "X": [
     4,
     35,
     47,
     78,
     105,
     121
    ],
    "Z": [
     0,
     39,
     55,
     73,
     92,
     112
    ]
   },
   {
    "X": [
     5,
     36,
     48,
     79,
     106,
     122
    ],
    "Z": [
     21,
     38,
     54,
     72,
     91,
     111
    ]
   },
   {
    "X": [
     6,
     37,
     49,
     80,
     107,
     123
    ],
    "Z": [
     20,
     37,
     53,
     71,
     90,
     110
    ]
   },
   {
    "X": [
     7,
     38,
     50,
     81,
     108,
     124
    ],
    "Z": [
     19,
     36,
     52,
     70,
     89,
     131
    ]
   },
   {
    "X": [
     8,
     39,
     51,
     82,
     109,
     125
    ],
    "Z": [
     18,
     35,
     51,
     69,
     88,
     130
    ]
   },
   {
    "X": [
     9,
     40,
     52,
     83,
     88,
     126
    ],
    "Z": [
     17,
     34,
     50,
     68,
     109,
     129
    ]
   },
   {
    "X": [
     10,
     41,
     53,
     84,
     89,
     127
    ],
    "Z": [
     16,
     33,
     49,
     67,
     108,
     128
    ]
   },
   {
    "X": [
     11,
     42,
     54,
     85,
     90,
     128
    ],
    "Z": [
     15,
     32,
     48,
     66,
     107,
     127
    ]
   },
   {
    "X": [
     12,
     43,
     55,
     86,
     91,
     129
    ],
    "Z": [
     14,
     31,
     47,
     87,
     106,
     126
    ]
   },
   {
    "X": [
     6,
     39,
     48,
     69,
     91,
     114
    ],
    "Z": [
     20,
     36,
     47,
     85,
     109,
     119
    ]
   },
   {
    "X": [
     7,
     40,
     49,
     70,
     92,
     115
    ],
    "Z": [
     19,
     35,
     46,
     84,
     108,
     118
    ]
   },
   {
    "X": [
     8,
     41,
     50,
     71,
     93,
     116
    ],
    "Z": [
     18,
     34,
     45,
     83,
     107,
     117
    ]
   },
   {
    "X": [
     9,
     42,
     51,
     72,
     94,
     117
    ],
    "Z": [
     17,
     33,
     44,
     82,
     106,
     116
    ]
   },
   {
    "X": [
     10,
     43,
     52,
     73,
     95,
     118
    ],
    "Z": [
     16,
     32,
     65,
     81,
     105,
     115
    ]
   },
   {
    "X": [
     11,
     22,
     53,
     74,
     96,
     119
    ],
    "Z": [
     15,
     31,
     64,
     80,
     104,
     114
    ]
   },
   {
    "X": [
     12,
     23,
     54,
     75,
     97,
     120
    ],
    "Z": [
     14,
     30,
     63,
     79,
     103,
     113
    ]
   },
   {
    "X": [
     13,
     24,
     55,
     76,
     98,
     121
    ],
    "Z": [
     13,
     29,
     62,
     78,
     102,
     112
    ]
   },
   {
    "X": [
     14,
     25,
     56,
     77,
     99,
     122
    ],
    "Z": [
     12,
     28,
     61,
     77,
     101,
     111
    ]
   },
   {
    "X": [
     15,
     26,
     57,
     78,
     100,
     123
    ],
    "Z": [
     11,
     27,
     60,
     76,
     100,
     110
    ]
   },
   {
    "X": [
     16,
     27,
     58,
     79,
     101,
     124
    ],
    "Z": [
     10,
     26,
     59,
     75,
     99,
     131
    ]
   },
   {
    "X": [
     17,
     28,
     59,
     80,
     102,
     125
    ],
    "Z": [
     9,
     25,
     58,
     74,
     98,
     130
    ]
   },
   {
    "X": [
     18,
     29,
     60,
     81,
     103,
     126
    ],
    "Z": [
     8,
     24,
     57,
     73,
     97,
     129
    ]
   },
   {
    "X": [
     19,
     30,
     61,
     82,
     104,
     127
    ],
    "Z": [
     7,
     23,
     56,
     72,
     96,
     128
    ]
   },
   {
    "X": [
     20,
     31,
     62,
     83,
     105,
     128
    ],
    "Z": [
     6,
     22,
     55,
     71,
     95,
     127
    ]
   },
   {
    "X": [
     21,
     32,
     63,
     84,
     106,
     129
    ],
    "Z": [
     5,
     43,
     54,
     70,
     94,
     126
    ]
   },
   {
    "X": [
     0,
     33,
     64,
     85,
     107,
     130
    ],
    "Z": [
     4,
     42,
     53,
     69,
     93,
     125
    ]
   },
   {
    "X": [
     1,
     34,
     65,
     86,
     108,
     131
    ],
    "Z": [
     3,
     41,
     52,
     68,
     92,
     124
    ]
   },
   {
    "X": [
     2,
     35,
     44,
     87,
     109,
     110
    ],
    "Z": [
     2,
     40,
     51,
     67,
     91,
     123
    ]
   },
   {
    "X": [
     3,
     36,
     45,
     66,
     88,
     111
    ],
    "Z": [
     1,
     39,
     50,
     66,
     90,
     122
    ]
   },
   {
    "X": [
     4,
     37,
     46,
     67,
     89,
     112
    ],
    "Z": [
     0,
     38,
     49,
     87,
     89,
     121
    ]
   },
   {
    "X": [
     5,
     38,
     47,
     68,
     90,
     113
    ],
    "Z": [
     21,
     37,
     48,
     86,
     88,
     120
    ]
   },
   {
    "X": [
     10,
     25,
     64,
     71,
     99,
     120
    ],
    "Z": [
     17,
     26,
     62,
     68,
     96,
     123
    ]
   },
   {
    "X": [
     11,
     26,
     65,
     72,
     100,
     121
    ],
    "Z": [
     16,
     25,
     61,
     67,
     95,
     122
    ]
   },
   {
    "X": [
     12,
     27,
     44,
     73,
     101,
     122
    ],
    "Z": [
     15,
     24,
     60,
     66,
     94,
     121
    ]
   },
   {
    "X": [
     13,
     28,
     45,
     74,
     102,
     123
    ],
    "Z": [
     14,
     23,
     59,
     87,
     93,
     120
    ]
   },
   {
    "X": [
     14,
     29,
     46,
     75,
     103,
     124
    ],
    "Z": [
     13,
     22,
     58,
     86,
     92,
     119
    ]
   },
   {
    "X": [
     15,
     30,
     47,
     76,
     104,
     125
    ],
    "Z": [
     12,
     43,
     57,
     85,
     91,
     118
    ]
   },
   {
    "X": [
     16,
     31,
     48,
     77,
     105,
     126
    ],
    "Z": [
     11,
     42,
     56,
     84,
     90,
     117
    ]
   },
   {
    "X": [
     17,
     32,
     49,
     78,
     106,
     127
    ],
    "Z": [
     10,
     41,
     55,
     83,
     89,
     116
    ]
   },
   {
    "X": [
     18,
     33,
     50,
     79,
     107,
     128
    ],
    "Z": [
     9,
     40,
     54,
     82,
     88,
     115
    ]
   },
   {
    "X": [
     19,
     34,
     51,
     80,
     108,
     129
    ],
    "Z": [
     8,
     39,
     53,
     81,
     109,
     114
    ]
   },
   {
    "X": [
     20,
     35,
     52,
     81,
     109,
     130
    ],
    "Z": [
     7,
     38,
     52,
     80,
     108,
     113
    ]
   },
   {
    "X": [
     21,
     36,
     53,
     82,
     88,
     131
    ],
    "Z": [
     6,
     37,
     51,
     79,
     107,
     112
    ]
   },
   {
    "X": [
     0,
     37,
     54,
     83,
     89,
     110
    ],
    "Z": [
     5,
     36,
     50,
     78,
     106,
     111
    ]
   },
   {
    "X": [
     1,
     38,
     55,
     84,
     90,
     111
    ],
    "Z": [
     4,
     35,
     49,
     77,
     105,
     110
    ]
   },
   {
    "X": [
     2,
     39,
     56,
     85,
     91,
     112
    ],
    "Z": [
     3,
     34,
     48,
     76,
     104,
     131
    ]
   },
   {
    "X": [
     3,
     40,
     57,
     86,
     92,
     113
    ],
    "Z": [
     2,
     33,
     47,
     75,
     103,
     130
    ]
   },
   {
    "X": [
     4,
     41,
     58,
     87,
     93,
     114
    ],
    "Z": [
     1,
     32,
     46,
     74,
     102,
     129
    ]
   },
   {
    "X": [
     5,
     42,
     59,
     66,
     94,
     115
    ],
    "Z": [
     0,
     31,
     45,
     73,
     101,
     128
    ]
   },
   {
    "X": [
     6,
     43,
     60,
     67,
     95,
     116
    ],
    "Z": [
     21,
     30,
     44,
     72,
     100,
     127
    ]
   },
   {
    "X": [
     7,
     22,
     61,
     68,
     96,
     117
    ],
    "Z": [
     20,
     29,
     65,
     71,
     99,
     126
    ]
   },
   {
    "X": [
     8,
     23,
     62,
     69,
     97,
     118
    ],
    "Z": [
     19,
     28,
     64,
     70,
     98,
     125
    ]
   },
   {
    "X": [
     9,
     24,
     63,
     70,
     98,
     119
    ],
    "Z": [
     18,
     27,
     63,
     69,
     97,
     124
    ]
   },
   {
    "X": [
     16,
     41,
     61,
     72,
     91,
     118
    ],
    "Z": [
     2,
     43,
     56,
     86,
     92,
     127
    ]
   },
   {
    "X": [
     17,
     42,
     62,
     73,
     92,
     119
    ],
    "Z": [
     1,
     42,
     55,
     85,
     91,
     126
    ]
   },
   {
    "X": [
     18,
     43,
     63,
     74,
     93,
     120
    ],
    "Z": [
     0,
     41,
     54,
     84,
     90,
     125
    ]
   },
   {
    "X": [
     19,
     22,
     64,
     75,
     94,
     121
    ],
    "Z": [
     21,
     40,
     53,
     83,
     89,
     124
    ]
   },
   {
    "X": [
     20,
     23,
     65,
     76,
     95,
     122
    ],
    "Z": [
     20,
     39,
     52,
     82,
     88,
     123
    ]
   },
   {
    "X": [
     21,
     24,
     44,
     77,
     96,
     123
    ],
    "Z": [
     19,
     38,
     51,
     81,
     109,
     122
    ]
   },
   {
    "X": [
     0,
     25,
     45,
     78,
     97,
     124
    ],
    "Z": [
     18,
     37,
     50,
     80,
     108,
     121
    ]
   },
   {
    "X": [
     1,
     26,
     46,
     79,
     98,
     125
    ],
    "Z": [
     17,
     36,
     49,
     79,
     107,
     120
    ]
   },
   {
    "X": [
     2,
     27,
     47,
     80,
     99,
     126
    ],
    "Z": [
     16,
     35,
     48,
     78,
     106,
     119
    ]
   },
   {
    "X": [
     3,
     28,
     48,
     81,
     100,
     127
    ],
    "Z": [
     15,
     34,
     47,
     77,
     105,
     118
    ]
   },
   {
    "X": [
     4,
     29,
     49,
     82,
     101,
     128
    ],
    "Z": [
     14,
     33,
     46,
     76,
     104,
     117
    ]
   },
   {
    "X": [
     5,
     30,
     50,
     83,
     102,
     129
    ],
    "Z": [
     13,
     32,
     45,
     75,
     103,
     116
    ]
   },
   {
    "X": [
     6,
     31,
     51,
     84,
     103,
     130
    ],
    "Z": [
     12,
     31,
     44,
     74,
     102,
     115
    ]
   },
   {
    "X": [
     7,
     32,
     52,
     85,
     104,
     131
    ],
    "Z": [
     11,
     30,
     65,
     73,
     101,
     114
    ]
   },
   {
    "X": [
     8,
     33,
     53,
     86,
     105,
     110
    ],
    "Z": [
     10,
     29,
     64,
     72,
     100,
     113
    ]
   },
   {
    "X": [
     9,
     34,
     54,
     87,
     106,
     111
    ],
    "Z": [
     9,
     28,
     63,
     71,
     99,
     112
    ]
   },
   {
    "X": [
     10,
     35,
     55,
     66,
     107,
     112
    ],
    "Z": [
     8,
     27,
     62,
     70,
     98,
     111
    ]
   },
   {
    "X": [
     11,
     36,
     56,
     67,
     108,
     113
    ],
    "Z": [
     7,
     26,
     61,
     69,
     97,
     110
    ]
   },
   {
    "X": [
     12,
     37,
     57,
     68,
     109,
     114
    ],
    "Z": [
     6,
     25,
     60,
     68,
     96,
     131
    ]
   },
   {
    "X": [
     13,
     38,
     58,
     69,
     88,
     115
    ],
    "Z": [
     5,
     24,
     59,
     67,
     95,
     130
    ]
   },
   {
    "X": [
     14,
     39,
     59,
     70,
     89,
     116
    ],
    "Z": [
     4,
     23,
     58,
     66,
     94,
     129
    ]
   },
   {
    "X": [
     15,
     40,
     60,
     71,
     90,
     117
    ],
    "Z": [
     3,
     22,
     57,
     87,
     93,
     128
    ]
   }
  ]
 },
 "distance": {
  "d": 10,
  "P": {
   "value": 10,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     52,
     65,
     95,
     109,
     127
    ],
    "Z": [
     11,
     52,
     69,
     95,
     96,
     108,
     118
    ]
   }
  }
 },
 "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)=(4,12), lift P=22. Exponent array E (rows a=0..3, columns l=0..11): [[9, 13, 0, 8, 10, 2, 1, 20, 18, 17, 2, 15], [16, 20, 5, 14, 18, 3, 19, 19, 19, 21, 18, 9], [12, 17, 19, 4, 2, 18, 17, 2, 11, 8, 12, 13], [6, 2, 3, 21, 5, 12, 16, 20, 19, 4, 14, 17]]. Off-diagonal pair partitions M: {\"0,1\": [[0, 1], [2, 9], [3, 4], [5, 6], [7, 8], [10, 11]], \"0,2\": [[0, 5], [1, 6], [2, 8], [3, 11], [4, 9], [7, 10]], \"0,3\": [[0, 3], [1, 10], [2, 6], [4, 8], [5, 11], [7, 9]], \"1,2\": [[0, 3], [1, 9], [2, 10], [4, 7], [5, 8], [6, 11]], \"1,3\": [[0, 9], [1, 2], [3, 6], [4, 5], [7, 10], [8, 11]], \"2,3\": [[0, 4], [1, 5], [2, 7], [3, 10], [6, 8], [9, 11]]}. 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 580 random per-qubit symplectic frames x 1,000,000 gf2_fast trials on the symplectic doubling (upper bound). The paper's Table VII lists [[132,47,10]] at this lift, as an exact value; this search reached the same value.",
  "model": "Claude Fable 5.1",
  "search_budget": {
   "candidates_screened": 42219,
   "ris_trials_per_side": 580000000,
   "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 59705503, 2026-10-12), then 180 frames x 1,000,000 gf2_fast trials (jobs 59731365 to 59731368) and 400 further frames x 1,000,000 trials with fresh seeds (job 59779389, 2026-10-14). Lightest Pauli logical found: 10."
  }
 }
}