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