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