{ "schema_version": "0.1", "name": "[[302,36,16]] [[4,2,2]]-amplified [[64,18,8]]", "code_type": "CSS", "n": 302, "k": 36, "checks": { "X": [ [ 0, 32, 48, 124, 128, 164, 216, 240, 279 ], [ 1, 33, 49, 125, 129, 165, 217, 241, 279 ], [ 2, 34, 50, 126, 130, 166, 218, 242, 279 ], [ 3, 35, 51, 127, 131, 167, 219, 243, 279 ], [ 44, 100, 104, 116, 140, 200, 216, 244, 280 ], [ 45, 101, 105, 117, 141, 201, 217, 245, 280 ], [ 46, 102, 106, 118, 142, 202, 218, 246, 280 ], [ 47, 103, 107, 119, 143, 203, 219, 247, 280 ], [ 84, 96, 100, 112, 136, 156, 188, 240, 281 ], [ 85, 97, 101, 113, 137, 157, 189, 241, 281 ], [ 86, 98, 102, 114, 138, 158, 190, 242, 281 ], [ 87, 99, 103, 115, 139, 159, 191, 243, 281 ], [ 20, 80, 92, 108, 160, 184, 216, 236, 282 ], [ 21, 81, 93, 109, 161, 185, 217, 237, 282 ], [ 22, 82, 94, 110, 162, 186, 218, 238, 282 ], [ 23, 83, 95, 111, 163, 187, 219, 239, 282 ], [ 16, 76, 88, 104, 164, 180, 220, 232, 283 ], [ 17, 77, 89, 105, 165, 181, 221, 233, 283 ], [ 18, 78, 90, 106, 166, 182, 222, 234, 283 ], [ 19, 79, 91, 107, 167, 183, 223, 235, 283 ], [ 24, 80, 88, 100, 176, 192, 204, 228, 284 ], [ 25, 81, 89, 101, 177, 193, 205, 229, 284 ], [ 26, 82, 90, 102, 178, 194, 206, 230, 284 ], [ 27, 83, 91, 103, 179, 195, 207, 231, 284 ], [ 60, 72, 80, 96, 140, 164, 196, 224, 285 ], [ 61, 73, 81, 97, 141, 165, 197, 225, 285 ], [ 62, 74, 82, 98, 142, 166, 198, 226, 285 ], [ 63, 75, 83, 99, 143, 167, 199, 227, 285 ], [ 56, 84, 92, 124, 144, 192, 220, 244, 286 ], [ 57, 85, 93, 125, 145, 193, 221, 245, 286 ], [ 58, 86, 94, 126, 146, 194, 222, 246, 286 ], [ 59, 87, 95, 127, 147, 195, 223, 247, 286 ], [ 4, 52, 64, 88, 148, 156, 216, 252, 287 ], [ 5, 53, 65, 89, 149, 157, 217, 253, 287 ], [ 6, 54, 66, 90, 150, 158, 218, 254, 287 ], [ 7, 55, 67, 91, 151, 159, 219, 255, 287 ], [ 60, 68, 84, 88, 128, 172, 212, 236, 288 ], [ 61, 69, 85, 89, 129, 173, 213, 237, 288 ], [ 62, 70, 86, 90, 130, 174, 214, 238, 288 ], [ 63, 71, 87, 91, 131, 175, 215, 239, 288 ], [ 8, 56, 64, 80, 168, 180, 208, 240, 289 ], [ 9, 57, 65, 81, 169, 181, 209, 241, 289 ], [ 10, 58, 66, 82, 170, 182, 210, 242, 289 ], [ 11, 59, 67, 83, 171, 183, 211, 243, 289 ], [ 52, 76, 96, 124, 152, 184, 204, 248, 290 ], [ 53, 77, 97, 125, 153, 185, 205, 249, 290 ], [ 54, 78, 98, 126, 154, 186, 206, 250, 290 ], [ 55, 79, 99, 127, 155, 187, 207, 251, 290 ], [ 36, 48, 56, 72, 148, 172, 200, 204, 291 ], [ 37, 49, 57, 73, 149, 173, 201, 205, 291 ], [ 38, 50, 58, 74, 150, 174, 202, 206, 291 ], [ 39, 51, 59, 75, 151, 175, 203, 207, 291 ], [ 32, 44, 52, 68, 144, 176, 196, 208, 292 ], [ 33, 45, 53, 69, 145, 177, 197, 209, 292 ], [ 34, 46, 54, 70, 146, 178, 198, 210, 292 ], [ 35, 47, 55, 71, 147, 179, 199, 211, 292 ], [ 0, 28, 40, 64, 140, 192, 212, 248, 293 ], [ 1, 29, 41, 65, 141, 193, 213, 249, 293 ], [ 2, 30, 42, 66, 142, 194, 214, 250, 293 ], [ 3, 31, 43, 67, 143, 195, 215, 251, 293 ], [ 36, 44, 60, 64, 152, 160, 188, 220, 294 ], [ 37, 45, 61, 65, 153, 161, 189, 221, 294 ], [ 38, 46, 62, 66, 154, 162, 190, 222, 294 ], [ 39, 47, 63, 67, 155, 163, 191, 223, 294 ], [ 40, 56, 68, 116, 156, 184, 224, 232, 295 ], [ 41, 57, 69, 117, 157, 185, 225, 233, 295 ], [ 42, 58, 70, 118, 158, 186, 226, 234, 295 ], [ 43, 59, 71, 119, 159, 187, 227, 235, 295 ], [ 28, 52, 72, 120, 136, 180, 236, 244, 296 ], [ 29, 53, 73, 121, 137, 181, 237, 245, 296 ], [ 30, 54, 74, 122, 138, 182, 238, 246, 296 ], [ 31, 55, 75, 123, 139, 183, 239, 247, 296 ], [ 20, 48, 112, 116, 152, 176, 180, 212, 297 ], [ 21, 49, 113, 117, 153, 177, 181, 213, 297 ], [ 22, 50, 114, 118, 154, 178, 182, 214, 297 ], [ 23, 51, 115, 119, 155, 179, 183, 215, 297 ], [ 16, 24, 28, 44, 132, 172, 184, 240, 298 ], [ 17, 25, 29, 45, 133, 173, 185, 241, 298 ], [ 18, 26, 30, 46, 134, 174, 186, 242, 298 ], [ 19, 27, 31, 47, 135, 175, 187, 243, 298 ], [ 12, 32, 40, 104, 168, 188, 204, 236, 299 ], [ 13, 33, 41, 105, 169, 189, 205, 237, 299 ], [ 14, 34, 42, 106, 170, 190, 206, 238, 299 ], [ 15, 35, 43, 107, 171, 191, 207, 239, 299 ], [ 20, 24, 36, 40, 136, 144, 164, 252, 300 ], [ 21, 25, 37, 41, 137, 145, 165, 253, 300 ], [ 22, 26, 38, 42, 138, 146, 166, 254, 300 ], [ 23, 27, 39, 43, 139, 147, 167, 255, 300 ], [ 12, 28, 48, 108, 156, 196, 220, 228, 301 ], [ 13, 29, 49, 109, 157, 197, 221, 229, 301 ], [ 14, 30, 50, 110, 158, 198, 222, 230, 301 ], [ 15, 31, 51, 111, 159, 199, 223, 231, 301 ], [ 0, 1, 2, 3, 256, 258, 264, 277 ], [ 4, 5, 6, 7, 260, 271, 274 ], [ 8, 9, 10, 11, 261, 268 ], [ 12, 13, 14, 15, 266, 275 ], [ 16, 17, 18, 19, 265, 268, 276 ], [ 20, 21, 22, 23, 269 ], [ 24, 25, 26, 27, 256, 257, 262, 278 ], [ 28, 29, 30, 31, 261, 263, 269 ], [ 32, 33, 34, 35, 262, 270 ], [ 36, 37, 38, 39, 277 ], [ 40, 41, 42, 43, 259, 267, 271, 276 ], [ 44, 45, 46, 47, 258, 272, 275 ], [ 48, 49, 50, 51, 265, 273, 274, 278 ], [ 52, 53, 54, 55, 257, 259, 273 ], [ 56, 57, 58, 59, 260, 262, 272 ], [ 60, 61, 62, 63, 263, 271, 278 ], [ 64, 65, 66, 67, 265, 270 ], [ 68, 69, 70, 71, 266, 269, 274 ], [ 72, 73, 74, 75, 267, 268, 275 ], [ 76, 77, 78, 79, 267, 272, 278 ], [ 80, 81, 82, 83, 258, 266, 273, 276 ], [ 84, 85, 86, 87, 256, 259, 265, 275 ], [ 88, 89, 90, 91, 264 ], [ 92, 93, 94, 95, 257, 263, 270 ], [ 96, 97, 98, 99, 262, 269, 277 ], [ 100, 101, 102, 103, 261, 267, 270, 274 ], [ 104, 105, 106, 107, 260, 263, 273, 277 ], [ 108, 109, 110, 111, 259, 264, 272 ], [ 112, 113, 114, 115, 258, 271 ], [ 116, 117, 118, 119, 257, 264, 268 ], [ 120, 121, 122, 123, 256, 260, 266 ], [ 124, 125, 126, 127, 261, 276 ], [ 128, 129, 130, 131, 256, 274 ], [ 132, 133, 134, 135, 256, 263, 268 ], [ 136, 137, 138, 139, 256, 267, 269 ], [ 140, 141, 142, 143, 258, 263, 267 ], [ 144, 145, 146, 147, 259, 262 ], [ 148, 149, 150, 151, 260, 265 ], [ 152, 153, 154, 155, 278 ], [ 156, 157, 158, 159, 259, 274 ], [ 160, 161, 162, 163, 258 ], [ 164, 165, 166, 167, 276, 277, 278 ], [ 168, 169, 170, 171, 260, 276 ], [ 172, 173, 174, 175, 275, 278 ], [ 176, 177, 178, 179, 257, 258, 274 ], [ 180, 181, 182, 183, 268, 273 ], [ 184, 185, 186, 187, 257, 269, 272, 276 ], [ 188, 189, 190, 191, 270, 271, 275, 277 ], [ 192, 193, 194, 195, 256, 270, 276 ], [ 196, 197, 198, 199, 269, 273, 275 ], [ 200, 201, 202, 203, 268, 272, 274, 277 ], [ 204, 205, 206, 207, 262, 267, 273 ], [ 208, 209, 210, 211, 266, 270, 272 ], [ 212, 213, 214, 215, 264, 265, 269, 271 ], [ 216, 217, 218, 219, 264, 270, 273 ], [ 220, 221, 222, 223, 263, 265, 272 ], [ 224, 225, 226, 227, 262, 266, 268, 271 ], [ 228, 229, 230, 231, 261, 264, 266, 278 ], [ 232, 233, 234, 235, 260, 264, 267 ], [ 236, 237, 238, 239, 259, 263, 266 ], [ 240, 241, 242, 243, 258, 261, 262, 265 ], [ 244, 245, 246, 247, 257, 260, 261, 275 ], [ 248, 249, 250, 251, 259, 261, 277 ], [ 252, 253, 254, 255, 257, 271 ] ], "Z": [ [ 0, 24, 84, 120, 128, 132, 136, 192, 256 ], [ 1, 25, 85, 121, 129, 133, 137, 193, 256 ], [ 2, 26, 86, 122, 130, 134, 138, 194, 256 ], [ 3, 27, 87, 123, 131, 135, 139, 195, 256 ], [ 24, 52, 92, 116, 176, 184, 244, 252, 257 ], [ 25, 53, 93, 117, 177, 185, 245, 253, 257 ], [ 26, 54, 94, 118, 178, 186, 246, 254, 257 ], [ 27, 55, 95, 119, 179, 187, 247, 255, 257 ], [ 0, 44, 80, 112, 140, 160, 176, 240, 258 ], [ 1, 45, 81, 113, 141, 161, 177, 241, 258 ], [ 2, 46, 82, 114, 142, 162, 178, 242, 258 ], [ 3, 47, 83, 115, 143, 163, 179, 243, 258 ], [ 40, 52, 84, 108, 144, 156, 236, 248, 259 ], [ 41, 53, 85, 109, 145, 157, 237, 249, 259 ], [ 42, 54, 86, 110, 146, 158, 238, 250, 259 ], [ 43, 55, 87, 111, 147, 159, 239, 251, 259 ], [ 4, 56, 104, 120, 148, 168, 232, 244, 260 ], [ 5, 57, 105, 121, 149, 169, 233, 245, 260 ], [ 6, 58, 106, 122, 150, 170, 234, 246, 260 ], [ 7, 59, 107, 123, 151, 171, 235, 247, 260 ], [ 8, 28, 100, 124, 228, 240, 244, 248, 261 ], [ 9, 29, 101, 125, 229, 241, 245, 249, 261 ], [ 10, 30, 102, 126, 230, 242, 246, 250, 261 ], [ 11, 31, 103, 127, 231, 243, 247, 251, 261 ], [ 24, 32, 56, 96, 144, 204, 224, 240, 262 ], [ 25, 33, 57, 97, 145, 205, 225, 241, 262 ], [ 26, 34, 58, 98, 146, 206, 226, 242, 262 ], [ 27, 35, 59, 99, 147, 207, 227, 243, 262 ], [ 28, 60, 92, 104, 132, 140, 220, 236, 263 ], [ 29, 61, 93, 105, 133, 141, 221, 237, 263 ], [ 30, 62, 94, 106, 134, 142, 222, 238, 263 ], [ 31, 63, 95, 107, 135, 143, 223, 239, 263 ], [ 0, 88, 108, 116, 212, 216, 228, 232, 264 ], [ 1, 89, 109, 117, 213, 217, 229, 233, 264 ], [ 2, 90, 110, 118, 214, 218, 230, 234, 264 ], [ 3, 91, 111, 119, 215, 219, 231, 235, 264 ], [ 16, 48, 64, 84, 148, 212, 220, 240, 265 ], [ 17, 49, 65, 85, 149, 213, 221, 241, 265 ], [ 18, 50, 66, 86, 150, 214, 222, 242, 265 ], [ 19, 51, 67, 87, 151, 215, 223, 243, 265 ], [ 12, 68, 80, 120, 208, 224, 228, 236, 266 ], [ 13, 69, 81, 121, 209, 225, 229, 237, 266 ], [ 14, 70, 82, 122, 210, 226, 230, 238, 266 ], [ 15, 71, 83, 123, 211, 227, 231, 239, 266 ], [ 40, 72, 76, 100, 136, 140, 204, 232, 267 ], [ 41, 73, 77, 101, 137, 141, 205, 233, 267 ], [ 42, 74, 78, 102, 138, 142, 206, 234, 267 ], [ 43, 75, 79, 103, 139, 143, 207, 235, 267 ], [ 8, 16, 72, 116, 132, 180, 200, 224, 268 ], [ 9, 17, 73, 117, 133, 181, 201, 225, 268 ], [ 10, 18, 74, 118, 134, 182, 202, 226, 268 ], [ 11, 19, 75, 119, 135, 183, 203, 227, 268 ], [ 20, 28, 68, 96, 136, 184, 196, 212, 269 ], [ 21, 29, 69, 97, 137, 185, 197, 213, 269 ], [ 22, 30, 70, 98, 138, 186, 198, 214, 269 ], [ 23, 31, 71, 99, 139, 187, 199, 215, 269 ], [ 32, 64, 92, 100, 188, 192, 208, 216, 270 ], [ 33, 65, 93, 101, 189, 193, 209, 217, 270 ], [ 34, 66, 94, 102, 190, 194, 210, 218, 270 ], [ 35, 67, 95, 103, 191, 195, 211, 219, 270 ], [ 4, 40, 60, 112, 188, 212, 224, 252, 271 ], [ 5, 41, 61, 113, 189, 213, 225, 253, 271 ], [ 6, 42, 62, 114, 190, 214, 226, 254, 271 ], [ 7, 43, 63, 115, 191, 215, 227, 255, 271 ], [ 44, 56, 76, 108, 184, 200, 208, 220, 272 ], [ 45, 57, 77, 109, 185, 201, 209, 221, 272 ], [ 46, 58, 78, 110, 186, 202, 210, 222, 272 ], [ 47, 59, 79, 111, 187, 203, 211, 223, 272 ], [ 48, 52, 80, 104, 180, 196, 204, 216, 273 ], [ 49, 53, 81, 105, 181, 197, 205, 217, 273 ], [ 50, 54, 82, 106, 182, 198, 206, 218, 273 ], [ 51, 55, 83, 107, 183, 199, 207, 219, 273 ], [ 4, 48, 68, 100, 128, 156, 176, 200, 274 ], [ 5, 49, 69, 101, 129, 157, 177, 201, 274 ], [ 6, 50, 70, 102, 130, 158, 178, 202, 274 ], [ 7, 51, 71, 103, 131, 159, 179, 203, 274 ], [ 12, 44, 72, 84, 172, 188, 196, 244, 275 ], [ 13, 45, 73, 85, 173, 189, 197, 245, 275 ], [ 14, 46, 74, 86, 174, 190, 198, 246, 275 ], [ 15, 47, 75, 87, 175, 191, 199, 247, 275 ], [ 16, 40, 80, 124, 164, 168, 184, 192, 276 ], [ 17, 41, 81, 125, 165, 169, 185, 193, 276 ], [ 18, 42, 82, 126, 166, 170, 186, 194, 276 ], [ 19, 43, 83, 127, 167, 171, 187, 195, 276 ], [ 0, 36, 96, 104, 164, 188, 200, 248, 277 ], [ 1, 37, 97, 105, 165, 189, 201, 249, 277 ], [ 2, 38, 98, 106, 166, 190, 202, 250, 277 ], [ 3, 39, 99, 107, 167, 191, 203, 251, 277 ], [ 24, 48, 60, 76, 152, 164, 172, 228, 278 ], [ 25, 49, 61, 77, 153, 165, 173, 229, 278 ], [ 26, 50, 62, 78, 154, 166, 174, 230, 278 ], [ 27, 51, 63, 79, 155, 167, 175, 231, 278 ], [ 0, 1, 2, 3, 279, 293 ], [ 4, 5, 6, 7, 287 ], [ 8, 9, 10, 11, 289 ], [ 12, 13, 14, 15, 299, 301 ], [ 16, 17, 18, 19, 283, 298 ], [ 20, 21, 22, 23, 282, 297, 300 ], [ 24, 25, 26, 27, 284, 298, 300 ], [ 28, 29, 30, 31, 293, 296, 298, 301 ], [ 32, 33, 34, 35, 279, 292, 299 ], [ 36, 37, 38, 39, 291, 294, 300 ], [ 40, 41, 42, 43, 293, 295, 299, 300 ], [ 44, 45, 46, 47, 280, 292, 294, 298 ], [ 48, 49, 50, 51, 279, 291, 297, 301 ], [ 52, 53, 54, 55, 287, 290, 292, 296 ], [ 56, 57, 58, 59, 286, 289, 291, 295 ], [ 60, 61, 62, 63, 285, 288, 294 ], [ 64, 65, 66, 67, 287, 289, 293, 294 ], [ 68, 69, 70, 71, 288, 292, 295 ], [ 72, 73, 74, 75, 285, 291, 296 ], [ 76, 77, 78, 79, 283, 290 ], [ 80, 81, 82, 83, 282, 284, 285, 289 ], [ 84, 85, 86, 87, 281, 286, 288 ], [ 88, 89, 90, 91, 283, 284, 287, 288 ], [ 92, 93, 94, 95, 282, 286 ], [ 96, 97, 98, 99, 281, 285, 290 ], [ 100, 101, 102, 103, 280, 281, 284 ], [ 104, 105, 106, 107, 280, 283, 299 ], [ 108, 109, 110, 111, 282, 301 ], [ 112, 113, 114, 115, 281, 297 ], [ 116, 117, 118, 119, 280, 295, 297 ], [ 120, 121, 122, 123, 296 ], [ 124, 125, 126, 127, 279, 286, 290 ], [ 128, 129, 130, 131, 279, 288 ], [ 132, 133, 134, 135, 298 ], [ 136, 137, 138, 139, 281, 296, 300 ], [ 140, 141, 142, 143, 280, 285, 293 ], [ 144, 145, 146, 147, 286, 292, 300 ], [ 148, 149, 150, 151, 287, 291 ], [ 152, 153, 154, 155, 290, 294, 297 ], [ 156, 157, 158, 159, 281, 287, 295, 301 ], [ 160, 161, 162, 163, 282, 294 ], [ 164, 165, 166, 167, 279, 283, 285, 300 ], [ 168, 169, 170, 171, 289, 299 ], [ 172, 173, 174, 175, 288, 291, 298 ], [ 176, 177, 178, 179, 284, 292, 297 ], [ 180, 181, 182, 183, 283, 289, 296, 297 ], [ 184, 185, 186, 187, 282, 290, 295, 298 ], [ 188, 189, 190, 191, 281, 294, 299 ], [ 192, 193, 194, 195, 284, 286, 293 ], [ 196, 197, 198, 199, 285, 292, 301 ], [ 200, 201, 202, 203, 280, 291 ], [ 204, 205, 206, 207, 284, 290, 291, 299 ], [ 208, 209, 210, 211, 289, 292 ], [ 212, 213, 214, 215, 288, 293, 297 ], [ 216, 217, 218, 219, 279, 280, 282, 287 ], [ 220, 221, 222, 223, 283, 286, 294, 301 ], [ 224, 225, 226, 227, 285, 295 ], [ 228, 229, 230, 231, 284, 301 ], [ 232, 233, 234, 235, 283, 295 ], [ 236, 237, 238, 239, 282, 288, 296, 299 ], [ 240, 241, 242, 243, 279, 281, 289, 298 ], [ 244, 245, 246, 247, 280, 286, 296 ], [ 248, 249, 250, 251, 290, 293 ], [ 252, 253, 254, 255, 287, 300 ] ] }, "distance": { "d": 16, "X": { "value": 16, "confidence": "upper_bound", "witness": [ 28, 29, 64, 65, 116, 117, 124, 125, 180, 181, 184, 185, 216, 217, 220, 221 ] }, "Z": { "value": 16, "confidence": "upper_bound", "witness": [ 48, 49, 76, 77, 96, 97, 116, 117, 156, 157, 164, 165, 200, 201, 252, 253 ] } }, "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 [[64,18,8]] entry, using a sparse independent-row presentation of its checks: n' = 4n + m_X + m_Z = 302, k' = 2k = 36, check weight w' = w+1 = 9. X/Z witnesses are the base witnesses tensored with the weight-2 [[4,2,2]] logical on the central register (weights 16/16); a 100000-trial fast-backend search (seed 5000) found nothing lighter (min weight 16). Base provenance: 2BGA from Lin-Pryadko database: GAP SmallGroup(32,21), a=1+g2+g3+g17, b=1+g7+g22+g31", "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" }