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