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