{ "schema_version": "0.1", "name": "[[352,88,16]] CPM-PP pair-partition code", "code_type": "CSS", "n": 352, "k": 88, "checks": { "X": [ [ 0, 45, 88, 89, 132, 177, 220, 264, 308, 309 ], [ 1, 44, 45, 88, 133, 176, 177, 221, 265, 308 ], [ 2, 47, 90, 91, 134, 179, 222, 266, 310, 311 ], [ 3, 46, 47, 90, 135, 178, 179, 223, 267, 310 ], [ 4, 49, 92, 93, 136, 181, 224, 268, 312, 313 ], [ 5, 48, 49, 92, 137, 180, 181, 225, 269, 312 ], [ 6, 51, 94, 95, 138, 183, 226, 270, 314, 315 ], [ 7, 50, 51, 94, 139, 182, 183, 227, 271, 314 ], [ 8, 53, 96, 97, 140, 185, 228, 272, 316, 317 ], [ 9, 52, 53, 96, 141, 184, 185, 229, 273, 316 ], [ 10, 55, 98, 99, 142, 187, 230, 274, 318, 319 ], [ 11, 54, 55, 98, 143, 186, 187, 231, 275, 318 ], [ 12, 57, 100, 101, 144, 189, 232, 276, 320, 321 ], [ 13, 56, 57, 100, 145, 188, 189, 233, 277, 320 ], [ 14, 59, 102, 103, 146, 191, 234, 278, 322, 323 ], [ 15, 58, 59, 102, 147, 190, 191, 235, 279, 322 ], [ 16, 61, 104, 105, 148, 193, 236, 280, 324, 325 ], [ 17, 60, 61, 104, 149, 192, 193, 237, 281, 324 ], [ 18, 63, 106, 107, 150, 195, 238, 282, 326, 327 ], [ 19, 62, 63, 106, 151, 194, 195, 239, 283, 326 ], [ 20, 65, 108, 109, 152, 197, 240, 284, 328, 329 ], [ 21, 64, 65, 108, 153, 196, 197, 241, 285, 328 ], [ 22, 67, 110, 111, 154, 199, 242, 286, 330, 331 ], [ 23, 66, 67, 110, 155, 198, 199, 243, 287, 330 ], [ 24, 69, 112, 113, 156, 201, 244, 288, 332, 333 ], [ 25, 68, 69, 112, 157, 200, 201, 245, 289, 332 ], [ 26, 71, 114, 115, 158, 203, 246, 290, 334, 335 ], [ 27, 70, 71, 114, 159, 202, 203, 247, 291, 334 ], [ 28, 73, 116, 117, 160, 205, 248, 292, 336, 337 ], [ 29, 72, 73, 116, 161, 204, 205, 249, 293, 336 ], [ 30, 75, 118, 119, 162, 207, 250, 294, 338, 339 ], [ 31, 74, 75, 118, 163, 206, 207, 251, 295, 338 ], [ 32, 77, 120, 121, 164, 209, 252, 296, 340, 341 ], [ 33, 76, 77, 120, 165, 208, 209, 253, 297, 340 ], [ 34, 79, 122, 123, 166, 211, 254, 298, 342, 343 ], [ 35, 78, 79, 122, 167, 210, 211, 255, 299, 342 ], [ 36, 81, 124, 125, 168, 213, 256, 300, 344, 345 ], [ 37, 80, 81, 124, 169, 212, 213, 257, 301, 344 ], [ 38, 83, 126, 127, 170, 215, 258, 302, 346, 347 ], [ 39, 82, 83, 126, 171, 214, 215, 259, 303, 346 ], [ 40, 85, 128, 129, 172, 217, 260, 304, 348, 349 ], [ 41, 84, 85, 128, 173, 216, 217, 261, 305, 348 ], [ 42, 87, 130, 131, 174, 219, 262, 306, 350, 351 ], [ 43, 86, 87, 130, 175, 218, 219, 263, 307, 350 ], [ 1, 84, 114, 134, 135, 214, 263, 288, 289, 316 ], [ 0, 1, 85, 115, 134, 215, 262, 263, 288, 317 ], [ 3, 86, 116, 136, 137, 216, 221, 290, 291, 318 ], [ 2, 3, 87, 117, 136, 217, 220, 221, 290, 319 ], [ 5, 44, 118, 138, 139, 218, 223, 292, 293, 320 ], [ 4, 5, 45, 119, 138, 219, 222, 223, 292, 321 ], [ 7, 46, 120, 140, 141, 176, 225, 294, 295, 322 ], [ 6, 7, 47, 121, 140, 177, 224, 225, 294, 323 ], [ 9, 48, 122, 142, 143, 178, 227, 296, 297, 324 ], [ 8, 9, 49, 123, 142, 179, 226, 227, 296, 325 ], [ 11, 50, 124, 144, 145, 180, 229, 298, 299, 326 ], [ 10, 11, 51, 125, 144, 181, 228, 229, 298, 327 ], [ 13, 52, 126, 146, 147, 182, 231, 300, 301, 328 ], [ 12, 13, 53, 127, 146, 183, 230, 231, 300, 329 ], [ 15, 54, 128, 148, 149, 184, 233, 302, 303, 330 ], [ 14, 15, 55, 129, 148, 185, 232, 233, 302, 331 ], [ 17, 56, 130, 150, 151, 186, 235, 304, 305, 332 ], [ 16, 17, 57, 131, 150, 187, 234, 235, 304, 333 ], [ 19, 58, 88, 152, 153, 188, 237, 306, 307, 334 ], [ 18, 19, 59, 89, 152, 189, 236, 237, 306, 335 ], [ 21, 60, 90, 154, 155, 190, 239, 264, 265, 336 ], [ 20, 21, 61, 91, 154, 191, 238, 239, 264, 337 ], [ 23, 62, 92, 156, 157, 192, 241, 266, 267, 338 ], [ 22, 23, 63, 93, 156, 193, 240, 241, 266, 339 ], [ 25, 64, 94, 158, 159, 194, 243, 268, 269, 340 ], [ 24, 25, 65, 95, 158, 195, 242, 243, 268, 341 ], [ 27, 66, 96, 160, 161, 196, 245, 270, 271, 342 ], [ 26, 27, 67, 97, 160, 197, 244, 245, 270, 343 ], [ 29, 68, 98, 162, 163, 198, 247, 272, 273, 344 ], [ 28, 29, 69, 99, 162, 199, 246, 247, 272, 345 ], [ 31, 70, 100, 164, 165, 200, 249, 274, 275, 346 ], [ 30, 31, 71, 101, 164, 201, 248, 249, 274, 347 ], [ 33, 72, 102, 166, 167, 202, 251, 276, 277, 348 ], [ 32, 33, 73, 103, 166, 203, 250, 251, 276, 349 ], [ 35, 74, 104, 168, 169, 204, 253, 278, 279, 350 ], [ 34, 35, 75, 105, 168, 205, 252, 253, 278, 351 ], [ 37, 76, 106, 170, 171, 206, 255, 280, 281, 308 ], [ 36, 37, 77, 107, 170, 207, 254, 255, 280, 309 ], [ 39, 78, 108, 172, 173, 208, 257, 282, 283, 310 ], [ 38, 39, 79, 109, 172, 209, 256, 257, 282, 311 ], [ 41, 80, 110, 174, 175, 210, 259, 284, 285, 312 ], [ 40, 41, 81, 111, 174, 211, 258, 259, 284, 313 ], [ 43, 82, 112, 132, 133, 212, 261, 286, 287, 314 ], [ 42, 43, 83, 113, 132, 213, 260, 261, 286, 315 ], [ 0, 1, 58, 128, 171, 204, 226, 227, 269, 318 ], [ 0, 59, 129, 170, 171, 205, 226, 268, 269, 319 ], [ 2, 3, 60, 130, 173, 206, 228, 229, 271, 320 ], [ 2, 61, 131, 172, 173, 207, 228, 270, 271, 321 ], [ 4, 5, 62, 88, 175, 208, 230, 231, 273, 322 ], [ 4, 63, 89, 174, 175, 209, 230, 272, 273, 323 ], [ 6, 7, 64, 90, 133, 210, 232, 233, 275, 324 ], [ 6, 65, 91, 132, 133, 211, 232, 274, 275, 325 ], [ 8, 9, 66, 92, 135, 212, 234, 235, 277, 326 ], [ 8, 67, 93, 134, 135, 213, 234, 276, 277, 327 ], [ 10, 11, 68, 94, 137, 214, 236, 237, 279, 328 ], [ 10, 69, 95, 136, 137, 215, 236, 278, 279, 329 ], [ 12, 13, 70, 96, 139, 216, 238, 239, 281, 330 ], [ 12, 71, 97, 138, 139, 217, 238, 280, 281, 331 ], [ 14, 15, 72, 98, 141, 218, 240, 241, 283, 332 ], [ 14, 73, 99, 140, 141, 219, 240, 282, 283, 333 ], [ 16, 17, 74, 100, 143, 176, 242, 243, 285, 334 ], [ 16, 75, 101, 142, 143, 177, 242, 284, 285, 335 ], [ 18, 19, 76, 102, 145, 178, 244, 245, 287, 336 ], [ 18, 77, 103, 144, 145, 179, 244, 286, 287, 337 ], [ 20, 21, 78, 104, 147, 180, 246, 247, 289, 338 ], [ 20, 79, 105, 146, 147, 181, 246, 288, 289, 339 ], [ 22, 23, 80, 106, 149, 182, 248, 249, 291, 340 ], [ 22, 81, 107, 148, 149, 183, 248, 290, 291, 341 ], [ 24, 25, 82, 108, 151, 184, 250, 251, 293, 342 ], [ 24, 83, 109, 150, 151, 185, 250, 292, 293, 343 ], [ 26, 27, 84, 110, 153, 186, 252, 253, 295, 344 ], [ 26, 85, 111, 152, 153, 187, 252, 294, 295, 345 ], [ 28, 29, 86, 112, 155, 188, 254, 255, 297, 346 ], [ 28, 87, 113, 154, 155, 189, 254, 296, 297, 347 ], [ 30, 31, 44, 114, 157, 190, 256, 257, 299, 348 ], [ 30, 45, 115, 156, 157, 191, 256, 298, 299, 349 ], [ 32, 33, 46, 116, 159, 192, 258, 259, 301, 350 ], [ 32, 47, 117, 158, 159, 193, 258, 300, 301, 351 ], [ 34, 35, 48, 118, 161, 194, 260, 261, 303, 308 ], [ 34, 49, 119, 160, 161, 195, 260, 302, 303, 309 ], [ 36, 37, 50, 120, 163, 196, 262, 263, 305, 310 ], [ 36, 51, 121, 162, 163, 197, 262, 304, 305, 311 ], [ 38, 39, 52, 122, 165, 198, 220, 221, 307, 312 ], [ 38, 53, 123, 164, 165, 199, 220, 306, 307, 313 ], [ 40, 41, 54, 124, 167, 200, 222, 223, 265, 314 ], [ 40, 55, 125, 166, 167, 201, 222, 264, 265, 315 ], [ 42, 43, 56, 126, 169, 202, 224, 225, 267, 316 ], [ 42, 57, 127, 168, 169, 203, 224, 266, 267, 317 ] ], "Z": [ [ 0, 52, 53, 117, 168, 204, 205, 220, 300, 317 ], [ 1, 52, 116, 117, 169, 204, 221, 301, 316, 317 ], [ 2, 54, 55, 119, 170, 206, 207, 222, 302, 319 ], [ 3, 54, 118, 119, 171, 206, 223, 303, 318, 319 ], [ 4, 56, 57, 121, 172, 208, 209, 224, 304, 321 ], [ 5, 56, 120, 121, 173, 208, 225, 305, 320, 321 ], [ 6, 58, 59, 123, 174, 210, 211, 226, 306, 323 ], [ 7, 58, 122, 123, 175, 210, 227, 307, 322, 323 ], [ 8, 60, 61, 125, 132, 212, 213, 228, 264, 325 ], [ 9, 60, 124, 125, 133, 212, 229, 265, 324, 325 ], [ 10, 62, 63, 127, 134, 214, 215, 230, 266, 327 ], [ 11, 62, 126, 127, 135, 214, 231, 267, 326, 327 ], [ 12, 64, 65, 129, 136, 216, 217, 232, 268, 329 ], [ 13, 64, 128, 129, 137, 216, 233, 269, 328, 329 ], [ 14, 66, 67, 131, 138, 218, 219, 234, 270, 331 ], [ 15, 66, 130, 131, 139, 218, 235, 271, 330, 331 ], [ 16, 68, 69, 89, 140, 176, 177, 236, 272, 333 ], [ 17, 68, 88, 89, 141, 176, 237, 273, 332, 333 ], [ 18, 70, 71, 91, 142, 178, 179, 238, 274, 335 ], [ 19, 70, 90, 91, 143, 178, 239, 275, 334, 335 ], [ 20, 72, 73, 93, 144, 180, 181, 240, 276, 337 ], [ 21, 72, 92, 93, 145, 180, 241, 277, 336, 337 ], [ 22, 74, 75, 95, 146, 182, 183, 242, 278, 339 ], [ 23, 74, 94, 95, 147, 182, 243, 279, 338, 339 ], [ 24, 76, 77, 97, 148, 184, 185, 244, 280, 341 ], [ 25, 76, 96, 97, 149, 184, 245, 281, 340, 341 ], [ 26, 78, 79, 99, 150, 186, 187, 246, 282, 343 ], [ 27, 78, 98, 99, 151, 186, 247, 283, 342, 343 ], [ 28, 80, 81, 101, 152, 188, 189, 248, 284, 345 ], [ 29, 80, 100, 101, 153, 188, 249, 285, 344, 345 ], [ 30, 82, 83, 103, 154, 190, 191, 250, 286, 347 ], [ 31, 82, 102, 103, 155, 190, 251, 287, 346, 347 ], [ 32, 84, 85, 105, 156, 192, 193, 252, 288, 349 ], [ 33, 84, 104, 105, 157, 192, 253, 289, 348, 349 ], [ 34, 86, 87, 107, 158, 194, 195, 254, 290, 351 ], [ 35, 86, 106, 107, 159, 194, 255, 291, 350, 351 ], [ 36, 44, 45, 109, 160, 196, 197, 256, 292, 309 ], [ 37, 44, 108, 109, 161, 196, 257, 293, 308, 309 ], [ 38, 46, 47, 111, 162, 198, 199, 258, 294, 311 ], [ 39, 46, 110, 111, 163, 198, 259, 295, 310, 311 ], [ 40, 48, 49, 113, 164, 200, 201, 260, 296, 313 ], [ 41, 48, 112, 113, 165, 200, 261, 297, 312, 313 ], [ 42, 50, 51, 115, 166, 202, 203, 262, 298, 315 ], [ 43, 50, 114, 115, 167, 202, 263, 299, 314, 315 ], [ 1, 86, 120, 142, 143, 176, 263, 296, 297, 318 ], [ 0, 1, 87, 121, 142, 177, 262, 263, 296, 319 ], [ 3, 44, 122, 144, 145, 178, 221, 298, 299, 320 ], [ 2, 3, 45, 123, 144, 179, 220, 221, 298, 321 ], [ 5, 46, 124, 146, 147, 180, 223, 300, 301, 322 ], [ 4, 5, 47, 125, 146, 181, 222, 223, 300, 323 ], [ 7, 48, 126, 148, 149, 182, 225, 302, 303, 324 ], [ 6, 7, 49, 127, 148, 183, 224, 225, 302, 325 ], [ 9, 50, 128, 150, 151, 184, 227, 304, 305, 326 ], [ 8, 9, 51, 129, 150, 185, 226, 227, 304, 327 ], [ 11, 52, 130, 152, 153, 186, 229, 306, 307, 328 ], [ 10, 11, 53, 131, 152, 187, 228, 229, 306, 329 ], [ 13, 54, 88, 154, 155, 188, 231, 264, 265, 330 ], [ 12, 13, 55, 89, 154, 189, 230, 231, 264, 331 ], [ 15, 56, 90, 156, 157, 190, 233, 266, 267, 332 ], [ 14, 15, 57, 91, 156, 191, 232, 233, 266, 333 ], [ 17, 58, 92, 158, 159, 192, 235, 268, 269, 334 ], [ 16, 17, 59, 93, 158, 193, 234, 235, 268, 335 ], [ 19, 60, 94, 160, 161, 194, 237, 270, 271, 336 ], [ 18, 19, 61, 95, 160, 195, 236, 237, 270, 337 ], [ 21, 62, 96, 162, 163, 196, 239, 272, 273, 338 ], [ 20, 21, 63, 97, 162, 197, 238, 239, 272, 339 ], [ 23, 64, 98, 164, 165, 198, 241, 274, 275, 340 ], [ 22, 23, 65, 99, 164, 199, 240, 241, 274, 341 ], [ 25, 66, 100, 166, 167, 200, 243, 276, 277, 342 ], [ 24, 25, 67, 101, 166, 201, 242, 243, 276, 343 ], [ 27, 68, 102, 168, 169, 202, 245, 278, 279, 344 ], [ 26, 27, 69, 103, 168, 203, 244, 245, 278, 345 ], [ 29, 70, 104, 170, 171, 204, 247, 280, 281, 346 ], [ 28, 29, 71, 105, 170, 205, 246, 247, 280, 347 ], [ 31, 72, 106, 172, 173, 206, 249, 282, 283, 348 ], [ 30, 31, 73, 107, 172, 207, 248, 249, 282, 349 ], [ 33, 74, 108, 174, 175, 208, 251, 284, 285, 350 ], [ 32, 33, 75, 109, 174, 209, 250, 251, 284, 351 ], [ 35, 76, 110, 132, 133, 210, 253, 286, 287, 308 ], [ 34, 35, 77, 111, 132, 211, 252, 253, 286, 309 ], [ 37, 78, 112, 134, 135, 212, 255, 288, 289, 310 ], [ 36, 37, 79, 113, 134, 213, 254, 255, 288, 311 ], [ 39, 80, 114, 136, 137, 214, 257, 290, 291, 312 ], [ 38, 39, 81, 115, 136, 215, 256, 257, 290, 313 ], [ 41, 82, 116, 138, 139, 216, 259, 292, 293, 314 ], [ 40, 41, 83, 117, 138, 217, 258, 259, 292, 315 ], [ 43, 84, 118, 140, 141, 218, 261, 294, 295, 316 ], [ 42, 43, 85, 119, 140, 219, 260, 261, 294, 317 ], [ 0, 1, 48, 94, 171, 214, 226, 227, 269, 308 ], [ 0, 49, 95, 170, 171, 215, 226, 268, 269, 309 ], [ 2, 3, 50, 96, 173, 216, 228, 229, 271, 310 ], [ 2, 51, 97, 172, 173, 217, 228, 270, 271, 311 ], [ 4, 5, 52, 98, 175, 218, 230, 231, 273, 312 ], [ 4, 53, 99, 174, 175, 219, 230, 272, 273, 313 ], [ 6, 7, 54, 100, 133, 176, 232, 233, 275, 314 ], [ 6, 55, 101, 132, 133, 177, 232, 274, 275, 315 ], [ 8, 9, 56, 102, 135, 178, 234, 235, 277, 316 ], [ 8, 57, 103, 134, 135, 179, 234, 276, 277, 317 ], [ 10, 11, 58, 104, 137, 180, 236, 237, 279, 318 ], [ 10, 59, 105, 136, 137, 181, 236, 278, 279, 319 ], [ 12, 13, 60, 106, 139, 182, 238, 239, 281, 320 ], [ 12, 61, 107, 138, 139, 183, 238, 280, 281, 321 ], [ 14, 15, 62, 108, 141, 184, 240, 241, 283, 322 ], [ 14, 63, 109, 140, 141, 185, 240, 282, 283, 323 ], [ 16, 17, 64, 110, 143, 186, 242, 243, 285, 324 ], [ 16, 65, 111, 142, 143, 187, 242, 284, 285, 325 ], [ 18, 19, 66, 112, 145, 188, 244, 245, 287, 326 ], [ 18, 67, 113, 144, 145, 189, 244, 286, 287, 327 ], [ 20, 21, 68, 114, 147, 190, 246, 247, 289, 328 ], [ 20, 69, 115, 146, 147, 191, 246, 288, 289, 329 ], [ 22, 23, 70, 116, 149, 192, 248, 249, 291, 330 ], [ 22, 71, 117, 148, 149, 193, 248, 290, 291, 331 ], [ 24, 25, 72, 118, 151, 194, 250, 251, 293, 332 ], [ 24, 73, 119, 150, 151, 195, 250, 292, 293, 333 ], [ 26, 27, 74, 120, 153, 196, 252, 253, 295, 334 ], [ 26, 75, 121, 152, 153, 197, 252, 294, 295, 335 ], [ 28, 29, 76, 122, 155, 198, 254, 255, 297, 336 ], [ 28, 77, 123, 154, 155, 199, 254, 296, 297, 337 ], [ 30, 31, 78, 124, 157, 200, 256, 257, 299, 338 ], [ 30, 79, 125, 156, 157, 201, 256, 298, 299, 339 ], [ 32, 33, 80, 126, 159, 202, 258, 259, 301, 340 ], [ 32, 81, 127, 158, 159, 203, 258, 300, 301, 341 ], [ 34, 35, 82, 128, 161, 204, 260, 261, 303, 342 ], [ 34, 83, 129, 160, 161, 205, 260, 302, 303, 343 ], [ 36, 37, 84, 130, 163, 206, 262, 263, 305, 344 ], [ 36, 85, 131, 162, 163, 207, 262, 304, 305, 345 ], [ 38, 39, 86, 88, 165, 208, 220, 221, 307, 346 ], [ 38, 87, 89, 164, 165, 209, 220, 306, 307, 347 ], [ 40, 41, 44, 90, 167, 210, 222, 223, 265, 348 ], [ 40, 45, 91, 166, 167, 211, 222, 264, 265, 349 ], [ 42, 43, 46, 92, 169, 212, 224, 225, 267, 350 ], [ 42, 47, 93, 168, 169, 213, 224, 266, 267, 351 ] ] }, "distance": { "d": 16, "X": { "value": 16, "confidence": "upper_bound", "witness": [ 40, 41, 45, 54, 73, 119, 144, 189, 219, 248, 256, 299, 313, 314, 330, 331 ] }, "Z": { "value": 16, "confidence": "upper_bound", "witness": [ 6, 42, 64, 65, 80, 83, 95, 109, 169, 209, 258, 259, 278, 323, 340, 351 ] } }, "provenance": { "authors": [ "Okada, Koki", "Kasai, Kenta" ], "construction": "CPM-PP pair-partition code (arXiv:2609.35601v1): J=3, L=8, P=22, Table 1 row 4; 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 4 instance (P = 22) 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 = 88), 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 [[352,88,16]] and this (n,k) pair are new to codes/. Distance is re-verified here as a witness-backed upper bound (X = 16, Z = 16 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 = 88. The P = 22 row 3 instance [[352,88,15]] 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" }