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