{ "schema_version": "0.1", "name": "[[280,74,12]]", "code_type": "CSS", "n": 280, "k": 74, "checks": { "X": [ [ 9, 39, 89, 107, 167, 192, 227, 256 ], [ 5, 35, 85, 108, 168, 193, 228, 257 ], [ 6, 36, 86, 109, 169, 194, 229, 258 ], [ 7, 37, 87, 105, 165, 190, 225, 259 ], [ 8, 38, 88, 106, 166, 191, 226, 255 ], [ 14, 44, 94, 112, 172, 197, 232, 261 ], [ 10, 40, 90, 113, 173, 198, 233, 262 ], [ 11, 41, 91, 114, 174, 199, 234, 263 ], [ 12, 42, 92, 110, 170, 195, 230, 264 ], [ 13, 43, 93, 111, 171, 196, 231, 260 ], [ 19, 49, 99, 117, 142, 202, 237, 266 ], [ 15, 45, 95, 118, 143, 203, 238, 267 ], [ 16, 46, 96, 119, 144, 204, 239, 268 ], [ 17, 47, 97, 115, 140, 200, 235, 269 ], [ 18, 48, 98, 116, 141, 201, 236, 265 ], [ 24, 54, 104, 122, 147, 207, 242, 271 ], [ 20, 50, 100, 123, 148, 208, 243, 272 ], [ 21, 51, 101, 124, 149, 209, 244, 273 ], [ 22, 52, 102, 120, 145, 205, 240, 274 ], [ 23, 53, 103, 121, 146, 206, 241, 270 ], [ 29, 59, 74, 127, 152, 177, 212, 276 ], [ 25, 55, 70, 128, 153, 178, 213, 277 ], [ 26, 56, 71, 129, 154, 179, 214, 278 ], [ 27, 57, 72, 125, 150, 175, 210, 279 ], [ 28, 58, 73, 126, 151, 176, 211, 275 ], [ 34, 64, 79, 132, 157, 182, 217, 246 ], [ 30, 60, 75, 133, 158, 183, 218, 247 ], [ 31, 61, 76, 134, 159, 184, 219, 248 ], [ 32, 62, 77, 130, 155, 180, 215, 249 ], [ 33, 63, 78, 131, 156, 181, 216, 245 ], [ 4, 69, 84, 137, 162, 187, 222, 251 ], [ 0, 65, 80, 138, 163, 188, 223, 252 ], [ 1, 66, 81, 139, 164, 189, 224, 253 ], [ 2, 67, 82, 135, 160, 185, 220, 254 ], [ 3, 68, 83, 136, 161, 186, 221, 250 ], [ 23, 69, 90, 114, 143, 179, 225, 271 ], [ 24, 65, 91, 110, 144, 175, 226, 272 ], [ 20, 66, 92, 111, 140, 176, 227, 273 ], [ 21, 67, 93, 112, 141, 177, 228, 274 ], [ 22, 68, 94, 113, 142, 178, 229, 270 ], [ 28, 39, 95, 119, 148, 184, 230, 276 ], [ 29, 35, 96, 115, 149, 180, 231, 277 ], [ 25, 36, 97, 116, 145, 181, 232, 278 ], [ 26, 37, 98, 117, 146, 182, 233, 279 ], [ 27, 38, 99, 118, 147, 183, 234, 275 ], [ 33, 44, 100, 124, 153, 189, 235, 246 ], [ 34, 40, 101, 120, 154, 185, 236, 247 ], [ 30, 41, 102, 121, 150, 186, 237, 248 ], [ 31, 42, 103, 122, 151, 187, 238, 249 ], [ 32, 43, 104, 123, 152, 188, 239, 245 ], [ 3, 49, 70, 129, 158, 194, 240, 251 ], [ 4, 45, 71, 125, 159, 190, 241, 252 ], [ 0, 46, 72, 126, 155, 191, 242, 253 ], [ 1, 47, 73, 127, 156, 192, 243, 254 ], [ 2, 48, 74, 128, 157, 193, 244, 250 ], [ 8, 54, 75, 134, 163, 199, 210, 256 ], [ 9, 50, 76, 130, 164, 195, 211, 257 ], [ 5, 51, 77, 131, 160, 196, 212, 258 ], [ 6, 52, 78, 132, 161, 197, 213, 259 ], [ 7, 53, 79, 133, 162, 198, 214, 255 ], [ 13, 59, 80, 139, 168, 204, 215, 261 ], [ 14, 55, 81, 135, 169, 200, 216, 262 ], [ 10, 56, 82, 136, 165, 201, 217, 263 ], [ 11, 57, 83, 137, 166, 202, 218, 264 ], [ 12, 58, 84, 138, 167, 203, 219, 260 ], [ 18, 64, 85, 109, 173, 209, 220, 266 ], [ 19, 60, 86, 105, 174, 205, 221, 267 ], [ 15, 61, 87, 106, 170, 206, 222, 268 ], [ 16, 62, 88, 107, 171, 207, 223, 269 ], [ 17, 63, 89, 108, 172, 208, 224, 265 ], [ 23, 56, 99, 127, 172, 205, 216, 257 ], [ 24, 57, 95, 128, 173, 206, 217, 258 ], [ 20, 58, 96, 129, 174, 207, 218, 259 ], [ 21, 59, 97, 125, 170, 208, 219, 255 ], [ 22, 55, 98, 126, 171, 209, 215, 256 ], [ 28, 61, 104, 132, 142, 175, 221, 262 ], [ 29, 62, 100, 133, 143, 176, 222, 263 ], [ 25, 63, 101, 134, 144, 177, 223, 264 ], [ 26, 64, 102, 130, 140, 178, 224, 260 ], [ 27, 60, 103, 131, 141, 179, 220, 261 ], [ 33, 66, 74, 137, 147, 180, 226, 267 ], [ 34, 67, 70, 138, 148, 181, 227, 268 ], [ 30, 68, 71, 139, 149, 182, 228, 269 ], [ 31, 69, 72, 135, 145, 183, 229, 265 ], [ 32, 65, 73, 136, 146, 184, 225, 266 ], [ 3, 36, 79, 107, 152, 185, 231, 272 ], [ 4, 37, 75, 108, 153, 186, 232, 273 ], [ 0, 38, 76, 109, 154, 187, 233, 274 ], [ 1, 39, 77, 105, 150, 188, 234, 270 ], [ 2, 35, 78, 106, 151, 189, 230, 271 ], [ 8, 41, 84, 112, 157, 190, 236, 277 ], [ 9, 42, 80, 113, 158, 191, 237, 278 ], [ 5, 43, 81, 114, 159, 192, 238, 279 ], [ 6, 44, 82, 110, 155, 193, 239, 275 ], [ 7, 40, 83, 111, 156, 194, 235, 276 ], [ 13, 46, 89, 117, 162, 195, 241, 247 ], [ 14, 47, 85, 118, 163, 196, 242, 248 ], [ 10, 48, 86, 119, 164, 197, 243, 249 ], [ 11, 49, 87, 115, 160, 198, 244, 245 ], [ 12, 45, 88, 116, 161, 199, 240, 246 ], [ 18, 51, 94, 122, 167, 200, 211, 252 ], [ 19, 52, 90, 123, 168, 201, 212, 253 ], [ 15, 53, 91, 124, 169, 202, 213, 254 ], [ 16, 54, 92, 120, 165, 203, 214, 250 ], [ 17, 50, 93, 121, 166, 204, 210, 251 ] ], "Z": [ [ 7, 40, 87, 133, 162, 198, 222, 247 ], [ 8, 41, 88, 134, 163, 199, 223, 248 ], [ 9, 42, 89, 130, 164, 195, 224, 249 ], [ 5, 43, 85, 131, 160, 196, 220, 245 ], [ 6, 44, 86, 132, 161, 197, 221, 246 ], [ 12, 45, 92, 138, 167, 203, 227, 252 ], [ 13, 46, 93, 139, 168, 204, 228, 253 ], [ 14, 47, 94, 135, 169, 200, 229, 254 ], [ 10, 48, 90, 136, 165, 201, 225, 250 ], [ 11, 49, 91, 137, 166, 202, 226, 251 ], [ 17, 50, 97, 108, 172, 208, 232, 257 ], [ 18, 51, 98, 109, 173, 209, 233, 258 ], [ 19, 52, 99, 105, 174, 205, 234, 259 ], [ 15, 53, 95, 106, 170, 206, 230, 255 ], [ 16, 54, 96, 107, 171, 207, 231, 256 ], [ 22, 55, 102, 113, 142, 178, 237, 262 ], [ 23, 56, 103, 114, 143, 179, 238, 263 ], [ 24, 57, 104, 110, 144, 175, 239, 264 ], [ 20, 58, 100, 111, 140, 176, 235, 260 ], [ 21, 59, 101, 112, 141, 177, 236, 261 ], [ 27, 60, 72, 118, 147, 183, 242, 267 ], [ 28, 61, 73, 119, 148, 184, 243, 268 ], [ 29, 62, 74, 115, 149, 180, 244, 269 ], [ 25, 63, 70, 116, 145, 181, 240, 265 ], [ 26, 64, 71, 117, 146, 182, 241, 266 ], [ 32, 65, 77, 123, 152, 188, 212, 272 ], [ 33, 66, 78, 124, 153, 189, 213, 273 ], [ 34, 67, 79, 120, 154, 185, 214, 274 ], [ 30, 68, 75, 121, 150, 186, 210, 270 ], [ 31, 69, 76, 122, 151, 187, 211, 271 ], [ 2, 35, 82, 128, 157, 193, 217, 277 ], [ 3, 36, 83, 129, 158, 194, 218, 278 ], [ 4, 37, 84, 125, 159, 190, 219, 279 ], [ 0, 38, 80, 126, 155, 191, 215, 275 ], [ 1, 39, 81, 127, 156, 192, 216, 276 ], [ 31, 61, 103, 135, 173, 206, 220, 262 ], [ 32, 62, 104, 136, 174, 207, 221, 263 ], [ 33, 63, 100, 137, 170, 208, 222, 264 ], [ 34, 64, 101, 138, 171, 209, 223, 260 ], [ 30, 60, 102, 139, 172, 205, 224, 261 ], [ 1, 66, 73, 105, 143, 176, 225, 267 ], [ 2, 67, 74, 106, 144, 177, 226, 268 ], [ 3, 68, 70, 107, 140, 178, 227, 269 ], [ 4, 69, 71, 108, 141, 179, 228, 265 ], [ 0, 65, 72, 109, 142, 175, 229, 266 ], [ 6, 36, 78, 110, 148, 181, 230, 272 ], [ 7, 37, 79, 111, 149, 182, 231, 273 ], [ 8, 38, 75, 112, 145, 183, 232, 274 ], [ 9, 39, 76, 113, 146, 184, 233, 270 ], [ 5, 35, 77, 114, 147, 180, 234, 271 ], [ 11, 41, 83, 115, 153, 186, 235, 277 ], [ 12, 42, 84, 116, 154, 187, 236, 278 ], [ 13, 43, 80, 117, 150, 188, 237, 279 ], [ 14, 44, 81, 118, 151, 189, 238, 275 ], [ 10, 40, 82, 119, 152, 185, 239, 276 ], [ 16, 46, 88, 120, 158, 191, 240, 247 ], [ 17, 47, 89, 121, 159, 192, 241, 248 ], [ 18, 48, 85, 122, 155, 193, 242, 249 ], [ 19, 49, 86, 123, 156, 194, 243, 245 ], [ 15, 45, 87, 124, 157, 190, 244, 246 ], [ 21, 51, 93, 125, 163, 196, 210, 252 ], [ 22, 52, 94, 126, 164, 197, 211, 253 ], [ 23, 53, 90, 127, 160, 198, 212, 254 ], [ 24, 54, 91, 128, 161, 199, 213, 250 ], [ 20, 50, 92, 129, 162, 195, 214, 251 ], [ 26, 56, 98, 130, 168, 201, 215, 257 ], [ 27, 57, 99, 131, 169, 202, 216, 258 ], [ 28, 58, 95, 132, 165, 203, 217, 259 ], [ 29, 59, 96, 133, 166, 204, 218, 255 ], [ 25, 55, 97, 134, 167, 200, 219, 256 ], [ 6, 52, 82, 109, 141, 201, 220, 274 ], [ 7, 53, 83, 105, 142, 202, 221, 270 ], [ 8, 54, 84, 106, 143, 203, 222, 271 ], [ 9, 50, 80, 107, 144, 204, 223, 272 ], [ 5, 51, 81, 108, 140, 200, 224, 273 ], [ 11, 57, 87, 114, 146, 206, 225, 279 ], [ 12, 58, 88, 110, 147, 207, 226, 275 ], [ 13, 59, 89, 111, 148, 208, 227, 276 ], [ 14, 55, 85, 112, 149, 209, 228, 277 ], [ 10, 56, 86, 113, 145, 205, 229, 278 ], [ 16, 62, 92, 119, 151, 176, 230, 249 ], [ 17, 63, 93, 115, 152, 177, 231, 245 ], [ 18, 64, 94, 116, 153, 178, 232, 246 ], [ 19, 60, 90, 117, 154, 179, 233, 247 ], [ 15, 61, 91, 118, 150, 175, 234, 248 ], [ 21, 67, 97, 124, 156, 181, 235, 254 ], [ 22, 68, 98, 120, 157, 182, 236, 250 ], [ 23, 69, 99, 121, 158, 183, 237, 251 ], [ 24, 65, 95, 122, 159, 184, 238, 252 ], [ 20, 66, 96, 123, 155, 180, 239, 253 ], [ 26, 37, 102, 129, 161, 186, 240, 259 ], [ 27, 38, 103, 125, 162, 187, 241, 255 ], [ 28, 39, 104, 126, 163, 188, 242, 256 ], [ 29, 35, 100, 127, 164, 189, 243, 257 ], [ 25, 36, 101, 128, 160, 185, 244, 258 ], [ 31, 42, 72, 134, 166, 191, 210, 264 ], [ 32, 43, 73, 130, 167, 192, 211, 260 ], [ 33, 44, 74, 131, 168, 193, 212, 261 ], [ 34, 40, 70, 132, 169, 194, 213, 262 ], [ 30, 41, 71, 133, 165, 190, 214, 263 ], [ 1, 47, 77, 139, 171, 196, 215, 269 ], [ 2, 48, 78, 135, 172, 197, 216, 265 ], [ 3, 49, 79, 136, 173, 198, 217, 266 ], [ 4, 45, 75, 137, 174, 199, 218, 267 ], [ 0, 46, 76, 138, 170, 195, 219, 268 ] ] }, "distance": { "d": 12, "X": { "value": 12, "confidence": "upper_bound", "witness": [ 20, 28, 39, 58, 83, 110, 129, 148, 186, 239, 270, 276 ] }, "Z": { "value": 12, "confidence": "upper_bound", "witness": [ 31, 45, 54, 63, 116, 122, 134, 138, 181, 203, 252, 265 ] } }, "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,35), 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/c5c7_d12/gpm_pp_c5c7_frontier.npz (sha256 a49a766fcd303d310b5fade7ed6f3bfae7edf275b0c407205c710aa952675095), 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" }