{ "schema_version": "0.1", "name": "[[288,76,12]]", "code_type": "CSS", "n": 288, "k": 76, "checks": { "X": [ [ 35, 52, 84, 119, 160, 180, 220, 269 ], [ 34, 51, 85, 118, 159, 181, 219, 268 ], [ 33, 53, 86, 117, 161, 182, 221, 267 ], [ 32, 49, 87, 116, 157, 183, 217, 266 ], [ 31, 48, 88, 115, 156, 184, 216, 265 ], [ 30, 50, 89, 114, 158, 185, 218, 264 ], [ 23, 40, 72, 125, 148, 186, 226, 257 ], [ 22, 39, 73, 124, 147, 187, 225, 256 ], [ 21, 41, 74, 123, 149, 188, 227, 255 ], [ 20, 37, 75, 122, 145, 189, 223, 254 ], [ 19, 36, 76, 121, 144, 190, 222, 253 ], [ 18, 38, 77, 120, 146, 191, 224, 252 ], [ 29, 46, 78, 113, 154, 192, 232, 263 ], [ 28, 45, 79, 112, 153, 193, 231, 262 ], [ 27, 47, 80, 111, 155, 194, 233, 261 ], [ 26, 43, 81, 110, 151, 195, 229, 260 ], [ 25, 42, 82, 109, 150, 196, 228, 259 ], [ 24, 44, 83, 108, 152, 197, 230, 258 ], [ 17, 70, 102, 137, 178, 198, 238, 287 ], [ 16, 69, 103, 136, 177, 199, 237, 286 ], [ 15, 71, 104, 135, 179, 200, 239, 285 ], [ 14, 67, 105, 134, 175, 201, 235, 284 ], [ 13, 66, 106, 133, 174, 202, 234, 283 ], [ 12, 68, 107, 132, 176, 203, 236, 282 ], [ 5, 58, 90, 143, 166, 204, 244, 275 ], [ 4, 57, 91, 142, 165, 205, 243, 274 ], [ 3, 59, 92, 141, 167, 206, 245, 273 ], [ 2, 55, 93, 140, 163, 207, 241, 272 ], [ 1, 54, 94, 139, 162, 208, 240, 271 ], [ 0, 56, 95, 138, 164, 209, 242, 270 ], [ 11, 64, 96, 131, 172, 210, 250, 281 ], [ 10, 63, 97, 130, 171, 211, 249, 280 ], [ 9, 65, 98, 129, 173, 212, 251, 279 ], [ 8, 61, 99, 128, 169, 213, 247, 278 ], [ 7, 60, 100, 127, 168, 214, 246, 277 ], [ 6, 62, 101, 126, 170, 215, 248, 276 ], [ 14, 42, 80, 122, 159, 205, 222, 267 ], [ 12, 43, 78, 120, 161, 206, 223, 269 ], [ 13, 44, 79, 121, 160, 204, 224, 268 ], [ 17, 45, 83, 125, 156, 208, 225, 264 ], [ 15, 46, 81, 123, 158, 209, 226, 266 ], [ 16, 47, 82, 124, 157, 207, 227, 265 ], [ 2, 48, 86, 110, 147, 211, 228, 255 ], [ 0, 49, 84, 108, 149, 212, 229, 257 ], [ 1, 50, 85, 109, 148, 210, 230, 256 ], [ 5, 51, 89, 113, 144, 214, 231, 252 ], [ 3, 52, 87, 111, 146, 215, 232, 254 ], [ 4, 53, 88, 112, 145, 213, 233, 253 ], [ 8, 36, 74, 116, 153, 199, 216, 261 ], [ 6, 37, 72, 114, 155, 200, 217, 263 ], [ 7, 38, 73, 115, 154, 198, 218, 262 ], [ 11, 39, 77, 119, 150, 202, 219, 258 ], [ 9, 40, 75, 117, 152, 203, 220, 260 ], [ 10, 41, 76, 118, 151, 201, 221, 259 ], [ 32, 60, 98, 140, 177, 187, 240, 285 ], [ 30, 61, 96, 138, 179, 188, 241, 287 ], [ 31, 62, 97, 139, 178, 186, 242, 286 ], [ 35, 63, 101, 143, 174, 190, 243, 282 ], [ 33, 64, 99, 141, 176, 191, 244, 284 ], [ 34, 65, 100, 142, 175, 189, 245, 283 ], [ 20, 66, 104, 128, 165, 193, 246, 273 ], [ 18, 67, 102, 126, 167, 194, 247, 275 ], [ 19, 68, 103, 127, 166, 192, 248, 274 ], [ 23, 69, 107, 131, 162, 196, 249, 270 ], [ 21, 70, 105, 129, 164, 197, 250, 272 ], [ 22, 71, 106, 130, 163, 195, 251, 271 ], [ 26, 54, 92, 134, 171, 181, 234, 279 ], [ 24, 55, 90, 132, 173, 182, 235, 281 ], [ 25, 56, 91, 133, 172, 180, 236, 280 ], [ 29, 57, 95, 137, 168, 184, 237, 276 ], [ 27, 58, 93, 135, 170, 185, 238, 278 ], [ 28, 59, 94, 136, 169, 183, 239, 277 ], [ 11, 43, 97, 138, 166, 197, 231, 266 ], [ 10, 44, 98, 139, 165, 196, 233, 264 ], [ 9, 42, 96, 140, 167, 195, 232, 265 ], [ 8, 46, 100, 141, 163, 194, 228, 269 ], [ 7, 47, 101, 142, 162, 193, 230, 267 ], [ 6, 45, 99, 143, 164, 192, 229, 268 ], [ 17, 49, 103, 126, 172, 185, 219, 254 ], [ 16, 50, 104, 127, 171, 184, 221, 252 ], [ 15, 48, 102, 128, 173, 183, 220, 253 ], [ 14, 52, 106, 129, 169, 182, 216, 257 ], [ 13, 53, 107, 130, 168, 181, 218, 255 ], [ 12, 51, 105, 131, 170, 180, 217, 256 ], [ 5, 37, 91, 132, 178, 191, 225, 260 ], [ 4, 38, 92, 133, 177, 190, 227, 258 ], [ 3, 36, 90, 134, 179, 189, 226, 259 ], [ 2, 40, 94, 135, 175, 188, 222, 263 ], [ 1, 41, 95, 136, 174, 187, 224, 261 ], [ 0, 39, 93, 137, 176, 186, 223, 262 ], [ 29, 61, 79, 120, 148, 215, 249, 284 ], [ 28, 62, 80, 121, 147, 214, 251, 282 ], [ 27, 60, 78, 122, 149, 213, 250, 283 ], [ 26, 64, 82, 123, 145, 212, 246, 287 ], [ 25, 65, 83, 124, 144, 211, 248, 285 ], [ 24, 63, 81, 125, 146, 210, 247, 286 ], [ 35, 67, 85, 108, 154, 203, 237, 272 ], [ 34, 68, 86, 109, 153, 202, 239, 270 ], [ 33, 66, 84, 110, 155, 201, 238, 271 ], [ 32, 70, 88, 111, 151, 200, 234, 275 ], [ 31, 71, 89, 112, 150, 199, 236, 273 ], [ 30, 69, 87, 113, 152, 198, 235, 274 ], [ 23, 55, 73, 114, 160, 209, 243, 278 ], [ 22, 56, 74, 115, 159, 208, 245, 276 ], [ 21, 54, 72, 116, 161, 207, 244, 277 ], [ 20, 58, 76, 117, 157, 206, 240, 281 ], [ 19, 59, 77, 118, 156, 205, 242, 279 ], [ 18, 57, 75, 119, 158, 204, 241, 280 ] ], "Z": [ [ 34, 68, 85, 142, 152, 203, 230, 274 ], [ 33, 66, 86, 141, 150, 202, 228, 273 ], [ 35, 67, 84, 143, 151, 201, 229, 275 ], [ 31, 71, 88, 139, 155, 200, 233, 271 ], [ 30, 69, 89, 138, 153, 199, 231, 270 ], [ 32, 70, 87, 140, 154, 198, 232, 272 ], [ 22, 56, 73, 130, 158, 209, 218, 280 ], [ 21, 54, 74, 129, 156, 208, 216, 279 ], [ 23, 55, 72, 131, 157, 207, 217, 281 ], [ 19, 59, 76, 127, 161, 206, 221, 277 ], [ 18, 57, 77, 126, 159, 205, 219, 276 ], [ 20, 58, 75, 128, 160, 204, 220, 278 ], [ 28, 62, 79, 136, 146, 215, 224, 286 ], [ 27, 60, 80, 135, 144, 214, 222, 285 ], [ 29, 61, 78, 137, 145, 213, 223, 287 ], [ 25, 65, 82, 133, 149, 212, 227, 283 ], [ 24, 63, 83, 132, 147, 211, 225, 282 ], [ 26, 64, 81, 134, 148, 210, 226, 284 ], [ 16, 50, 103, 124, 170, 185, 248, 256 ], [ 15, 48, 104, 123, 168, 184, 246, 255 ], [ 17, 49, 102, 125, 169, 183, 247, 257 ], [ 13, 53, 106, 121, 173, 182, 251, 253 ], [ 12, 51, 107, 120, 171, 181, 249, 252 ], [ 14, 52, 105, 122, 172, 180, 250, 254 ], [ 4, 38, 91, 112, 176, 191, 236, 262 ], [ 3, 36, 92, 111, 174, 190, 234, 261 ], [ 5, 37, 90, 113, 175, 189, 235, 263 ], [ 1, 41, 94, 109, 179, 188, 239, 259 ], [ 0, 39, 95, 108, 177, 187, 237, 258 ], [ 2, 40, 93, 110, 178, 186, 238, 260 ], [ 10, 44, 97, 118, 164, 197, 242, 268 ], [ 9, 42, 98, 117, 162, 196, 240, 267 ], [ 11, 43, 96, 119, 163, 195, 241, 269 ], [ 7, 47, 100, 115, 167, 194, 245, 265 ], [ 6, 45, 101, 114, 165, 193, 243, 264 ], [ 8, 46, 99, 116, 166, 192, 244, 266 ], [ 6, 62, 72, 143, 176, 186, 244, 282 ], [ 7, 60, 73, 142, 174, 187, 243, 283 ], [ 8, 61, 74, 141, 175, 188, 245, 284 ], [ 9, 65, 75, 140, 179, 189, 241, 285 ], [ 10, 63, 76, 139, 177, 190, 240, 286 ], [ 11, 64, 77, 138, 178, 191, 242, 287 ], [ 12, 68, 78, 131, 164, 192, 250, 270 ], [ 13, 66, 79, 130, 162, 193, 249, 271 ], [ 14, 67, 80, 129, 163, 194, 251, 272 ], [ 15, 71, 81, 128, 167, 195, 247, 273 ], [ 16, 69, 82, 127, 165, 196, 246, 274 ], [ 17, 70, 83, 126, 166, 197, 248, 275 ], [ 0, 56, 84, 137, 170, 180, 238, 276 ], [ 1, 54, 85, 136, 168, 181, 237, 277 ], [ 2, 55, 86, 135, 169, 182, 239, 278 ], [ 3, 59, 87, 134, 173, 183, 235, 279 ], [ 4, 57, 88, 133, 171, 184, 234, 280 ], [ 5, 58, 89, 132, 172, 185, 236, 281 ], [ 24, 44, 90, 125, 158, 204, 226, 264 ], [ 25, 42, 91, 124, 156, 205, 225, 265 ], [ 26, 43, 92, 123, 157, 206, 227, 266 ], [ 27, 47, 93, 122, 161, 207, 223, 267 ], [ 28, 45, 94, 121, 159, 208, 222, 268 ], [ 29, 46, 95, 120, 160, 209, 224, 269 ], [ 30, 50, 96, 113, 146, 210, 232, 252 ], [ 31, 48, 97, 112, 144, 211, 231, 253 ], [ 32, 49, 98, 111, 145, 212, 233, 254 ], [ 33, 53, 99, 110, 149, 213, 229, 255 ], [ 34, 51, 100, 109, 147, 214, 228, 256 ], [ 35, 52, 101, 108, 148, 215, 230, 257 ], [ 18, 38, 102, 119, 152, 198, 220, 258 ], [ 19, 36, 103, 118, 150, 199, 219, 259 ], [ 20, 37, 104, 117, 151, 200, 221, 260 ], [ 21, 41, 105, 116, 155, 201, 217, 261 ], [ 22, 39, 106, 115, 153, 202, 216, 262 ], [ 23, 40, 107, 114, 154, 203, 218, 263 ], [ 10, 41, 98, 130, 147, 187, 251, 255 ], [ 9, 40, 96, 129, 149, 188, 250, 257 ], [ 11, 39, 97, 131, 148, 186, 249, 256 ], [ 7, 38, 101, 127, 144, 190, 248, 252 ], [ 6, 37, 99, 126, 146, 191, 247, 254 ], [ 8, 36, 100, 128, 145, 189, 246, 253 ], [ 16, 47, 104, 136, 153, 193, 239, 261 ], [ 15, 46, 102, 135, 155, 194, 238, 263 ], [ 17, 45, 103, 137, 154, 192, 237, 262 ], [ 13, 44, 107, 133, 150, 196, 236, 258 ], [ 12, 43, 105, 132, 152, 197, 235, 260 ], [ 14, 42, 106, 134, 151, 195, 234, 259 ], [ 4, 53, 92, 142, 159, 181, 245, 267 ], [ 3, 52, 90, 141, 161, 182, 244, 269 ], [ 5, 51, 91, 143, 160, 180, 243, 268 ], [ 1, 50, 95, 139, 156, 184, 242, 264 ], [ 0, 49, 93, 138, 158, 185, 241, 266 ], [ 2, 48, 94, 140, 157, 183, 240, 265 ], [ 28, 59, 80, 112, 165, 205, 233, 273 ], [ 27, 58, 78, 111, 167, 206, 232, 275 ], [ 29, 57, 79, 113, 166, 204, 231, 274 ], [ 25, 56, 83, 109, 162, 208, 230, 270 ], [ 24, 55, 81, 108, 164, 209, 229, 272 ], [ 26, 54, 82, 110, 163, 207, 228, 271 ], [ 34, 65, 86, 118, 171, 211, 221, 279 ], [ 33, 64, 84, 117, 173, 212, 220, 281 ], [ 35, 63, 85, 119, 172, 210, 219, 280 ], [ 31, 62, 89, 115, 168, 214, 218, 276 ], [ 30, 61, 87, 114, 170, 215, 217, 278 ], [ 32, 60, 88, 116, 169, 213, 216, 277 ], [ 22, 71, 74, 124, 177, 199, 227, 285 ], [ 21, 70, 72, 123, 179, 200, 226, 287 ], [ 23, 69, 73, 125, 178, 198, 225, 286 ], [ 19, 68, 77, 121, 174, 202, 224, 282 ], [ 18, 67, 75, 120, 176, 203, 223, 284 ], [ 20, 66, 76, 122, 175, 201, 222, 283 ] ] }, "distance": { "d": 12, "X": { "value": 12, "confidence": "upper_bound", "witness": [ 74, 75, 80, 81, 86, 87, 272, 273, 278, 279, 284, 285 ] }, "Z": { "value": 12, "confidence": "upper_bound", "witness": [ 25, 28, 56, 59, 97, 100, 211, 214, 228, 231, 242, 245 ] } }, "provenance": { "authors": [ "@MathysRennela", "Okada, Koki", "Kasai, Kenta", "Maskara, Nishad" ], "construction": "Pair-partition CPM/GPM CSS code (Okada-Kasai arXiv:2607.14091 catalogue), (J,L,P)=(3,8,36), check weight 8; H_X and H_Z taken verbatim from the published instance at https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_data/distance_records/gpm_pp_frontier_20260811/s3c3c2_d12/gpm_pp_s3c3c2_frontier.npz (sha256 63cb965f94e06353a8a005a0df284a460d70eb5e0f3c139c081b71f0f751538a), structure and distance re-verified here", "origin": "baseline", "date": "2026-09-29", "model": "Mimo-V2.6-Flash", "notes": "Literature reproduction of a published instance from the Okada-Kasai pair-partition catalogue (https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_20260714.html), not a new construction search. Equivalence checked at submission time: the dedup gate finds no exact or graph-equivalent existing entry, and verify/validate_candidate.py reports nothing dominating this code in its cell.", "novelty": "known_parameters", "references": [ "arXiv:2607.14091" ] }, "family": "pair-partition-cpm" }