{ "schema_version": "0.1", "name": "[[320,80,14]] CPM-PP pair-partition code", "code_type": "CSS", "n": 320, "k": 80, "checks": { "X": [ [ 0, 41, 80, 81, 120, 161, 200, 240, 280, 281 ], [ 1, 40, 41, 80, 121, 160, 161, 201, 241, 280 ], [ 2, 43, 82, 83, 122, 163, 202, 242, 282, 283 ], [ 3, 42, 43, 82, 123, 162, 163, 203, 243, 282 ], [ 4, 45, 84, 85, 124, 165, 204, 244, 284, 285 ], [ 5, 44, 45, 84, 125, 164, 165, 205, 245, 284 ], [ 6, 47, 86, 87, 126, 167, 206, 246, 286, 287 ], [ 7, 46, 47, 86, 127, 166, 167, 207, 247, 286 ], [ 8, 49, 88, 89, 128, 169, 208, 248, 288, 289 ], [ 9, 48, 49, 88, 129, 168, 169, 209, 249, 288 ], [ 10, 51, 90, 91, 130, 171, 210, 250, 290, 291 ], [ 11, 50, 51, 90, 131, 170, 171, 211, 251, 290 ], [ 12, 53, 92, 93, 132, 173, 212, 252, 292, 293 ], [ 13, 52, 53, 92, 133, 172, 173, 213, 253, 292 ], [ 14, 55, 94, 95, 134, 175, 214, 254, 294, 295 ], [ 15, 54, 55, 94, 135, 174, 175, 215, 255, 294 ], [ 16, 57, 96, 97, 136, 177, 216, 256, 296, 297 ], [ 17, 56, 57, 96, 137, 176, 177, 217, 257, 296 ], [ 18, 59, 98, 99, 138, 179, 218, 258, 298, 299 ], [ 19, 58, 59, 98, 139, 178, 179, 219, 259, 298 ], [ 20, 61, 100, 101, 140, 181, 220, 260, 300, 301 ], [ 21, 60, 61, 100, 141, 180, 181, 221, 261, 300 ], [ 22, 63, 102, 103, 142, 183, 222, 262, 302, 303 ], [ 23, 62, 63, 102, 143, 182, 183, 223, 263, 302 ], [ 24, 65, 104, 105, 144, 185, 224, 264, 304, 305 ], [ 25, 64, 65, 104, 145, 184, 185, 225, 265, 304 ], [ 26, 67, 106, 107, 146, 187, 226, 266, 306, 307 ], [ 27, 66, 67, 106, 147, 186, 187, 227, 267, 306 ], [ 28, 69, 108, 109, 148, 189, 228, 268, 308, 309 ], [ 29, 68, 69, 108, 149, 188, 189, 229, 269, 308 ], [ 30, 71, 110, 111, 150, 191, 230, 270, 310, 311 ], [ 31, 70, 71, 110, 151, 190, 191, 231, 271, 310 ], [ 32, 73, 112, 113, 152, 193, 232, 272, 312, 313 ], [ 33, 72, 73, 112, 153, 192, 193, 233, 273, 312 ], [ 34, 75, 114, 115, 154, 195, 234, 274, 314, 315 ], [ 35, 74, 75, 114, 155, 194, 195, 235, 275, 314 ], [ 36, 77, 116, 117, 156, 197, 236, 276, 316, 317 ], [ 37, 76, 77, 116, 157, 196, 197, 237, 277, 316 ], [ 38, 79, 118, 119, 158, 199, 238, 278, 318, 319 ], [ 39, 78, 79, 118, 159, 198, 199, 239, 279, 318 ], [ 1, 48, 114, 142, 143, 174, 239, 264, 265, 308 ], [ 0, 1, 49, 115, 142, 175, 238, 239, 264, 309 ], [ 3, 50, 116, 144, 145, 176, 201, 266, 267, 310 ], [ 2, 3, 51, 117, 144, 177, 200, 201, 266, 311 ], [ 5, 52, 118, 146, 147, 178, 203, 268, 269, 312 ], [ 4, 5, 53, 119, 146, 179, 202, 203, 268, 313 ], [ 7, 54, 80, 148, 149, 180, 205, 270, 271, 314 ], [ 6, 7, 55, 81, 148, 181, 204, 205, 270, 315 ], [ 9, 56, 82, 150, 151, 182, 207, 272, 273, 316 ], [ 8, 9, 57, 83, 150, 183, 206, 207, 272, 317 ], [ 11, 58, 84, 152, 153, 184, 209, 274, 275, 318 ], [ 10, 11, 59, 85, 152, 185, 208, 209, 274, 319 ], [ 13, 60, 86, 154, 155, 186, 211, 276, 277, 280 ], [ 12, 13, 61, 87, 154, 187, 210, 211, 276, 281 ], [ 15, 62, 88, 156, 157, 188, 213, 278, 279, 282 ], [ 14, 15, 63, 89, 156, 189, 212, 213, 278, 283 ], [ 17, 64, 90, 158, 159, 190, 215, 240, 241, 284 ], [ 16, 17, 65, 91, 158, 191, 214, 215, 240, 285 ], [ 19, 66, 92, 120, 121, 192, 217, 242, 243, 286 ], [ 18, 19, 67, 93, 120, 193, 216, 217, 242, 287 ], [ 21, 68, 94, 122, 123, 194, 219, 244, 245, 288 ], [ 20, 21, 69, 95, 122, 195, 218, 219, 244, 289 ], [ 23, 70, 96, 124, 125, 196, 221, 246, 247, 290 ], [ 22, 23, 71, 97, 124, 197, 220, 221, 246, 291 ], [ 25, 72, 98, 126, 127, 198, 223, 248, 249, 292 ], [ 24, 25, 73, 99, 126, 199, 222, 223, 248, 293 ], [ 27, 74, 100, 128, 129, 160, 225, 250, 251, 294 ], [ 26, 27, 75, 101, 128, 161, 224, 225, 250, 295 ], [ 29, 76, 102, 130, 131, 162, 227, 252, 253, 296 ], [ 28, 29, 77, 103, 130, 163, 226, 227, 252, 297 ], [ 31, 78, 104, 132, 133, 164, 229, 254, 255, 298 ], [ 30, 31, 79, 105, 132, 165, 228, 229, 254, 299 ], [ 33, 40, 106, 134, 135, 166, 231, 256, 257, 300 ], [ 32, 33, 41, 107, 134, 167, 230, 231, 256, 301 ], [ 35, 42, 108, 136, 137, 168, 233, 258, 259, 302 ], [ 34, 35, 43, 109, 136, 169, 232, 233, 258, 303 ], [ 37, 44, 110, 138, 139, 170, 235, 260, 261, 304 ], [ 36, 37, 45, 111, 138, 171, 234, 235, 260, 305 ], [ 39, 46, 112, 140, 141, 172, 237, 262, 263, 306 ], [ 38, 39, 47, 113, 140, 173, 236, 237, 262, 307 ], [ 0, 1, 54, 88, 155, 196, 226, 227, 257, 298 ], [ 0, 55, 89, 154, 155, 197, 226, 256, 257, 299 ], [ 2, 3, 56, 90, 157, 198, 228, 229, 259, 300 ], [ 2, 57, 91, 156, 157, 199, 228, 258, 259, 301 ], [ 4, 5, 58, 92, 159, 160, 230, 231, 261, 302 ], [ 4, 59, 93, 158, 159, 161, 230, 260, 261, 303 ], [ 6, 7, 60, 94, 121, 162, 232, 233, 263, 304 ], [ 6, 61, 95, 120, 121, 163, 232, 262, 263, 305 ], [ 8, 9, 62, 96, 123, 164, 234, 235, 265, 306 ], [ 8, 63, 97, 122, 123, 165, 234, 264, 265, 307 ], [ 10, 11, 64, 98, 125, 166, 236, 237, 267, 308 ], [ 10, 65, 99, 124, 125, 167, 236, 266, 267, 309 ], [ 12, 13, 66, 100, 127, 168, 238, 239, 269, 310 ], [ 12, 67, 101, 126, 127, 169, 238, 268, 269, 311 ], [ 14, 15, 68, 102, 129, 170, 200, 201, 271, 312 ], [ 14, 69, 103, 128, 129, 171, 200, 270, 271, 313 ], [ 16, 17, 70, 104, 131, 172, 202, 203, 273, 314 ], [ 16, 71, 105, 130, 131, 173, 202, 272, 273, 315 ], [ 18, 19, 72, 106, 133, 174, 204, 205, 275, 316 ], [ 18, 73, 107, 132, 133, 175, 204, 274, 275, 317 ], [ 20, 21, 74, 108, 135, 176, 206, 207, 277, 318 ], [ 20, 75, 109, 134, 135, 177, 206, 276, 277, 319 ], [ 22, 23, 76, 110, 137, 178, 208, 209, 279, 280 ], [ 22, 77, 111, 136, 137, 179, 208, 278, 279, 281 ], [ 24, 25, 78, 112, 139, 180, 210, 211, 241, 282 ], [ 24, 79, 113, 138, 139, 181, 210, 240, 241, 283 ], [ 26, 27, 40, 114, 141, 182, 212, 213, 243, 284 ], [ 26, 41, 115, 140, 141, 183, 212, 242, 243, 285 ], [ 28, 29, 42, 116, 143, 184, 214, 215, 245, 286 ], [ 28, 43, 117, 142, 143, 185, 214, 244, 245, 287 ], [ 30, 31, 44, 118, 145, 186, 216, 217, 247, 288 ], [ 30, 45, 119, 144, 145, 187, 216, 246, 247, 289 ], [ 32, 33, 46, 80, 147, 188, 218, 219, 249, 290 ], [ 32, 47, 81, 146, 147, 189, 218, 248, 249, 291 ], [ 34, 35, 48, 82, 149, 190, 220, 221, 251, 292 ], [ 34, 49, 83, 148, 149, 191, 220, 250, 251, 293 ], [ 36, 37, 50, 84, 151, 192, 222, 223, 253, 294 ], [ 36, 51, 85, 150, 151, 193, 222, 252, 253, 295 ], [ 38, 39, 52, 86, 153, 194, 224, 225, 255, 296 ], [ 38, 53, 87, 152, 153, 195, 224, 254, 255, 297 ] ], "Z": [ [ 0, 68, 69, 117, 124, 196, 197, 200, 244, 309 ], [ 1, 68, 116, 117, 125, 196, 201, 245, 308, 309 ], [ 2, 70, 71, 119, 126, 198, 199, 202, 246, 311 ], [ 3, 70, 118, 119, 127, 198, 203, 247, 310, 311 ], [ 4, 72, 73, 81, 128, 160, 161, 204, 248, 313 ], [ 5, 72, 80, 81, 129, 160, 205, 249, 312, 313 ], [ 6, 74, 75, 83, 130, 162, 163, 206, 250, 315 ], [ 7, 74, 82, 83, 131, 162, 207, 251, 314, 315 ], [ 8, 76, 77, 85, 132, 164, 165, 208, 252, 317 ], [ 9, 76, 84, 85, 133, 164, 209, 253, 316, 317 ], [ 10, 78, 79, 87, 134, 166, 167, 210, 254, 319 ], [ 11, 78, 86, 87, 135, 166, 211, 255, 318, 319 ], [ 12, 40, 41, 89, 136, 168, 169, 212, 256, 281 ], [ 13, 40, 88, 89, 137, 168, 213, 257, 280, 281 ], [ 14, 42, 43, 91, 138, 170, 171, 214, 258, 283 ], [ 15, 42, 90, 91, 139, 170, 215, 259, 282, 283 ], [ 16, 44, 45, 93, 140, 172, 173, 216, 260, 285 ], [ 17, 44, 92, 93, 141, 172, 217, 261, 284, 285 ], [ 18, 46, 47, 95, 142, 174, 175, 218, 262, 287 ], [ 19, 46, 94, 95, 143, 174, 219, 263, 286, 287 ], [ 20, 48, 49, 97, 144, 176, 177, 220, 264, 289 ], [ 21, 48, 96, 97, 145, 176, 221, 265, 288, 289 ], [ 22, 50, 51, 99, 146, 178, 179, 222, 266, 291 ], [ 23, 50, 98, 99, 147, 178, 223, 267, 290, 291 ], [ 24, 52, 53, 101, 148, 180, 181, 224, 268, 293 ], [ 25, 52, 100, 101, 149, 180, 225, 269, 292, 293 ], [ 26, 54, 55, 103, 150, 182, 183, 226, 270, 295 ], [ 27, 54, 102, 103, 151, 182, 227, 271, 294, 295 ], [ 28, 56, 57, 105, 152, 184, 185, 228, 272, 297 ], [ 29, 56, 104, 105, 153, 184, 229, 273, 296, 297 ], [ 30, 58, 59, 107, 154, 186, 187, 230, 274, 299 ], [ 31, 58, 106, 107, 155, 186, 231, 275, 298, 299 ], [ 32, 60, 61, 109, 156, 188, 189, 232, 276, 301 ], [ 33, 60, 108, 109, 157, 188, 233, 277, 300, 301 ], [ 34, 62, 63, 111, 158, 190, 191, 234, 278, 303 ], [ 35, 62, 110, 111, 159, 190, 235, 279, 302, 303 ], [ 36, 64, 65, 113, 120, 192, 193, 236, 240, 305 ], [ 37, 64, 112, 113, 121, 192, 237, 241, 304, 305 ], [ 38, 66, 67, 115, 122, 194, 195, 238, 242, 307 ], [ 39, 66, 114, 115, 123, 194, 239, 243, 306, 307 ], [ 1, 78, 100, 138, 139, 160, 239, 260, 261, 298 ], [ 0, 1, 79, 101, 138, 161, 238, 239, 260, 299 ], [ 3, 40, 102, 140, 141, 162, 201, 262, 263, 300 ], [ 2, 3, 41, 103, 140, 163, 200, 201, 262, 301 ], [ 5, 42, 104, 142, 143, 164, 203, 264, 265, 302 ], [ 4, 5, 43, 105, 142, 165, 202, 203, 264, 303 ], [ 7, 44, 106, 144, 145, 166, 205, 266, 267, 304 ], [ 6, 7, 45, 107, 144, 167, 204, 205, 266, 305 ], [ 9, 46, 108, 146, 147, 168, 207, 268, 269, 306 ], [ 8, 9, 47, 109, 146, 169, 206, 207, 268, 307 ], [ 11, 48, 110, 148, 149, 170, 209, 270, 271, 308 ], [ 10, 11, 49, 111, 148, 171, 208, 209, 270, 309 ], [ 13, 50, 112, 150, 151, 172, 211, 272, 273, 310 ], [ 12, 13, 51, 113, 150, 173, 210, 211, 272, 311 ], [ 15, 52, 114, 152, 153, 174, 213, 274, 275, 312 ], [ 14, 15, 53, 115, 152, 175, 212, 213, 274, 313 ], [ 17, 54, 116, 154, 155, 176, 215, 276, 277, 314 ], [ 16, 17, 55, 117, 154, 177, 214, 215, 276, 315 ], [ 19, 56, 118, 156, 157, 178, 217, 278, 279, 316 ], [ 18, 19, 57, 119, 156, 179, 216, 217, 278, 317 ], [ 21, 58, 80, 158, 159, 180, 219, 240, 241, 318 ], [ 20, 21, 59, 81, 158, 181, 218, 219, 240, 319 ], [ 23, 60, 82, 120, 121, 182, 221, 242, 243, 280 ], [ 22, 23, 61, 83, 120, 183, 220, 221, 242, 281 ], [ 25, 62, 84, 122, 123, 184, 223, 244, 245, 282 ], [ 24, 25, 63, 85, 122, 185, 222, 223, 244, 283 ], [ 27, 64, 86, 124, 125, 186, 225, 246, 247, 284 ], [ 26, 27, 65, 87, 124, 187, 224, 225, 246, 285 ], [ 29, 66, 88, 126, 127, 188, 227, 248, 249, 286 ], [ 28, 29, 67, 89, 126, 189, 226, 227, 248, 287 ], [ 31, 68, 90, 128, 129, 190, 229, 250, 251, 288 ], [ 30, 31, 69, 91, 128, 191, 228, 229, 250, 289 ], [ 33, 70, 92, 130, 131, 192, 231, 252, 253, 290 ], [ 32, 33, 71, 93, 130, 193, 230, 231, 252, 291 ], [ 35, 72, 94, 132, 133, 194, 233, 254, 255, 292 ], [ 34, 35, 73, 95, 132, 195, 232, 233, 254, 293 ], [ 37, 74, 96, 134, 135, 196, 235, 256, 257, 294 ], [ 36, 37, 75, 97, 134, 197, 234, 235, 256, 295 ], [ 39, 76, 98, 136, 137, 198, 237, 258, 259, 296 ], [ 38, 39, 77, 99, 136, 199, 236, 237, 258, 297 ], [ 0, 1, 76, 106, 135, 174, 226, 227, 277, 280 ], [ 0, 77, 107, 134, 135, 175, 226, 276, 277, 281 ], [ 2, 3, 78, 108, 137, 176, 228, 229, 279, 282 ], [ 2, 79, 109, 136, 137, 177, 228, 278, 279, 283 ], [ 4, 5, 40, 110, 139, 178, 230, 231, 241, 284 ], [ 4, 41, 111, 138, 139, 179, 230, 240, 241, 285 ], [ 6, 7, 42, 112, 141, 180, 232, 233, 243, 286 ], [ 6, 43, 113, 140, 141, 181, 232, 242, 243, 287 ], [ 8, 9, 44, 114, 143, 182, 234, 235, 245, 288 ], [ 8, 45, 115, 142, 143, 183, 234, 244, 245, 289 ], [ 10, 11, 46, 116, 145, 184, 236, 237, 247, 290 ], [ 10, 47, 117, 144, 145, 185, 236, 246, 247, 291 ], [ 12, 13, 48, 118, 147, 186, 238, 239, 249, 292 ], [ 12, 49, 119, 146, 147, 187, 238, 248, 249, 293 ], [ 14, 15, 50, 80, 149, 188, 200, 201, 251, 294 ], [ 14, 51, 81, 148, 149, 189, 200, 250, 251, 295 ], [ 16, 17, 52, 82, 151, 190, 202, 203, 253, 296 ], [ 16, 53, 83, 150, 151, 191, 202, 252, 253, 297 ], [ 18, 19, 54, 84, 153, 192, 204, 205, 255, 298 ], [ 18, 55, 85, 152, 153, 193, 204, 254, 255, 299 ], [ 20, 21, 56, 86, 155, 194, 206, 207, 257, 300 ], [ 20, 57, 87, 154, 155, 195, 206, 256, 257, 301 ], [ 22, 23, 58, 88, 157, 196, 208, 209, 259, 302 ], [ 22, 59, 89, 156, 157, 197, 208, 258, 259, 303 ], [ 24, 25, 60, 90, 159, 198, 210, 211, 261, 304 ], [ 24, 61, 91, 158, 159, 199, 210, 260, 261, 305 ], [ 26, 27, 62, 92, 121, 160, 212, 213, 263, 306 ], [ 26, 63, 93, 120, 121, 161, 212, 262, 263, 307 ], [ 28, 29, 64, 94, 123, 162, 214, 215, 265, 308 ], [ 28, 65, 95, 122, 123, 163, 214, 264, 265, 309 ], [ 30, 31, 66, 96, 125, 164, 216, 217, 267, 310 ], [ 30, 67, 97, 124, 125, 165, 216, 266, 267, 311 ], [ 32, 33, 68, 98, 127, 166, 218, 219, 269, 312 ], [ 32, 69, 99, 126, 127, 167, 218, 268, 269, 313 ], [ 34, 35, 70, 100, 129, 168, 220, 221, 271, 314 ], [ 34, 71, 101, 128, 129, 169, 220, 270, 271, 315 ], [ 36, 37, 72, 102, 131, 170, 222, 223, 273, 316 ], [ 36, 73, 103, 130, 131, 171, 222, 272, 273, 317 ], [ 38, 39, 74, 104, 133, 172, 224, 225, 275, 318 ], [ 38, 75, 105, 132, 133, 173, 224, 274, 275, 319 ] ] }, "distance": { "d": 14, "X": { "value": 14, "confidence": "upper_bound", "witness": [ 0, 26, 27, 69, 86, 128, 135, 148, 161, 207, 251, 268, 270, 294 ] }, "Z": { "value": 14, "confidence": "upper_bound", "witness": [ 0, 28, 39, 64, 116, 117, 159, 160, 161, 225, 226, 237, 266, 309 ] } }, "provenance": { "authors": [ "Okada, Koki", "Kasai, Kenta" ], "construction": "CPM-PP pair-partition code (arXiv:2609.35601v1): J=3, L=8, P=20, Table 1 row 2; check matrices reconstructed from the published exponent arrays and F4 coefficient assignment, distances re-verified here", "origin": "baseline", "date": "2026-09-29", "model": "MiMo-V2.6-Flash", "novelty": "known_parameters", "references": [ "arXiv:2609.35601v1" ], "notes": "Reproduction of the Table 1 row 2 instance (P = 20) of arXiv:2609.35601v1 (Okada and Kasai), reconstructed from the published exponent arrays, F4 coefficient assignment and companion-matrix expansion. The reconstruction reproduces that paper's Table 2 invariants exactly: commuting CSS checks, rank 6P on each side (k = 4P = 80), quaternary and binary row weight 8 and 10, column weights 3 on 4P columns and 4 on 12P columns, girth 6 (quaternary) and 4 (binary). Equivalence to existing entries was checked on the base branch: no CSS entry is dominated by, or dominates, this one on (n, k, d, max check weight), and both this [[320,80,14]] and this (n,k) pair are new to codes/. Distance is re-verified here as a witness-backed upper bound (X = 14, Z = 14 from 20,000 RIS trials per side plus a 2,000,000-trial accelerator pass at seed 0); the paper claims the same value exact by exhaustive zero-syndrome search, which this repository does not certify at k = 80. The P = 20 row 1 instance [[320,80,13]] was reconstructed too and dropped: one instance per (n,k), and this one carries the higher d. Reconstructed by MiMo-V2.6-Flash; PR opened by @MathysRennela." }, "family": "pair-partition-cpm" }