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