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