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