{ "schema_version": "0.1", "name": "[[432,112,14]]", "code_type": "CSS", "n": 432, "k": 112, "checks": { "X": [ [ 30, 96, 116, 188, 257, 291, 333, 397 ], [ 31, 97, 114, 186, 256, 293, 335, 398 ], [ 32, 98, 115, 187, 255, 292, 334, 396 ], [ 33, 99, 119, 191, 254, 288, 330, 400 ], [ 34, 100, 117, 189, 253, 290, 332, 401 ], [ 35, 101, 118, 190, 252, 289, 331, 399 ], [ 18, 102, 122, 194, 263, 297, 339, 403 ], [ 19, 103, 120, 192, 262, 299, 341, 404 ], [ 20, 104, 121, 193, 261, 298, 340, 402 ], [ 21, 105, 125, 197, 260, 294, 336, 406 ], [ 22, 106, 123, 195, 259, 296, 338, 407 ], [ 23, 107, 124, 196, 258, 295, 337, 405 ], [ 24, 90, 110, 182, 269, 303, 327, 409 ], [ 25, 91, 108, 180, 268, 305, 329, 410 ], [ 26, 92, 109, 181, 267, 304, 328, 408 ], [ 27, 93, 113, 185, 266, 300, 324, 412 ], [ 28, 94, 111, 183, 265, 302, 326, 413 ], [ 29, 95, 112, 184, 264, 301, 325, 411 ], [ 48, 60, 134, 206, 221, 309, 351, 415 ], [ 49, 61, 132, 204, 220, 311, 353, 416 ], [ 50, 62, 133, 205, 219, 310, 352, 414 ], [ 51, 63, 137, 209, 218, 306, 348, 418 ], [ 52, 64, 135, 207, 217, 308, 350, 419 ], [ 53, 65, 136, 208, 216, 307, 349, 417 ], [ 36, 66, 140, 212, 227, 315, 357, 421 ], [ 37, 67, 138, 210, 226, 317, 359, 422 ], [ 38, 68, 139, 211, 225, 316, 358, 420 ], [ 39, 69, 143, 215, 224, 312, 354, 424 ], [ 40, 70, 141, 213, 223, 314, 356, 425 ], [ 41, 71, 142, 214, 222, 313, 355, 423 ], [ 42, 54, 128, 200, 233, 321, 345, 427 ], [ 43, 55, 126, 198, 232, 323, 347, 428 ], [ 44, 56, 127, 199, 231, 322, 346, 426 ], [ 45, 57, 131, 203, 230, 318, 342, 430 ], [ 46, 58, 129, 201, 229, 320, 344, 431 ], [ 47, 59, 130, 202, 228, 319, 343, 429 ], [ 12, 78, 152, 170, 239, 273, 369, 379 ], [ 13, 79, 150, 168, 238, 275, 371, 380 ], [ 14, 80, 151, 169, 237, 274, 370, 378 ], [ 15, 81, 155, 173, 236, 270, 366, 382 ], [ 16, 82, 153, 171, 235, 272, 368, 383 ], [ 17, 83, 154, 172, 234, 271, 367, 381 ], [ 0, 84, 158, 176, 245, 279, 375, 385 ], [ 1, 85, 156, 174, 244, 281, 377, 386 ], [ 2, 86, 157, 175, 243, 280, 376, 384 ], [ 3, 87, 161, 179, 242, 276, 372, 388 ], [ 4, 88, 159, 177, 241, 278, 374, 389 ], [ 5, 89, 160, 178, 240, 277, 373, 387 ], [ 6, 72, 146, 164, 251, 285, 363, 391 ], [ 7, 73, 144, 162, 250, 287, 365, 392 ], [ 8, 74, 145, 163, 249, 286, 364, 390 ], [ 9, 75, 149, 167, 248, 282, 360, 394 ], [ 10, 76, 147, 165, 247, 284, 362, 395 ], [ 11, 77, 148, 166, 246, 283, 361, 393 ], [ 45, 86, 160, 207, 221, 293, 371, 400 ], [ 47, 84, 159, 209, 220, 292, 370, 399 ], [ 46, 85, 161, 208, 219, 291, 369, 401 ], [ 42, 89, 157, 204, 218, 290, 368, 397 ], [ 44, 87, 156, 206, 217, 289, 367, 396 ], [ 43, 88, 158, 205, 216, 288, 366, 398 ], [ 51, 74, 148, 213, 227, 299, 377, 406 ], [ 53, 72, 147, 215, 226, 298, 376, 405 ], [ 52, 73, 149, 214, 225, 297, 375, 407 ], [ 48, 77, 145, 210, 224, 296, 374, 403 ], [ 50, 75, 144, 212, 223, 295, 373, 402 ], [ 49, 76, 146, 211, 222, 294, 372, 404 ], [ 39, 80, 154, 201, 233, 305, 365, 412 ], [ 41, 78, 153, 203, 232, 304, 364, 411 ], [ 40, 79, 155, 202, 231, 303, 363, 413 ], [ 36, 83, 151, 198, 230, 302, 362, 409 ], [ 38, 81, 150, 200, 229, 301, 361, 408 ], [ 37, 82, 152, 199, 228, 300, 360, 410 ], [ 9, 104, 124, 171, 239, 311, 335, 418 ], [ 11, 102, 123, 173, 238, 310, 334, 417 ], [ 10, 103, 125, 172, 237, 309, 333, 419 ], [ 6, 107, 121, 168, 236, 308, 332, 415 ], [ 8, 105, 120, 170, 235, 307, 331, 414 ], [ 7, 106, 122, 169, 234, 306, 330, 416 ], [ 15, 92, 112, 177, 245, 317, 341, 424 ], [ 17, 90, 111, 179, 244, 316, 340, 423 ], [ 16, 91, 113, 178, 243, 315, 339, 425 ], [ 12, 95, 109, 174, 242, 314, 338, 421 ], [ 14, 93, 108, 176, 241, 313, 337, 420 ], [ 13, 94, 110, 175, 240, 312, 336, 422 ], [ 3, 98, 118, 165, 251, 323, 329, 430 ], [ 5, 96, 117, 167, 250, 322, 328, 429 ], [ 4, 97, 119, 166, 249, 321, 327, 431 ], [ 0, 101, 115, 162, 248, 320, 326, 427 ], [ 2, 99, 114, 164, 247, 319, 325, 426 ], [ 1, 100, 116, 163, 246, 318, 324, 428 ], [ 27, 68, 142, 189, 257, 275, 353, 382 ], [ 29, 66, 141, 191, 256, 274, 352, 381 ], [ 28, 67, 143, 190, 255, 273, 351, 383 ], [ 24, 71, 139, 186, 254, 272, 350, 379 ], [ 26, 69, 138, 188, 253, 271, 349, 378 ], [ 25, 70, 140, 187, 252, 270, 348, 380 ], [ 33, 56, 130, 195, 263, 281, 359, 388 ], [ 35, 54, 129, 197, 262, 280, 358, 387 ], [ 34, 55, 131, 196, 261, 279, 357, 389 ], [ 30, 59, 127, 192, 260, 278, 356, 385 ], [ 32, 57, 126, 194, 259, 277, 355, 384 ], [ 31, 58, 128, 193, 258, 276, 354, 386 ], [ 21, 62, 136, 183, 269, 287, 347, 394 ], [ 23, 60, 135, 185, 268, 286, 346, 393 ], [ 22, 61, 137, 184, 267, 285, 345, 395 ], [ 18, 65, 133, 180, 266, 284, 344, 391 ], [ 20, 63, 132, 182, 265, 283, 343, 390 ], [ 19, 64, 134, 181, 264, 282, 342, 392 ], [ 14, 59, 119, 203, 246, 287, 353, 384 ], [ 12, 58, 118, 202, 247, 286, 352, 385 ], [ 13, 57, 117, 201, 248, 285, 351, 386 ], [ 17, 56, 116, 200, 249, 284, 350, 387 ], [ 15, 55, 115, 199, 250, 283, 349, 388 ], [ 16, 54, 114, 198, 251, 282, 348, 389 ], [ 2, 65, 125, 209, 234, 275, 359, 390 ], [ 0, 64, 124, 208, 235, 274, 358, 391 ], [ 1, 63, 123, 207, 236, 273, 357, 392 ], [ 5, 62, 122, 206, 237, 272, 356, 393 ], [ 3, 61, 121, 205, 238, 271, 355, 394 ], [ 4, 60, 120, 204, 239, 270, 354, 395 ], [ 8, 71, 113, 215, 240, 281, 347, 378 ], [ 6, 70, 112, 214, 241, 280, 346, 379 ], [ 7, 69, 111, 213, 242, 279, 345, 380 ], [ 11, 68, 110, 212, 243, 278, 344, 381 ], [ 9, 67, 109, 211, 244, 277, 343, 382 ], [ 10, 66, 108, 210, 245, 276, 342, 383 ], [ 32, 77, 137, 167, 264, 305, 371, 402 ], [ 30, 76, 136, 166, 265, 304, 370, 403 ], [ 31, 75, 135, 165, 266, 303, 369, 404 ], [ 35, 74, 134, 164, 267, 302, 368, 405 ], [ 33, 73, 133, 163, 268, 301, 367, 406 ], [ 34, 72, 132, 162, 269, 300, 366, 407 ], [ 20, 83, 143, 173, 252, 293, 377, 408 ], [ 18, 82, 142, 172, 253, 292, 376, 409 ], [ 19, 81, 141, 171, 254, 291, 375, 410 ], [ 23, 80, 140, 170, 255, 290, 374, 411 ], [ 21, 79, 139, 169, 256, 289, 373, 412 ], [ 22, 78, 138, 168, 257, 288, 372, 413 ], [ 26, 89, 131, 179, 258, 299, 365, 396 ], [ 24, 88, 130, 178, 259, 298, 364, 397 ], [ 25, 87, 129, 177, 260, 297, 363, 398 ], [ 29, 86, 128, 176, 261, 296, 362, 399 ], [ 27, 85, 127, 175, 262, 295, 361, 400 ], [ 28, 84, 126, 174, 263, 294, 360, 401 ], [ 50, 95, 155, 185, 228, 323, 335, 420 ], [ 48, 94, 154, 184, 229, 322, 334, 421 ], [ 49, 93, 153, 183, 230, 321, 333, 422 ], [ 53, 92, 152, 182, 231, 320, 332, 423 ], [ 51, 91, 151, 181, 232, 319, 331, 424 ], [ 52, 90, 150, 180, 233, 318, 330, 425 ], [ 38, 101, 161, 191, 216, 311, 341, 426 ], [ 36, 100, 160, 190, 217, 310, 340, 427 ], [ 37, 99, 159, 189, 218, 309, 339, 428 ], [ 41, 98, 158, 188, 219, 308, 338, 429 ], [ 39, 97, 157, 187, 220, 307, 337, 430 ], [ 40, 96, 156, 186, 221, 306, 336, 431 ], [ 44, 107, 149, 197, 222, 317, 329, 414 ], [ 42, 106, 148, 196, 223, 316, 328, 415 ], [ 43, 105, 147, 195, 224, 315, 327, 416 ], [ 47, 104, 146, 194, 225, 314, 326, 417 ], [ 45, 103, 145, 193, 226, 313, 325, 418 ], [ 46, 102, 144, 192, 227, 312, 324, 419 ] ], "Z": [ [ 11, 68, 148, 173, 244, 316, 377, 382 ], [ 10, 66, 147, 172, 243, 315, 376, 381 ], [ 9, 67, 149, 171, 245, 317, 375, 383 ], [ 8, 71, 145, 170, 241, 313, 374, 379 ], [ 7, 69, 144, 169, 240, 312, 373, 378 ], [ 6, 70, 146, 168, 242, 314, 372, 380 ], [ 17, 56, 154, 179, 250, 322, 365, 388 ], [ 16, 54, 153, 178, 249, 321, 364, 387 ], [ 15, 55, 155, 177, 251, 323, 363, 389 ], [ 14, 59, 151, 176, 247, 319, 362, 385 ], [ 13, 57, 150, 175, 246, 318, 361, 384 ], [ 12, 58, 152, 174, 248, 320, 360, 386 ], [ 5, 62, 160, 167, 238, 310, 371, 394 ], [ 4, 60, 159, 166, 237, 309, 370, 393 ], [ 3, 61, 161, 165, 239, 311, 369, 395 ], [ 2, 65, 157, 164, 235, 307, 368, 391 ], [ 1, 63, 156, 163, 234, 306, 367, 390 ], [ 0, 64, 158, 162, 236, 308, 366, 392 ], [ 29, 86, 112, 191, 262, 280, 341, 400 ], [ 28, 84, 111, 190, 261, 279, 340, 399 ], [ 27, 85, 113, 189, 263, 281, 339, 401 ], [ 26, 89, 109, 188, 259, 277, 338, 397 ], [ 25, 87, 108, 187, 258, 276, 337, 396 ], [ 24, 88, 110, 186, 260, 278, 336, 398 ], [ 35, 74, 118, 197, 268, 286, 329, 406 ], [ 34, 72, 117, 196, 267, 285, 328, 405 ], [ 33, 73, 119, 195, 269, 287, 327, 407 ], [ 32, 77, 115, 194, 265, 283, 326, 403 ], [ 31, 75, 114, 193, 264, 282, 325, 402 ], [ 30, 76, 116, 192, 266, 284, 324, 404 ], [ 23, 80, 124, 185, 256, 274, 335, 412 ], [ 22, 78, 123, 184, 255, 273, 334, 411 ], [ 21, 79, 125, 183, 257, 275, 333, 413 ], [ 20, 83, 121, 182, 253, 271, 332, 409 ], [ 19, 81, 120, 181, 252, 270, 331, 408 ], [ 18, 82, 122, 180, 254, 272, 330, 410 ], [ 47, 104, 130, 209, 226, 298, 359, 418 ], [ 46, 102, 129, 208, 225, 297, 358, 417 ], [ 45, 103, 131, 207, 227, 299, 357, 419 ], [ 44, 107, 127, 206, 223, 295, 356, 415 ], [ 43, 105, 126, 205, 222, 294, 355, 414 ], [ 42, 106, 128, 204, 224, 296, 354, 416 ], [ 53, 92, 136, 215, 232, 304, 347, 424 ], [ 52, 90, 135, 214, 231, 303, 346, 423 ], [ 51, 91, 137, 213, 233, 305, 345, 425 ], [ 50, 95, 133, 212, 229, 301, 344, 421 ], [ 49, 93, 132, 211, 228, 300, 343, 420 ], [ 48, 94, 134, 210, 230, 302, 342, 422 ], [ 41, 98, 142, 203, 220, 292, 353, 430 ], [ 40, 96, 141, 202, 219, 291, 352, 429 ], [ 39, 97, 143, 201, 221, 293, 351, 431 ], [ 38, 101, 139, 200, 217, 289, 350, 427 ], [ 37, 99, 138, 199, 216, 288, 349, 426 ], [ 36, 100, 140, 198, 218, 290, 348, 428 ], [ 13, 79, 110, 201, 266, 303, 344, 412 ], [ 14, 80, 108, 203, 264, 305, 342, 411 ], [ 12, 78, 109, 202, 265, 304, 343, 413 ], [ 16, 82, 113, 198, 269, 300, 347, 409 ], [ 17, 83, 111, 200, 267, 302, 345, 408 ], [ 15, 81, 112, 199, 268, 301, 346, 410 ], [ 1, 85, 116, 207, 254, 291, 350, 400 ], [ 2, 86, 114, 209, 252, 293, 348, 399 ], [ 0, 84, 115, 208, 253, 292, 349, 401 ], [ 4, 88, 119, 204, 257, 288, 353, 397 ], [ 5, 89, 117, 206, 255, 290, 351, 396 ], [ 3, 87, 118, 205, 256, 289, 352, 398 ], [ 7, 73, 122, 213, 260, 297, 356, 406 ], [ 8, 74, 120, 215, 258, 299, 354, 405 ], [ 6, 72, 121, 214, 259, 298, 355, 407 ], [ 10, 76, 125, 210, 263, 294, 359, 403 ], [ 11, 77, 123, 212, 261, 296, 357, 402 ], [ 9, 75, 124, 211, 262, 295, 358, 404 ], [ 31, 97, 128, 165, 230, 321, 362, 430 ], [ 32, 98, 126, 167, 228, 323, 360, 429 ], [ 30, 96, 127, 166, 229, 322, 361, 431 ], [ 34, 100, 131, 162, 233, 318, 365, 427 ], [ 35, 101, 129, 164, 231, 320, 363, 426 ], [ 33, 99, 130, 163, 232, 319, 364, 428 ], [ 19, 103, 134, 171, 218, 309, 368, 418 ], [ 20, 104, 132, 173, 216, 311, 366, 417 ], [ 18, 102, 133, 172, 217, 310, 367, 419 ], [ 22, 106, 137, 168, 221, 306, 371, 415 ], [ 23, 107, 135, 170, 219, 308, 369, 414 ], [ 21, 105, 136, 169, 220, 307, 370, 416 ], [ 25, 91, 140, 177, 224, 315, 374, 424 ], [ 26, 92, 138, 179, 222, 317, 372, 423 ], [ 24, 90, 139, 178, 223, 316, 373, 425 ], [ 28, 94, 143, 174, 227, 312, 377, 421 ], [ 29, 95, 141, 176, 225, 314, 375, 420 ], [ 27, 93, 142, 175, 226, 313, 376, 422 ], [ 49, 61, 146, 183, 248, 285, 326, 394 ], [ 50, 62, 144, 185, 246, 287, 324, 393 ], [ 48, 60, 145, 184, 247, 286, 325, 395 ], [ 52, 64, 149, 180, 251, 282, 329, 391 ], [ 53, 65, 147, 182, 249, 284, 327, 390 ], [ 51, 63, 148, 181, 250, 283, 328, 392 ], [ 37, 67, 152, 189, 236, 273, 332, 382 ], [ 38, 68, 150, 191, 234, 275, 330, 381 ], [ 36, 66, 151, 190, 235, 274, 331, 383 ], [ 40, 70, 155, 186, 239, 270, 335, 379 ], [ 41, 71, 153, 188, 237, 272, 333, 378 ], [ 39, 69, 154, 187, 238, 271, 334, 380 ], [ 43, 55, 158, 195, 242, 279, 338, 388 ], [ 44, 56, 156, 197, 240, 281, 336, 387 ], [ 42, 54, 157, 196, 241, 280, 337, 389 ], [ 46, 58, 161, 192, 245, 276, 341, 385 ], [ 47, 59, 159, 194, 243, 278, 339, 384 ], [ 45, 57, 160, 193, 244, 277, 340, 386 ], [ 32, 57, 137, 187, 251, 285, 348, 430 ], [ 30, 59, 136, 188, 250, 287, 349, 429 ], [ 31, 58, 135, 186, 249, 286, 350, 431 ], [ 35, 54, 134, 190, 248, 282, 351, 427 ], [ 33, 56, 133, 191, 247, 284, 352, 426 ], [ 34, 55, 132, 189, 246, 283, 353, 428 ], [ 20, 63, 143, 193, 239, 273, 354, 418 ], [ 18, 65, 142, 194, 238, 275, 355, 417 ], [ 19, 64, 141, 192, 237, 274, 356, 419 ], [ 23, 60, 140, 196, 236, 270, 357, 415 ], [ 21, 62, 139, 197, 235, 272, 358, 414 ], [ 22, 61, 138, 195, 234, 271, 359, 416 ], [ 26, 69, 131, 181, 245, 279, 342, 424 ], [ 24, 71, 130, 182, 244, 281, 343, 423 ], [ 25, 70, 129, 180, 243, 280, 344, 425 ], [ 29, 66, 128, 184, 242, 276, 345, 421 ], [ 27, 68, 127, 185, 241, 278, 346, 420 ], [ 28, 67, 126, 183, 240, 277, 347, 422 ], [ 50, 75, 155, 205, 269, 303, 366, 394 ], [ 48, 77, 154, 206, 268, 305, 367, 393 ], [ 49, 76, 153, 204, 267, 304, 368, 395 ], [ 53, 72, 152, 208, 266, 300, 369, 391 ], [ 51, 74, 151, 209, 265, 302, 370, 390 ], [ 52, 73, 150, 207, 264, 301, 371, 392 ], [ 38, 81, 161, 211, 257, 291, 372, 382 ], [ 36, 83, 160, 212, 256, 293, 373, 381 ], [ 37, 82, 159, 210, 255, 292, 374, 383 ], [ 41, 78, 158, 214, 254, 288, 375, 379 ], [ 39, 80, 157, 215, 253, 290, 376, 378 ], [ 40, 79, 156, 213, 252, 289, 377, 380 ], [ 44, 87, 149, 199, 263, 297, 360, 388 ], [ 42, 89, 148, 200, 262, 299, 361, 387 ], [ 43, 88, 147, 198, 261, 298, 362, 389 ], [ 47, 84, 146, 202, 260, 294, 363, 385 ], [ 45, 86, 145, 203, 259, 296, 364, 384 ], [ 46, 85, 144, 201, 258, 295, 365, 386 ], [ 14, 93, 119, 169, 233, 321, 330, 412 ], [ 12, 95, 118, 170, 232, 323, 331, 411 ], [ 13, 94, 117, 168, 231, 322, 332, 413 ], [ 17, 90, 116, 172, 230, 318, 333, 409 ], [ 15, 92, 115, 173, 229, 320, 334, 408 ], [ 16, 91, 114, 171, 228, 319, 335, 410 ], [ 2, 99, 125, 175, 221, 309, 336, 400 ], [ 0, 101, 124, 176, 220, 311, 337, 399 ], [ 1, 100, 123, 174, 219, 310, 338, 401 ], [ 5, 96, 122, 178, 218, 306, 339, 397 ], [ 3, 98, 121, 179, 217, 308, 340, 396 ], [ 4, 97, 120, 177, 216, 307, 341, 398 ], [ 8, 105, 113, 163, 227, 315, 324, 406 ], [ 6, 107, 112, 164, 226, 317, 325, 405 ], [ 7, 106, 111, 162, 225, 316, 326, 407 ], [ 11, 102, 110, 166, 224, 312, 327, 403 ], [ 9, 104, 109, 167, 223, 314, 328, 402 ], [ 10, 103, 108, 165, 222, 313, 329, 404 ] ] }, "distance": { "d": 14, "X": { "value": 14, "confidence": "upper_bound", "witness": [ 9, 49, 61, 86, 114, 161, 171, 211, 296, 307, 341, 368, 402, 416 ] }, "Z": { "value": 14, "confidence": "upper_bound", "witness": [ 3, 12, 152, 174, 199, 202, 228, 231, 281, 323, 347, 360, 388, 394 ] } }, "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,54), 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/s3c3c3_d14/gpm_pp_s3c3c3_frontier.npz (sha256 930db6586961e185283e864e6bd29b9ad5a3348a5744aff37e700568231880ab), 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. The gate finds no existing entry this code dominates either, so it fills a gap in the cell rather than displacing anything.", "novelty": "known_parameters", "references": [ "arXiv:2607.14091" ] }, "family": "pair-partition-cpm" }