{ "schema_version": "0.1", "name": "[[414,92,4]] [[4,2,2]]-amplified [[92,46,2]] 2BGA", "code_type": "CSS", "n": 414, "k": 92, "checks": { "X": [ [ 0, 4, 184, 188, 360, 364, 391 ], [ 1, 5, 185, 189, 361, 365, 391 ], [ 2, 6, 186, 190, 362, 366, 391 ], [ 3, 7, 187, 191, 363, 367, 391 ], [ 96, 100, 272, 276, 280, 284, 392 ], [ 97, 101, 273, 277, 281, 285, 392 ], [ 98, 102, 274, 278, 282, 286, 392 ], [ 99, 103, 275, 279, 283, 287, 392 ], [ 104, 108, 280, 284, 288, 292, 393 ], [ 105, 109, 281, 285, 289, 293, 393 ], [ 106, 110, 282, 286, 290, 294, 393 ], [ 107, 111, 283, 287, 291, 295, 393 ], [ 112, 116, 288, 292, 296, 300, 394 ], [ 113, 117, 289, 293, 297, 301, 394 ], [ 114, 118, 290, 294, 298, 302, 394 ], [ 115, 119, 291, 295, 299, 303, 394 ], [ 120, 124, 296, 300, 304, 308, 395 ], [ 121, 125, 297, 301, 305, 309, 395 ], [ 122, 126, 298, 302, 306, 310, 395 ], [ 123, 127, 299, 303, 307, 311, 395 ], [ 128, 132, 304, 308, 312, 316, 396 ], [ 129, 133, 305, 309, 313, 317, 396 ], [ 130, 134, 306, 310, 314, 318, 396 ], [ 131, 135, 307, 311, 315, 319, 396 ], [ 136, 140, 312, 316, 320, 324, 397 ], [ 137, 141, 313, 317, 321, 325, 397 ], [ 138, 142, 314, 318, 322, 326, 397 ], [ 139, 143, 315, 319, 323, 327, 397 ], [ 144, 148, 320, 324, 328, 332, 398 ], [ 145, 149, 321, 325, 329, 333, 398 ], [ 146, 150, 322, 326, 330, 334, 398 ], [ 147, 151, 323, 327, 331, 335, 398 ], [ 152, 156, 328, 332, 336, 340, 399 ], [ 153, 157, 329, 333, 337, 341, 399 ], [ 154, 158, 330, 334, 338, 342, 399 ], [ 155, 159, 331, 335, 339, 343, 399 ], [ 160, 164, 336, 340, 344, 348, 400 ], [ 161, 165, 337, 341, 345, 349, 400 ], [ 162, 166, 338, 342, 346, 350, 400 ], [ 163, 167, 339, 343, 347, 351, 400 ], [ 168, 172, 344, 348, 352, 356, 401 ], [ 169, 173, 345, 349, 353, 357, 401 ], [ 170, 174, 346, 350, 354, 358, 401 ], [ 171, 175, 347, 351, 355, 359, 401 ], [ 88, 92, 264, 268, 272, 276, 402 ], [ 89, 93, 265, 269, 273, 277, 402 ], [ 90, 94, 266, 270, 274, 278, 402 ], [ 91, 95, 267, 271, 275, 279, 402 ], [ 80, 84, 256, 260, 264, 268, 403 ], [ 81, 85, 257, 261, 265, 269, 403 ], [ 82, 86, 258, 262, 266, 270, 403 ], [ 83, 87, 259, 263, 267, 271, 403 ], [ 8, 12, 184, 188, 192, 196, 404 ], [ 9, 13, 185, 189, 193, 197, 404 ], [ 10, 14, 186, 190, 194, 198, 404 ], [ 11, 15, 187, 191, 195, 199, 404 ], [ 16, 20, 192, 196, 200, 204, 405 ], [ 17, 21, 193, 197, 201, 205, 405 ], [ 18, 22, 194, 198, 202, 206, 405 ], [ 19, 23, 195, 199, 203, 207, 405 ], [ 24, 28, 200, 204, 208, 212, 406 ], [ 25, 29, 201, 205, 209, 213, 406 ], [ 26, 30, 202, 206, 210, 214, 406 ], [ 27, 31, 203, 207, 211, 215, 406 ], [ 32, 36, 208, 212, 216, 220, 407 ], [ 33, 37, 209, 213, 217, 221, 407 ], [ 34, 38, 210, 214, 218, 222, 407 ], [ 35, 39, 211, 215, 219, 223, 407 ], [ 176, 180, 352, 356, 360, 364, 408 ], [ 177, 181, 353, 357, 361, 365, 408 ], [ 178, 182, 354, 358, 362, 366, 408 ], [ 179, 183, 355, 359, 363, 367, 408 ], [ 40, 44, 216, 220, 224, 228, 409 ], [ 41, 45, 217, 221, 225, 229, 409 ], [ 42, 46, 218, 222, 226, 230, 409 ], [ 43, 47, 219, 223, 227, 231, 409 ], [ 48, 52, 224, 228, 232, 236, 410 ], [ 49, 53, 225, 229, 233, 237, 410 ], [ 50, 54, 226, 230, 234, 238, 410 ], [ 51, 55, 227, 231, 235, 239, 410 ], [ 56, 60, 232, 236, 240, 244, 411 ], [ 57, 61, 233, 237, 241, 245, 411 ], [ 58, 62, 234, 238, 242, 246, 411 ], [ 59, 63, 235, 239, 243, 247, 411 ], [ 64, 68, 240, 244, 248, 252, 412 ], [ 65, 69, 241, 245, 249, 253, 412 ], [ 66, 70, 242, 246, 250, 254, 412 ], [ 67, 71, 243, 247, 251, 255, 412 ], [ 72, 76, 248, 252, 256, 260, 413 ], [ 73, 77, 249, 253, 257, 261, 413 ], [ 74, 78, 250, 254, 258, 262, 413 ], [ 75, 79, 251, 255, 259, 263, 413 ], [ 0, 1, 2, 3, 368, 385 ], [ 4, 5, 6, 7, 368, 385 ], [ 8, 9, 10, 11, 368, 381 ], [ 12, 13, 14, 15, 368, 381 ], [ 16, 17, 18, 19, 381, 382 ], [ 20, 21, 22, 23, 381, 382 ], [ 24, 25, 26, 27, 382, 383 ], [ 28, 29, 30, 31, 382, 383 ], [ 32, 33, 34, 35, 383, 384 ], [ 36, 37, 38, 39, 383, 384 ], [ 40, 41, 42, 43, 384, 386 ], [ 44, 45, 46, 47, 384, 386 ], [ 48, 49, 50, 51, 386, 387 ], [ 52, 53, 54, 55, 386, 387 ], [ 56, 57, 58, 59, 387, 388 ], [ 60, 61, 62, 63, 387, 388 ], [ 64, 65, 66, 67, 388, 389 ], [ 68, 69, 70, 71, 388, 389 ], [ 72, 73, 74, 75, 389, 390 ], [ 76, 77, 78, 79, 389, 390 ], [ 80, 81, 82, 83, 380, 390 ], [ 84, 85, 86, 87, 380, 390 ], [ 88, 89, 90, 91, 379, 380 ], [ 92, 93, 94, 95, 379, 380 ], [ 96, 97, 98, 99, 369, 379 ], [ 100, 101, 102, 103, 369, 379 ], [ 104, 105, 106, 107, 369, 370 ], [ 108, 109, 110, 111, 369, 370 ], [ 112, 113, 114, 115, 370, 371 ], [ 116, 117, 118, 119, 370, 371 ], [ 120, 121, 122, 123, 371, 372 ], [ 124, 125, 126, 127, 371, 372 ], [ 128, 129, 130, 131, 372, 373 ], [ 132, 133, 134, 135, 372, 373 ], [ 136, 137, 138, 139, 373, 374 ], [ 140, 141, 142, 143, 373, 374 ], [ 144, 145, 146, 147, 374, 375 ], [ 148, 149, 150, 151, 374, 375 ], [ 152, 153, 154, 155, 375, 376 ], [ 156, 157, 158, 159, 375, 376 ], [ 160, 161, 162, 163, 376, 377 ], [ 164, 165, 166, 167, 376, 377 ], [ 168, 169, 170, 171, 377, 378 ], [ 172, 173, 174, 175, 377, 378 ], [ 176, 177, 178, 179, 378, 385 ], [ 180, 181, 182, 183, 378, 385 ], [ 184, 185, 186, 187, 368 ], [ 188, 189, 190, 191, 368 ], [ 192, 193, 194, 195, 381 ], [ 196, 197, 198, 199, 381 ], [ 200, 201, 202, 203, 382 ], [ 204, 205, 206, 207, 382 ], [ 208, 209, 210, 211, 383 ], [ 212, 213, 214, 215, 383 ], [ 216, 217, 218, 219, 384 ], [ 220, 221, 222, 223, 384 ], [ 224, 225, 226, 227, 386 ], [ 228, 229, 230, 231, 386 ], [ 232, 233, 234, 235, 387 ], [ 236, 237, 238, 239, 387 ], [ 240, 241, 242, 243, 388 ], [ 244, 245, 246, 247, 388 ], [ 248, 249, 250, 251, 389 ], [ 252, 253, 254, 255, 389 ], [ 256, 257, 258, 259, 390 ], [ 260, 261, 262, 263, 390 ], [ 264, 265, 266, 267, 380 ], [ 268, 269, 270, 271, 380 ], [ 272, 273, 274, 275, 379 ], [ 276, 277, 278, 279, 379 ], [ 280, 281, 282, 283, 369 ], [ 284, 285, 286, 287, 369 ], [ 288, 289, 290, 291, 370 ], [ 292, 293, 294, 295, 370 ], [ 296, 297, 298, 299, 371 ], [ 300, 301, 302, 303, 371 ], [ 304, 305, 306, 307, 372 ], [ 308, 309, 310, 311, 372 ], [ 312, 313, 314, 315, 373 ], [ 316, 317, 318, 319, 373 ], [ 320, 321, 322, 323, 374 ], [ 324, 325, 326, 327, 374 ], [ 328, 329, 330, 331, 375 ], [ 332, 333, 334, 335, 375 ], [ 336, 337, 338, 339, 376 ], [ 340, 341, 342, 343, 376 ], [ 344, 345, 346, 347, 377 ], [ 348, 349, 350, 351, 377 ], [ 352, 353, 354, 355, 378 ], [ 356, 357, 358, 359, 378 ], [ 360, 361, 362, 363, 385 ], [ 364, 365, 366, 367, 385 ] ], "Z": [ [ 0, 4, 8, 12, 184, 188, 368 ], [ 1, 5, 9, 13, 185, 189, 368 ], [ 2, 6, 10, 14, 186, 190, 368 ], [ 3, 7, 11, 15, 187, 191, 368 ], [ 96, 100, 104, 108, 280, 284, 369 ], [ 97, 101, 105, 109, 281, 285, 369 ], [ 98, 102, 106, 110, 282, 286, 369 ], [ 99, 103, 107, 111, 283, 287, 369 ], [ 104, 108, 112, 116, 288, 292, 370 ], [ 105, 109, 113, 117, 289, 293, 370 ], [ 106, 110, 114, 118, 290, 294, 370 ], [ 107, 111, 115, 119, 291, 295, 370 ], [ 112, 116, 120, 124, 296, 300, 371 ], [ 113, 117, 121, 125, 297, 301, 371 ], [ 114, 118, 122, 126, 298, 302, 371 ], [ 115, 119, 123, 127, 299, 303, 371 ], [ 120, 124, 128, 132, 304, 308, 372 ], [ 121, 125, 129, 133, 305, 309, 372 ], [ 122, 126, 130, 134, 306, 310, 372 ], [ 123, 127, 131, 135, 307, 311, 372 ], [ 128, 132, 136, 140, 312, 316, 373 ], [ 129, 133, 137, 141, 313, 317, 373 ], [ 130, 134, 138, 142, 314, 318, 373 ], [ 131, 135, 139, 143, 315, 319, 373 ], [ 136, 140, 144, 148, 320, 324, 374 ], [ 137, 141, 145, 149, 321, 325, 374 ], [ 138, 142, 146, 150, 322, 326, 374 ], [ 139, 143, 147, 151, 323, 327, 374 ], [ 144, 148, 152, 156, 328, 332, 375 ], [ 145, 149, 153, 157, 329, 333, 375 ], [ 146, 150, 154, 158, 330, 334, 375 ], [ 147, 151, 155, 159, 331, 335, 375 ], [ 152, 156, 160, 164, 336, 340, 376 ], [ 153, 157, 161, 165, 337, 341, 376 ], [ 154, 158, 162, 166, 338, 342, 376 ], [ 155, 159, 163, 167, 339, 343, 376 ], [ 160, 164, 168, 172, 344, 348, 377 ], [ 161, 165, 169, 173, 345, 349, 377 ], [ 162, 166, 170, 174, 346, 350, 377 ], [ 163, 167, 171, 175, 347, 351, 377 ], [ 168, 172, 176, 180, 352, 356, 378 ], [ 169, 173, 177, 181, 353, 357, 378 ], [ 170, 174, 178, 182, 354, 358, 378 ], [ 171, 175, 179, 183, 355, 359, 378 ], [ 88, 92, 96, 100, 272, 276, 379 ], [ 89, 93, 97, 101, 273, 277, 379 ], [ 90, 94, 98, 102, 274, 278, 379 ], [ 91, 95, 99, 103, 275, 279, 379 ], [ 80, 84, 88, 92, 264, 268, 380 ], [ 81, 85, 89, 93, 265, 269, 380 ], [ 82, 86, 90, 94, 266, 270, 380 ], [ 83, 87, 91, 95, 267, 271, 380 ], [ 8, 12, 16, 20, 192, 196, 381 ], [ 9, 13, 17, 21, 193, 197, 381 ], [ 10, 14, 18, 22, 194, 198, 381 ], [ 11, 15, 19, 23, 195, 199, 381 ], [ 16, 20, 24, 28, 200, 204, 382 ], [ 17, 21, 25, 29, 201, 205, 382 ], [ 18, 22, 26, 30, 202, 206, 382 ], [ 19, 23, 27, 31, 203, 207, 382 ], [ 24, 28, 32, 36, 208, 212, 383 ], [ 25, 29, 33, 37, 209, 213, 383 ], [ 26, 30, 34, 38, 210, 214, 383 ], [ 27, 31, 35, 39, 211, 215, 383 ], [ 32, 36, 40, 44, 216, 220, 384 ], [ 33, 37, 41, 45, 217, 221, 384 ], [ 34, 38, 42, 46, 218, 222, 384 ], [ 35, 39, 43, 47, 219, 223, 384 ], [ 0, 4, 176, 180, 360, 364, 385 ], [ 1, 5, 177, 181, 361, 365, 385 ], [ 2, 6, 178, 182, 362, 366, 385 ], [ 3, 7, 179, 183, 363, 367, 385 ], [ 40, 44, 48, 52, 224, 228, 386 ], [ 41, 45, 49, 53, 225, 229, 386 ], [ 42, 46, 50, 54, 226, 230, 386 ], [ 43, 47, 51, 55, 227, 231, 386 ], [ 48, 52, 56, 60, 232, 236, 387 ], [ 49, 53, 57, 61, 233, 237, 387 ], [ 50, 54, 58, 62, 234, 238, 387 ], [ 51, 55, 59, 63, 235, 239, 387 ], [ 56, 60, 64, 68, 240, 244, 388 ], [ 57, 61, 65, 69, 241, 245, 388 ], [ 58, 62, 66, 70, 242, 246, 388 ], [ 59, 63, 67, 71, 243, 247, 388 ], [ 64, 68, 72, 76, 248, 252, 389 ], [ 65, 69, 73, 77, 249, 253, 389 ], [ 66, 70, 74, 78, 250, 254, 389 ], [ 67, 71, 75, 79, 251, 255, 389 ], [ 72, 76, 80, 84, 256, 260, 390 ], [ 73, 77, 81, 85, 257, 261, 390 ], [ 74, 78, 82, 86, 258, 262, 390 ], [ 75, 79, 83, 87, 259, 263, 390 ], [ 0, 1, 2, 3, 391 ], [ 4, 5, 6, 7, 391 ], [ 8, 9, 10, 11, 404 ], [ 12, 13, 14, 15, 404 ], [ 16, 17, 18, 19, 405 ], [ 20, 21, 22, 23, 405 ], [ 24, 25, 26, 27, 406 ], [ 28, 29, 30, 31, 406 ], [ 32, 33, 34, 35, 407 ], [ 36, 37, 38, 39, 407 ], [ 40, 41, 42, 43, 409 ], [ 44, 45, 46, 47, 409 ], [ 48, 49, 50, 51, 410 ], [ 52, 53, 54, 55, 410 ], [ 56, 57, 58, 59, 411 ], [ 60, 61, 62, 63, 411 ], [ 64, 65, 66, 67, 412 ], [ 68, 69, 70, 71, 412 ], [ 72, 73, 74, 75, 413 ], [ 76, 77, 78, 79, 413 ], [ 80, 81, 82, 83, 403 ], [ 84, 85, 86, 87, 403 ], [ 88, 89, 90, 91, 402 ], [ 92, 93, 94, 95, 402 ], [ 96, 97, 98, 99, 392 ], [ 100, 101, 102, 103, 392 ], [ 104, 105, 106, 107, 393 ], [ 108, 109, 110, 111, 393 ], [ 112, 113, 114, 115, 394 ], [ 116, 117, 118, 119, 394 ], [ 120, 121, 122, 123, 395 ], [ 124, 125, 126, 127, 395 ], [ 128, 129, 130, 131, 396 ], [ 132, 133, 134, 135, 396 ], [ 136, 137, 138, 139, 397 ], [ 140, 141, 142, 143, 397 ], [ 144, 145, 146, 147, 398 ], [ 148, 149, 150, 151, 398 ], [ 152, 153, 154, 155, 399 ], [ 156, 157, 158, 159, 399 ], [ 160, 161, 162, 163, 400 ], [ 164, 165, 166, 167, 400 ], [ 168, 169, 170, 171, 401 ], [ 172, 173, 174, 175, 401 ], [ 176, 177, 178, 179, 408 ], [ 180, 181, 182, 183, 408 ], [ 184, 185, 186, 187, 391, 404 ], [ 188, 189, 190, 191, 391, 404 ], [ 192, 193, 194, 195, 404, 405 ], [ 196, 197, 198, 199, 404, 405 ], [ 200, 201, 202, 203, 405, 406 ], [ 204, 205, 206, 207, 405, 406 ], [ 208, 209, 210, 211, 406, 407 ], [ 212, 213, 214, 215, 406, 407 ], [ 216, 217, 218, 219, 407, 409 ], [ 220, 221, 222, 223, 407, 409 ], [ 224, 225, 226, 227, 409, 410 ], [ 228, 229, 230, 231, 409, 410 ], [ 232, 233, 234, 235, 410, 411 ], [ 236, 237, 238, 239, 410, 411 ], [ 240, 241, 242, 243, 411, 412 ], [ 244, 245, 246, 247, 411, 412 ], [ 248, 249, 250, 251, 412, 413 ], [ 252, 253, 254, 255, 412, 413 ], [ 256, 257, 258, 259, 403, 413 ], [ 260, 261, 262, 263, 403, 413 ], [ 264, 265, 266, 267, 402, 403 ], [ 268, 269, 270, 271, 402, 403 ], [ 272, 273, 274, 275, 392, 402 ], [ 276, 277, 278, 279, 392, 402 ], [ 280, 281, 282, 283, 392, 393 ], [ 284, 285, 286, 287, 392, 393 ], [ 288, 289, 290, 291, 393, 394 ], [ 292, 293, 294, 295, 393, 394 ], [ 296, 297, 298, 299, 394, 395 ], [ 300, 301, 302, 303, 394, 395 ], [ 304, 305, 306, 307, 395, 396 ], [ 308, 309, 310, 311, 395, 396 ], [ 312, 313, 314, 315, 396, 397 ], [ 316, 317, 318, 319, 396, 397 ], [ 320, 321, 322, 323, 397, 398 ], [ 324, 325, 326, 327, 397, 398 ], [ 328, 329, 330, 331, 398, 399 ], [ 332, 333, 334, 335, 398, 399 ], [ 336, 337, 338, 339, 399, 400 ], [ 340, 341, 342, 343, 399, 400 ], [ 344, 345, 346, 347, 400, 401 ], [ 348, 349, 350, 351, 400, 401 ], [ 352, 353, 354, 355, 401, 408 ], [ 356, 357, 358, 359, 401, 408 ], [ 360, 361, 362, 363, 391, 408 ], [ 364, 365, 366, 367, 391, 408 ] ] }, "distance": { "d": 4, "X": { "value": 4, "confidence": "upper_bound", "witness": [ 32, 33, 36, 37 ] }, "Z": { "value": 4, "confidence": "upper_bound", "witness": [ 88, 89, 92, 93 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Distance-amplified code: one [[4,2,2]] tensor-product amplification step (central three-term truncation of the chain-complex tensor product, arXiv:2609.37231 Eq. 1/Eq. 12-15) applied to the board's [[92,46,2]] 2BGA entry, using a sparse independent-row presentation of its checks: n' = 4n + m_X + m_Z = 414, k' = 2k = 92, check weight w' = w+1 = 7. X/Z witnesses are the base witnesses tensored with the weight-2 [[4,2,2]] logical on the central register (weights 4/4); a 100000-trial fast-backend search (seed 5000) found nothing lighter (min weight 4). Base provenance: 2BGA (arXiv:2306.16400) on SmallGroup(46,2), from github.com/QEC-pages/2BGA-codes @ 403d194c3f98f0cadc236aecbc4a8b6139ccf23c, abelian.zip, diswtabelian_wt6wtL2_order46_k46.txt, line 1. nonidentity supports a=[2], b=[2, 3, 4].", "references": [ "arXiv:2609.37231" ], "date": "2026-09-30", "notes": "Constructed and packaged with the Space Bunny Alpha 1.0 model.", "model": "Space Bunny Alpha 1.0" }, "family": "distance-amplified" }