{ "schema_version": "0.3", "name": "Cornucopia [[432,220,6]]", "code_type": "CSS", "n": 432, "k": 220, "checks": { "X": [ [ 13, 60, 74, 108, 146, 190, 216, 252, 303, 357, 370, 403 ], [ 14, 61, 75, 109, 147, 191, 217, 253, 304, 358, 371, 404 ], [ 15, 62, 76, 110, 148, 180, 218, 254, 305, 359, 360, 405 ], [ 16, 63, 77, 111, 149, 181, 219, 255, 306, 348, 361, 406 ], [ 17, 64, 78, 112, 150, 182, 220, 256, 307, 349, 362, 407 ], [ 18, 65, 79, 113, 151, 183, 221, 257, 308, 350, 363, 396 ], [ 19, 66, 80, 114, 152, 184, 222, 258, 309, 351, 364, 397 ], [ 20, 67, 81, 115, 153, 185, 223, 259, 310, 352, 365, 398 ], [ 21, 68, 82, 116, 154, 186, 224, 260, 311, 353, 366, 399 ], [ 22, 69, 83, 117, 155, 187, 225, 261, 300, 354, 367, 400 ], [ 23, 70, 72, 118, 144, 188, 226, 262, 301, 355, 368, 401 ], [ 12, 71, 73, 119, 145, 189, 227, 263, 302, 356, 369, 402 ], [ 25, 48, 86, 120, 158, 202, 228, 264, 315, 345, 382, 415 ], [ 26, 49, 87, 121, 159, 203, 229, 265, 316, 346, 383, 416 ], [ 27, 50, 88, 122, 160, 192, 230, 266, 317, 347, 372, 417 ], [ 28, 51, 89, 123, 161, 193, 231, 267, 318, 336, 373, 418 ], [ 29, 52, 90, 124, 162, 194, 232, 268, 319, 337, 374, 419 ], [ 30, 53, 91, 125, 163, 195, 233, 269, 320, 338, 375, 408 ], [ 31, 54, 92, 126, 164, 196, 234, 270, 321, 339, 376, 409 ], [ 32, 55, 93, 127, 165, 197, 235, 271, 322, 340, 377, 410 ], [ 33, 56, 94, 128, 166, 198, 236, 272, 323, 341, 378, 411 ], [ 34, 57, 95, 129, 167, 199, 237, 273, 312, 342, 379, 412 ], [ 35, 58, 84, 130, 156, 200, 238, 274, 313, 343, 380, 413 ], [ 24, 59, 85, 131, 157, 201, 239, 275, 314, 344, 381, 414 ], [ 1, 36, 98, 132, 170, 214, 240, 276, 291, 333, 394, 427 ], [ 2, 37, 99, 133, 171, 215, 241, 277, 292, 334, 395, 428 ], [ 3, 38, 100, 134, 172, 204, 242, 278, 293, 335, 384, 429 ], [ 4, 39, 101, 135, 173, 205, 243, 279, 294, 324, 385, 430 ], [ 5, 40, 102, 136, 174, 206, 244, 280, 295, 325, 386, 431 ], [ 6, 41, 103, 137, 175, 207, 245, 281, 296, 326, 387, 420 ], [ 7, 42, 104, 138, 176, 208, 246, 282, 297, 327, 388, 421 ], [ 8, 43, 105, 139, 177, 209, 247, 283, 298, 328, 389, 422 ], [ 9, 44, 106, 140, 178, 210, 248, 284, 299, 329, 390, 423 ], [ 10, 45, 107, 141, 179, 211, 249, 285, 288, 330, 391, 424 ], [ 11, 46, 96, 142, 168, 212, 250, 286, 289, 331, 392, 425 ], [ 0, 47, 97, 143, 169, 213, 251, 287, 290, 332, 393, 426 ], [ 10, 49, 96, 110, 144, 182, 223, 252, 288, 339, 393, 406 ], [ 11, 50, 97, 111, 145, 183, 224, 253, 289, 340, 394, 407 ], [ 0, 51, 98, 112, 146, 184, 225, 254, 290, 341, 395, 396 ], [ 1, 52, 99, 113, 147, 185, 226, 255, 291, 342, 384, 397 ], [ 2, 53, 100, 114, 148, 186, 227, 256, 292, 343, 385, 398 ], [ 3, 54, 101, 115, 149, 187, 216, 257, 293, 344, 386, 399 ], [ 4, 55, 102, 116, 150, 188, 217, 258, 294, 345, 387, 400 ], [ 5, 56, 103, 117, 151, 189, 218, 259, 295, 346, 388, 401 ], [ 6, 57, 104, 118, 152, 190, 219, 260, 296, 347, 389, 402 ], [ 7, 58, 105, 119, 153, 191, 220, 261, 297, 336, 390, 403 ], [ 8, 59, 106, 108, 154, 180, 221, 262, 298, 337, 391, 404 ], [ 9, 48, 107, 109, 155, 181, 222, 263, 299, 338, 392, 405 ], [ 22, 61, 84, 122, 156, 194, 235, 264, 300, 351, 381, 418 ], [ 23, 62, 85, 123, 157, 195, 236, 265, 301, 352, 382, 419 ], [ 12, 63, 86, 124, 158, 196, 237, 266, 302, 353, 383, 408 ], [ 13, 64, 87, 125, 159, 197, 238, 267, 303, 354, 372, 409 ], [ 14, 65, 88, 126, 160, 198, 239, 268, 304, 355, 373, 410 ], [ 15, 66, 89, 127, 161, 199, 228, 269, 305, 356, 374, 411 ], [ 16, 67, 90, 128, 162, 200, 229, 270, 306, 357, 375, 412 ], [ 17, 68, 91, 129, 163, 201, 230, 271, 307, 358, 376, 413 ], [ 18, 69, 92, 130, 164, 202, 231, 272, 308, 359, 377, 414 ], [ 19, 70, 93, 131, 165, 203, 232, 273, 309, 348, 378, 415 ], [ 20, 71, 94, 120, 166, 192, 233, 274, 310, 349, 379, 416 ], [ 21, 60, 95, 121, 167, 193, 234, 275, 311, 350, 380, 417 ], [ 34, 37, 72, 134, 168, 206, 247, 276, 312, 327, 369, 430 ], [ 35, 38, 73, 135, 169, 207, 248, 277, 313, 328, 370, 431 ], [ 24, 39, 74, 136, 170, 208, 249, 278, 314, 329, 371, 420 ], [ 25, 40, 75, 137, 171, 209, 250, 279, 315, 330, 360, 421 ], [ 26, 41, 76, 138, 172, 210, 251, 280, 316, 331, 361, 422 ], [ 27, 42, 77, 139, 173, 211, 240, 281, 317, 332, 362, 423 ], [ 28, 43, 78, 140, 174, 212, 241, 282, 318, 333, 363, 424 ], [ 29, 44, 79, 141, 175, 213, 242, 283, 319, 334, 364, 425 ], [ 30, 45, 80, 142, 176, 214, 243, 284, 320, 335, 365, 426 ], [ 31, 46, 81, 143, 177, 215, 244, 285, 321, 324, 366, 427 ], [ 32, 47, 82, 132, 178, 204, 245, 286, 322, 325, 367, 428 ], [ 33, 36, 83, 133, 179, 205, 246, 287, 323, 326, 368, 429 ], [ 2, 46, 85, 132, 146, 180, 226, 259, 288, 324, 375, 429 ], [ 3, 47, 86, 133, 147, 181, 227, 260, 289, 325, 376, 430 ], [ 4, 36, 87, 134, 148, 182, 216, 261, 290, 326, 377, 431 ], [ 5, 37, 88, 135, 149, 183, 217, 262, 291, 327, 378, 420 ], [ 6, 38, 89, 136, 150, 184, 218, 263, 292, 328, 379, 421 ], [ 7, 39, 90, 137, 151, 185, 219, 252, 293, 329, 380, 422 ], [ 8, 40, 91, 138, 152, 186, 220, 253, 294, 330, 381, 423 ], [ 9, 41, 92, 139, 153, 187, 221, 254, 295, 331, 382, 424 ], [ 10, 42, 93, 140, 154, 188, 222, 255, 296, 332, 383, 425 ], [ 11, 43, 94, 141, 155, 189, 223, 256, 297, 333, 372, 426 ], [ 0, 44, 95, 142, 144, 190, 224, 257, 298, 334, 373, 427 ], [ 1, 45, 84, 143, 145, 191, 225, 258, 299, 335, 374, 428 ], [ 14, 58, 97, 120, 158, 192, 238, 271, 300, 336, 387, 417 ], [ 15, 59, 98, 121, 159, 193, 239, 272, 301, 337, 388, 418 ], [ 16, 48, 99, 122, 160, 194, 228, 273, 302, 338, 389, 419 ], [ 17, 49, 100, 123, 161, 195, 229, 274, 303, 339, 390, 408 ], [ 18, 50, 101, 124, 162, 196, 230, 275, 304, 340, 391, 409 ], [ 19, 51, 102, 125, 163, 197, 231, 264, 305, 341, 392, 410 ], [ 20, 52, 103, 126, 164, 198, 232, 265, 306, 342, 393, 411 ], [ 21, 53, 104, 127, 165, 199, 233, 266, 307, 343, 394, 412 ], [ 22, 54, 105, 128, 166, 200, 234, 267, 308, 344, 395, 413 ], [ 23, 55, 106, 129, 167, 201, 235, 268, 309, 345, 384, 414 ], [ 12, 56, 107, 130, 156, 202, 236, 269, 310, 346, 385, 415 ], [ 13, 57, 96, 131, 157, 203, 237, 270, 311, 347, 386, 416 ], [ 26, 70, 73, 108, 170, 204, 250, 283, 312, 348, 363, 405 ], [ 27, 71, 74, 109, 171, 205, 251, 284, 313, 349, 364, 406 ], [ 28, 60, 75, 110, 172, 206, 240, 285, 314, 350, 365, 407 ], [ 29, 61, 76, 111, 173, 207, 241, 286, 315, 351, 366, 396 ], [ 30, 62, 77, 112, 174, 208, 242, 287, 316, 352, 367, 397 ], [ 31, 63, 78, 113, 175, 209, 243, 276, 317, 353, 368, 398 ], [ 32, 64, 79, 114, 176, 210, 244, 277, 318, 354, 369, 399 ], [ 33, 65, 80, 115, 177, 211, 245, 278, 319, 355, 370, 400 ], [ 34, 66, 81, 116, 178, 212, 246, 279, 320, 356, 371, 401 ], [ 35, 67, 82, 117, 179, 213, 247, 280, 321, 357, 360, 402 ], [ 24, 68, 83, 118, 168, 214, 248, 281, 322, 358, 361, 403 ], [ 25, 69, 72, 119, 169, 215, 249, 282, 323, 359, 362, 404 ] ], "Z": [ [ 0, 41, 74, 135, 177, 180, 251, 254, 298, 324, 370, 420 ], [ 1, 42, 75, 136, 178, 181, 240, 255, 299, 325, 371, 421 ], [ 2, 43, 76, 137, 179, 182, 241, 256, 288, 326, 360, 422 ], [ 3, 44, 77, 138, 168, 183, 242, 257, 289, 327, 361, 423 ], [ 4, 45, 78, 139, 169, 184, 243, 258, 290, 328, 362, 424 ], [ 5, 46, 79, 140, 170, 185, 244, 259, 291, 329, 363, 425 ], [ 6, 47, 80, 141, 171, 186, 245, 260, 292, 330, 364, 426 ], [ 7, 36, 81, 142, 172, 187, 246, 261, 293, 331, 365, 427 ], [ 8, 37, 82, 143, 173, 188, 247, 262, 294, 332, 366, 428 ], [ 9, 38, 83, 132, 174, 189, 248, 263, 295, 333, 367, 429 ], [ 10, 39, 72, 133, 175, 190, 249, 252, 296, 334, 368, 430 ], [ 11, 40, 73, 134, 176, 191, 250, 253, 297, 335, 369, 431 ], [ 12, 53, 86, 123, 153, 192, 227, 266, 310, 336, 382, 408 ], [ 13, 54, 87, 124, 154, 193, 216, 267, 311, 337, 383, 409 ], [ 14, 55, 88, 125, 155, 194, 217, 268, 300, 338, 372, 410 ], [ 15, 56, 89, 126, 144, 195, 218, 269, 301, 339, 373, 411 ], [ 16, 57, 90, 127, 145, 196, 219, 270, 302, 340, 374, 412 ], [ 17, 58, 91, 128, 146, 197, 220, 271, 303, 341, 375, 413 ], [ 18, 59, 92, 129, 147, 198, 221, 272, 304, 342, 376, 414 ], [ 19, 48, 93, 130, 148, 199, 222, 273, 305, 343, 377, 415 ], [ 20, 49, 94, 131, 149, 200, 223, 274, 306, 344, 378, 416 ], [ 21, 50, 95, 120, 150, 201, 224, 275, 307, 345, 379, 417 ], [ 22, 51, 84, 121, 151, 202, 225, 264, 308, 346, 380, 418 ], [ 23, 52, 85, 122, 152, 203, 226, 265, 309, 347, 381, 419 ], [ 24, 65, 98, 111, 165, 204, 239, 278, 322, 348, 394, 396 ], [ 25, 66, 99, 112, 166, 205, 228, 279, 323, 349, 395, 397 ], [ 26, 67, 100, 113, 167, 206, 229, 280, 312, 350, 384, 398 ], [ 27, 68, 101, 114, 156, 207, 230, 281, 313, 351, 385, 399 ], [ 28, 69, 102, 115, 157, 208, 231, 282, 314, 352, 386, 400 ], [ 29, 70, 103, 116, 158, 209, 232, 283, 315, 353, 387, 401 ], [ 30, 71, 104, 117, 159, 210, 233, 284, 316, 354, 388, 402 ], [ 31, 60, 105, 118, 160, 211, 234, 285, 317, 355, 389, 403 ], [ 32, 61, 106, 119, 161, 212, 235, 286, 318, 356, 390, 404 ], [ 33, 62, 107, 108, 162, 213, 236, 287, 319, 357, 391, 405 ], [ 34, 63, 96, 109, 163, 214, 237, 276, 320, 358, 392, 406 ], [ 35, 64, 97, 110, 164, 215, 238, 277, 321, 359, 393, 407 ], [ 0, 36, 77, 110, 171, 213, 240, 287, 290, 334, 360, 406 ], [ 1, 37, 78, 111, 172, 214, 241, 276, 291, 335, 361, 407 ], [ 2, 38, 79, 112, 173, 215, 242, 277, 292, 324, 362, 396 ], [ 3, 39, 80, 113, 174, 204, 243, 278, 293, 325, 363, 397 ], [ 4, 40, 81, 114, 175, 205, 244, 279, 294, 326, 364, 398 ], [ 5, 41, 82, 115, 176, 206, 245, 280, 295, 327, 365, 399 ], [ 6, 42, 83, 116, 177, 207, 246, 281, 296, 328, 366, 400 ], [ 7, 43, 72, 117, 178, 208, 247, 282, 297, 329, 367, 401 ], [ 8, 44, 73, 118, 179, 209, 248, 283, 298, 330, 368, 402 ], [ 9, 45, 74, 119, 168, 210, 249, 284, 299, 331, 369, 403 ], [ 10, 46, 75, 108, 169, 211, 250, 285, 288, 332, 370, 404 ], [ 11, 47, 76, 109, 170, 212, 251, 286, 289, 333, 371, 405 ], [ 12, 48, 89, 122, 159, 189, 228, 263, 302, 346, 372, 418 ], [ 13, 49, 90, 123, 160, 190, 229, 252, 303, 347, 373, 419 ], [ 14, 50, 91, 124, 161, 191, 230, 253, 304, 336, 374, 408 ], [ 15, 51, 92, 125, 162, 180, 231, 254, 305, 337, 375, 409 ], [ 16, 52, 93, 126, 163, 181, 232, 255, 306, 338, 376, 410 ], [ 17, 53, 94, 127, 164, 182, 233, 256, 307, 339, 377, 411 ], [ 18, 54, 95, 128, 165, 183, 234, 257, 308, 340, 378, 412 ], [ 19, 55, 84, 129, 166, 184, 235, 258, 309, 341, 379, 413 ], [ 20, 56, 85, 130, 167, 185, 236, 259, 310, 342, 380, 414 ], [ 21, 57, 86, 131, 156, 186, 237, 260, 311, 343, 381, 415 ], [ 22, 58, 87, 120, 157, 187, 238, 261, 300, 344, 382, 416 ], [ 23, 59, 88, 121, 158, 188, 239, 262, 301, 345, 383, 417 ], [ 24, 60, 101, 134, 147, 201, 216, 275, 314, 358, 384, 430 ], [ 25, 61, 102, 135, 148, 202, 217, 264, 315, 359, 385, 431 ], [ 26, 62, 103, 136, 149, 203, 218, 265, 316, 348, 386, 420 ], [ 27, 63, 104, 137, 150, 192, 219, 266, 317, 349, 387, 421 ], [ 28, 64, 105, 138, 151, 193, 220, 267, 318, 350, 388, 422 ], [ 29, 65, 106, 139, 152, 194, 221, 268, 319, 351, 389, 423 ], [ 30, 66, 107, 140, 153, 195, 222, 269, 320, 352, 390, 424 ], [ 31, 67, 96, 141, 154, 196, 223, 270, 321, 353, 391, 425 ], [ 32, 68, 97, 142, 155, 197, 224, 271, 322, 354, 392, 426 ], [ 33, 69, 98, 143, 144, 198, 225, 272, 323, 355, 393, 427 ], [ 34, 70, 99, 132, 145, 199, 226, 273, 312, 356, 394, 428 ], [ 35, 71, 100, 133, 146, 200, 227, 274, 313, 357, 395, 429 ], [ 33, 36, 72, 113, 146, 207, 226, 276, 323, 326, 370, 396 ], [ 34, 37, 73, 114, 147, 208, 227, 277, 312, 327, 371, 397 ], [ 35, 38, 74, 115, 148, 209, 216, 278, 313, 328, 360, 398 ], [ 24, 39, 75, 116, 149, 210, 217, 279, 314, 329, 361, 399 ], [ 25, 40, 76, 117, 150, 211, 218, 280, 315, 330, 362, 400 ], [ 26, 41, 77, 118, 151, 212, 219, 281, 316, 331, 363, 401 ], [ 27, 42, 78, 119, 152, 213, 220, 282, 317, 332, 364, 402 ], [ 28, 43, 79, 108, 153, 214, 221, 283, 318, 333, 365, 403 ], [ 29, 44, 80, 109, 154, 215, 222, 284, 319, 334, 366, 404 ], [ 30, 45, 81, 110, 155, 204, 223, 285, 320, 335, 367, 405 ], [ 31, 46, 82, 111, 144, 205, 224, 286, 321, 324, 368, 406 ], [ 32, 47, 83, 112, 145, 206, 225, 287, 322, 325, 369, 407 ], [ 9, 48, 84, 125, 158, 195, 238, 264, 299, 338, 382, 408 ], [ 10, 49, 85, 126, 159, 196, 239, 265, 288, 339, 383, 409 ], [ 11, 50, 86, 127, 160, 197, 228, 266, 289, 340, 372, 410 ], [ 0, 51, 87, 128, 161, 198, 229, 267, 290, 341, 373, 411 ], [ 1, 52, 88, 129, 162, 199, 230, 268, 291, 342, 374, 412 ], [ 2, 53, 89, 130, 163, 200, 231, 269, 292, 343, 375, 413 ], [ 3, 54, 90, 131, 164, 201, 232, 270, 293, 344, 376, 414 ], [ 4, 55, 91, 120, 165, 202, 233, 271, 294, 345, 377, 415 ], [ 5, 56, 92, 121, 166, 203, 234, 272, 295, 346, 378, 416 ], [ 6, 57, 93, 122, 167, 192, 235, 273, 296, 347, 379, 417 ], [ 7, 58, 94, 123, 156, 193, 236, 274, 297, 336, 380, 418 ], [ 8, 59, 95, 124, 157, 194, 237, 275, 298, 337, 381, 419 ], [ 21, 60, 96, 137, 170, 183, 250, 252, 311, 350, 394, 420 ], [ 22, 61, 97, 138, 171, 184, 251, 253, 300, 351, 395, 421 ], [ 23, 62, 98, 139, 172, 185, 240, 254, 301, 352, 384, 422 ], [ 12, 63, 99, 140, 173, 186, 241, 255, 302, 353, 385, 423 ], [ 13, 64, 100, 141, 174, 187, 242, 256, 303, 354, 386, 424 ], [ 14, 65, 101, 142, 175, 188, 243, 257, 304, 355, 387, 425 ], [ 15, 66, 102, 143, 176, 189, 244, 258, 305, 356, 388, 426 ], [ 16, 67, 103, 132, 177, 190, 245, 259, 306, 357, 389, 427 ], [ 17, 68, 104, 133, 178, 191, 246, 260, 307, 358, 390, 428 ], [ 18, 69, 105, 134, 179, 180, 247, 261, 308, 359, 391, 429 ], [ 19, 70, 106, 135, 168, 181, 248, 262, 309, 348, 392, 430 ], [ 20, 71, 107, 136, 169, 182, 249, 263, 310, 349, 393, 431 ] ] }, "distance": { "d": 6, "X": { "value": 6, "confidence": "upper_bound", "witness": [ 43, 76, 211, 285, 333, 367 ] }, "Z": { "value": 6, "confidence": "upper_bound", "witness": [ 51, 56, 121, 193, 341, 346 ] } }, "provenance": { "authors": [ "@mathysrennela" ], "construction": "Cornucopia code (Lu, Li & Deng, arXiv:2608.02773; block-convolutional CSS construction with the check matrices given in the Methods of arXiv:2610.19073): q=12, n=36q=432 data qubits in twelve 3x12 tiles L0..L5,R0..R5 plus nine 3x12 X-check and nine 3x12 Z-check tiles; HX=[A_(j-i)|B_(j-i)], HZ=[B^-1_(i-j)|A^-1_(i-j)] with the coordinate permutations A_p,B_p:(r,c)|->(rho(p,r),c+s[p]) on Z_3 x Z_12, row maps rho_A(0)=r+1, rho_A(1)=2r+2, rho_B(2)=r+1, rho_B(3)=2r+2 (identity otherwise), and column shifts sA=[1, 0, 2, 0, 2, 10], sB=[0, 0, 3, 9, 10, 7]. These shifts were found by a random shift search; the paper publishes instances only at q=7,16,25,29,49,64,79. Weight-12 checks, k=18q+4=220.", "origin": "submission", "date": "2026-10-15", "model": "MiMo-V2.6-Flash", "search_budget": { "candidates_screened": 1200, "ris_trials_per_side": 100000, "tool": "OpenCode agent, MiMo-V2.6-Flash", "notes": "uniform random shift search, 3-stage RIS ladder (100/4000/100000 trials), see research note" }, "references": [ "arXiv:2608.02773", "arXiv:2610.19073" ] }, "family": "other" }