{ "schema_version": "0.3", "name": "orchestrator bb-w4-mid it427 [[320,12,27]]", "code_type": "CSS", "n": 320, "k": 12, "checks": { "X": [ [ 32, 39, 105, 142, 171, 181, 193, 242 ], [ 30, 33, 106, 143, 172, 182, 194, 243 ], [ 31, 34, 107, 144, 173, 183, 195, 244 ], [ 32, 35, 108, 145, 174, 184, 196, 245 ], [ 33, 36, 109, 146, 175, 185, 197, 246 ], [ 34, 37, 100, 147, 176, 186, 198, 247 ], [ 35, 38, 101, 148, 177, 187, 199, 248 ], [ 36, 39, 102, 149, 178, 188, 190, 249 ], [ 30, 37, 103, 140, 179, 189, 191, 240 ], [ 31, 38, 104, 141, 170, 180, 192, 241 ], [ 42, 49, 115, 152, 181, 191, 203, 252 ], [ 40, 43, 116, 153, 182, 192, 204, 253 ], [ 41, 44, 117, 154, 183, 193, 205, 254 ], [ 42, 45, 118, 155, 184, 194, 206, 255 ], [ 43, 46, 119, 156, 185, 195, 207, 256 ], [ 44, 47, 110, 157, 186, 196, 208, 257 ], [ 45, 48, 111, 158, 187, 197, 209, 258 ], [ 46, 49, 112, 159, 188, 198, 200, 259 ], [ 40, 47, 113, 150, 189, 199, 201, 250 ], [ 41, 48, 114, 151, 180, 190, 202, 251 ], [ 2, 52, 59, 125, 191, 201, 213, 262 ], [ 3, 50, 53, 126, 192, 202, 214, 263 ], [ 4, 51, 54, 127, 193, 203, 215, 264 ], [ 5, 52, 55, 128, 194, 204, 216, 265 ], [ 6, 53, 56, 129, 195, 205, 217, 266 ], [ 7, 54, 57, 120, 196, 206, 218, 267 ], [ 8, 55, 58, 121, 197, 207, 219, 268 ], [ 9, 56, 59, 122, 198, 208, 210, 269 ], [ 0, 50, 57, 123, 199, 209, 211, 260 ], [ 1, 51, 58, 124, 190, 200, 212, 261 ], [ 12, 62, 69, 135, 201, 211, 223, 272 ], [ 13, 60, 63, 136, 202, 212, 224, 273 ], [ 14, 61, 64, 137, 203, 213, 225, 274 ], [ 15, 62, 65, 138, 204, 214, 226, 275 ], [ 16, 63, 66, 139, 205, 215, 227, 276 ], [ 17, 64, 67, 130, 206, 216, 228, 277 ], [ 18, 65, 68, 131, 207, 217, 229, 278 ], [ 19, 66, 69, 132, 208, 218, 220, 279 ], [ 10, 60, 67, 133, 209, 219, 221, 270 ], [ 11, 61, 68, 134, 200, 210, 222, 271 ], [ 22, 72, 79, 145, 211, 221, 233, 282 ], [ 23, 70, 73, 146, 212, 222, 234, 283 ], [ 24, 71, 74, 147, 213, 223, 235, 284 ], [ 25, 72, 75, 148, 214, 224, 236, 285 ], [ 26, 73, 76, 149, 215, 225, 237, 286 ], [ 27, 74, 77, 140, 216, 226, 238, 287 ], [ 28, 75, 78, 141, 217, 227, 239, 288 ], [ 29, 76, 79, 142, 218, 228, 230, 289 ], [ 20, 70, 77, 143, 219, 229, 231, 280 ], [ 21, 71, 78, 144, 210, 220, 232, 281 ], [ 32, 82, 89, 155, 221, 231, 243, 292 ], [ 33, 80, 83, 156, 222, 232, 244, 293 ], [ 34, 81, 84, 157, 223, 233, 245, 294 ], [ 35, 82, 85, 158, 224, 234, 246, 295 ], [ 36, 83, 86, 159, 225, 235, 247, 296 ], [ 37, 84, 87, 150, 226, 236, 248, 297 ], [ 38, 85, 88, 151, 227, 237, 249, 298 ], [ 39, 86, 89, 152, 228, 238, 240, 299 ], [ 30, 80, 87, 153, 229, 239, 241, 290 ], [ 31, 81, 88, 154, 220, 230, 242, 291 ], [ 5, 42, 92, 99, 231, 241, 253, 302 ], [ 6, 43, 90, 93, 232, 242, 254, 303 ], [ 7, 44, 91, 94, 233, 243, 255, 304 ], [ 8, 45, 92, 95, 234, 244, 256, 305 ], [ 9, 46, 93, 96, 235, 245, 257, 306 ], [ 0, 47, 94, 97, 236, 246, 258, 307 ], [ 1, 48, 95, 98, 237, 247, 259, 308 ], [ 2, 49, 96, 99, 238, 248, 250, 309 ], [ 3, 40, 90, 97, 239, 249, 251, 300 ], [ 4, 41, 91, 98, 230, 240, 252, 301 ], [ 15, 52, 102, 109, 241, 251, 263, 312 ], [ 16, 53, 100, 103, 242, 252, 264, 313 ], [ 17, 54, 101, 104, 243, 253, 265, 314 ], [ 18, 55, 102, 105, 244, 254, 266, 315 ], [ 19, 56, 103, 106, 245, 255, 267, 316 ], [ 10, 57, 104, 107, 246, 256, 268, 317 ], [ 11, 58, 105, 108, 247, 257, 269, 318 ], [ 12, 59, 106, 109, 248, 258, 260, 319 ], [ 13, 50, 100, 107, 249, 259, 261, 310 ], [ 14, 51, 101, 108, 240, 250, 262, 311 ], [ 25, 62, 112, 119, 162, 251, 261, 273 ], [ 26, 63, 110, 113, 163, 252, 262, 274 ], [ 27, 64, 111, 114, 164, 253, 263, 275 ], [ 28, 65, 112, 115, 165, 254, 264, 276 ], [ 29, 66, 113, 116, 166, 255, 265, 277 ], [ 20, 67, 114, 117, 167, 256, 266, 278 ], [ 21, 68, 115, 118, 168, 257, 267, 279 ], [ 22, 69, 116, 119, 169, 258, 268, 270 ], [ 23, 60, 110, 117, 160, 259, 269, 271 ], [ 24, 61, 111, 118, 161, 250, 260, 272 ], [ 35, 72, 122, 129, 172, 261, 271, 283 ], [ 36, 73, 120, 123, 173, 262, 272, 284 ], [ 37, 74, 121, 124, 174, 263, 273, 285 ], [ 38, 75, 122, 125, 175, 264, 274, 286 ], [ 39, 76, 123, 126, 176, 265, 275, 287 ], [ 30, 77, 124, 127, 177, 266, 276, 288 ], [ 31, 78, 125, 128, 178, 267, 277, 289 ], [ 32, 79, 126, 129, 179, 268, 278, 280 ], [ 33, 70, 120, 127, 170, 269, 279, 281 ], [ 34, 71, 121, 128, 171, 260, 270, 282 ], [ 45, 82, 132, 139, 182, 271, 281, 293 ], [ 46, 83, 130, 133, 183, 272, 282, 294 ], [ 47, 84, 131, 134, 184, 273, 283, 295 ], [ 48, 85, 132, 135, 185, 274, 284, 296 ], [ 49, 86, 133, 136, 186, 275, 285, 297 ], [ 40, 87, 134, 137, 187, 276, 286, 298 ], [ 41, 88, 135, 138, 188, 277, 287, 299 ], [ 42, 89, 136, 139, 189, 278, 288, 290 ], [ 43, 80, 130, 137, 180, 279, 289, 291 ], [ 44, 81, 131, 138, 181, 270, 280, 292 ], [ 55, 92, 142, 149, 192, 281, 291, 303 ], [ 56, 93, 140, 143, 193, 282, 292, 304 ], [ 57, 94, 141, 144, 194, 283, 293, 305 ], [ 58, 95, 142, 145, 195, 284, 294, 306 ], [ 59, 96, 143, 146, 196, 285, 295, 307 ], [ 50, 97, 144, 147, 197, 286, 296, 308 ], [ 51, 98, 145, 148, 198, 287, 297, 309 ], [ 52, 99, 146, 149, 199, 288, 298, 300 ], [ 53, 90, 140, 147, 190, 289, 299, 301 ], [ 54, 91, 141, 148, 191, 280, 290, 302 ], [ 65, 102, 152, 159, 202, 291, 301, 313 ], [ 66, 103, 150, 153, 203, 292, 302, 314 ], [ 67, 104, 151, 154, 204, 293, 303, 315 ], [ 68, 105, 152, 155, 205, 294, 304, 316 ], [ 69, 106, 153, 156, 206, 295, 305, 317 ], [ 60, 107, 154, 157, 207, 296, 306, 318 ], [ 61, 108, 155, 158, 208, 297, 307, 319 ], [ 62, 109, 156, 159, 209, 298, 308, 310 ], [ 63, 100, 150, 157, 200, 299, 309, 311 ], [ 64, 101, 151, 158, 201, 290, 300, 312 ], [ 2, 9, 75, 112, 163, 212, 301, 311 ], [ 0, 3, 76, 113, 164, 213, 302, 312 ], [ 1, 4, 77, 114, 165, 214, 303, 313 ], [ 2, 5, 78, 115, 166, 215, 304, 314 ], [ 3, 6, 79, 116, 167, 216, 305, 315 ], [ 4, 7, 70, 117, 168, 217, 306, 316 ], [ 5, 8, 71, 118, 169, 218, 307, 317 ], [ 6, 9, 72, 119, 160, 219, 308, 318 ], [ 0, 7, 73, 110, 161, 210, 309, 319 ], [ 1, 8, 74, 111, 162, 211, 300, 310 ], [ 12, 19, 85, 122, 161, 173, 222, 311 ], [ 10, 13, 86, 123, 162, 174, 223, 312 ], [ 11, 14, 87, 124, 163, 175, 224, 313 ], [ 12, 15, 88, 125, 164, 176, 225, 314 ], [ 13, 16, 89, 126, 165, 177, 226, 315 ], [ 14, 17, 80, 127, 166, 178, 227, 316 ], [ 15, 18, 81, 128, 167, 179, 228, 317 ], [ 16, 19, 82, 129, 168, 170, 229, 318 ], [ 10, 17, 83, 120, 169, 171, 220, 319 ], [ 11, 18, 84, 121, 160, 172, 221, 310 ], [ 22, 29, 95, 132, 161, 171, 183, 232 ], [ 20, 23, 96, 133, 162, 172, 184, 233 ], [ 21, 24, 97, 134, 163, 173, 185, 234 ], [ 22, 25, 98, 135, 164, 174, 186, 235 ], [ 23, 26, 99, 136, 165, 175, 187, 236 ], [ 24, 27, 90, 137, 166, 176, 188, 237 ], [ 25, 28, 91, 138, 167, 177, 189, 238 ], [ 26, 29, 92, 139, 168, 178, 180, 239 ], [ 20, 27, 93, 130, 169, 179, 181, 230 ], [ 21, 28, 94, 131, 160, 170, 182, 231 ] ], "Z": [ [ 88, 137, 149, 159, 188, 225, 291, 298 ], [ 89, 138, 140, 150, 189, 226, 292, 299 ], [ 80, 139, 141, 151, 180, 227, 290, 293 ], [ 81, 130, 142, 152, 181, 228, 291, 294 ], [ 82, 131, 143, 153, 182, 229, 292, 295 ], [ 83, 132, 144, 154, 183, 220, 293, 296 ], [ 84, 133, 145, 155, 184, 221, 294, 297 ], [ 85, 134, 146, 156, 185, 222, 295, 298 ], [ 86, 135, 147, 157, 186, 223, 296, 299 ], [ 87, 136, 148, 158, 187, 224, 290, 297 ], [ 9, 98, 147, 159, 198, 235, 301, 308 ], [ 0, 99, 148, 150, 199, 236, 302, 309 ], [ 1, 90, 149, 151, 190, 237, 300, 303 ], [ 2, 91, 140, 152, 191, 238, 301, 304 ], [ 3, 92, 141, 153, 192, 239, 302, 305 ], [ 4, 93, 142, 154, 193, 230, 303, 306 ], [ 5, 94, 143, 155, 194, 231, 304, 307 ], [ 6, 95, 144, 156, 195, 232, 305, 308 ], [ 7, 96, 145, 157, 196, 233, 306, 309 ], [ 8, 97, 146, 158, 197, 234, 300, 307 ], [ 9, 19, 108, 157, 208, 245, 311, 318 ], [ 0, 10, 109, 158, 209, 246, 312, 319 ], [ 1, 11, 100, 159, 200, 247, 310, 313 ], [ 2, 12, 101, 150, 201, 248, 311, 314 ], [ 3, 13, 102, 151, 202, 249, 312, 315 ], [ 4, 14, 103, 152, 203, 240, 313, 316 ], [ 5, 15, 104, 153, 204, 241, 314, 317 ], [ 6, 16, 105, 154, 205, 242, 315, 318 ], [ 7, 17, 106, 155, 206, 243, 316, 319 ], [ 8, 18, 107, 156, 207, 244, 310, 317 ], [ 7, 19, 29, 118, 161, 168, 218, 255 ], [ 8, 10, 20, 119, 162, 169, 219, 256 ], [ 9, 11, 21, 110, 160, 163, 210, 257 ], [ 0, 12, 22, 111, 161, 164, 211, 258 ], [ 1, 13, 23, 112, 162, 165, 212, 259 ], [ 2, 14, 24, 113, 163, 166, 213, 250 ], [ 3, 15, 25, 114, 164, 167, 214, 251 ], [ 4, 16, 26, 115, 165, 168, 215, 252 ], [ 5, 17, 27, 116, 166, 169, 216, 253 ], [ 6, 18, 28, 117, 160, 167, 217, 254 ], [ 17, 29, 39, 128, 171, 178, 228, 265 ], [ 18, 20, 30, 129, 172, 179, 229, 266 ], [ 19, 21, 31, 120, 170, 173, 220, 267 ], [ 10, 22, 32, 121, 171, 174, 221, 268 ], [ 11, 23, 33, 122, 172, 175, 222, 269 ], [ 12, 24, 34, 123, 173, 176, 223, 260 ], [ 13, 25, 35, 124, 174, 177, 224, 261 ], [ 14, 26, 36, 125, 175, 178, 225, 262 ], [ 15, 27, 37, 126, 176, 179, 226, 263 ], [ 16, 28, 38, 127, 170, 177, 227, 264 ], [ 27, 39, 49, 138, 181, 188, 238, 275 ], [ 28, 30, 40, 139, 182, 189, 239, 276 ], [ 29, 31, 41, 130, 180, 183, 230, 277 ], [ 20, 32, 42, 131, 181, 184, 231, 278 ], [ 21, 33, 43, 132, 182, 185, 232, 279 ], [ 22, 34, 44, 133, 183, 186, 233, 270 ], [ 23, 35, 45, 134, 184, 187, 234, 271 ], [ 24, 36, 46, 135, 185, 188, 235, 272 ], [ 25, 37, 47, 136, 186, 189, 236, 273 ], [ 26, 38, 48, 137, 180, 187, 237, 274 ], [ 37, 49, 59, 148, 191, 198, 248, 285 ], [ 38, 40, 50, 149, 192, 199, 249, 286 ], [ 39, 41, 51, 140, 190, 193, 240, 287 ], [ 30, 42, 52, 141, 191, 194, 241, 288 ], [ 31, 43, 53, 142, 192, 195, 242, 289 ], [ 32, 44, 54, 143, 193, 196, 243, 280 ], [ 33, 45, 55, 144, 194, 197, 244, 281 ], [ 34, 46, 56, 145, 195, 198, 245, 282 ], [ 35, 47, 57, 146, 196, 199, 246, 283 ], [ 36, 48, 58, 147, 190, 197, 247, 284 ], [ 47, 59, 69, 158, 201, 208, 258, 295 ], [ 48, 50, 60, 159, 202, 209, 259, 296 ], [ 49, 51, 61, 150, 200, 203, 250, 297 ], [ 40, 52, 62, 151, 201, 204, 251, 298 ], [ 41, 53, 63, 152, 202, 205, 252, 299 ], [ 42, 54, 64, 153, 203, 206, 253, 290 ], [ 43, 55, 65, 154, 204, 207, 254, 291 ], [ 44, 56, 66, 155, 205, 208, 255, 292 ], [ 45, 57, 67, 156, 206, 209, 256, 293 ], [ 46, 58, 68, 157, 200, 207, 257, 294 ], [ 8, 57, 69, 79, 211, 218, 268, 305 ], [ 9, 58, 60, 70, 212, 219, 269, 306 ], [ 0, 59, 61, 71, 210, 213, 260, 307 ], [ 1, 50, 62, 72, 211, 214, 261, 308 ], [ 2, 51, 63, 73, 212, 215, 262, 309 ], [ 3, 52, 64, 74, 213, 216, 263, 300 ], [ 4, 53, 65, 75, 214, 217, 264, 301 ], [ 5, 54, 66, 76, 215, 218, 265, 302 ], [ 6, 55, 67, 77, 216, 219, 266, 303 ], [ 7, 56, 68, 78, 210, 217, 267, 304 ], [ 18, 67, 79, 89, 221, 228, 278, 315 ], [ 19, 68, 70, 80, 222, 229, 279, 316 ], [ 10, 69, 71, 81, 220, 223, 270, 317 ], [ 11, 60, 72, 82, 221, 224, 271, 318 ], [ 12, 61, 73, 83, 222, 225, 272, 319 ], [ 13, 62, 74, 84, 223, 226, 273, 310 ], [ 14, 63, 75, 85, 224, 227, 274, 311 ], [ 15, 64, 76, 86, 225, 228, 275, 312 ], [ 16, 65, 77, 87, 226, 229, 276, 313 ], [ 17, 66, 78, 88, 220, 227, 277, 314 ], [ 28, 77, 89, 99, 165, 231, 238, 288 ], [ 29, 78, 80, 90, 166, 232, 239, 289 ], [ 20, 79, 81, 91, 167, 230, 233, 280 ], [ 21, 70, 82, 92, 168, 231, 234, 281 ], [ 22, 71, 83, 93, 169, 232, 235, 282 ], [ 23, 72, 84, 94, 160, 233, 236, 283 ], [ 24, 73, 85, 95, 161, 234, 237, 284 ], [ 25, 74, 86, 96, 162, 235, 238, 285 ], [ 26, 75, 87, 97, 163, 236, 239, 286 ], [ 27, 76, 88, 98, 164, 230, 237, 287 ], [ 38, 87, 99, 109, 175, 241, 248, 298 ], [ 39, 88, 90, 100, 176, 242, 249, 299 ], [ 30, 89, 91, 101, 177, 240, 243, 290 ], [ 31, 80, 92, 102, 178, 241, 244, 291 ], [ 32, 81, 93, 103, 179, 242, 245, 292 ], [ 33, 82, 94, 104, 170, 243, 246, 293 ], [ 34, 83, 95, 105, 171, 244, 247, 294 ], [ 35, 84, 96, 106, 172, 245, 248, 295 ], [ 36, 85, 97, 107, 173, 246, 249, 296 ], [ 37, 86, 98, 108, 174, 240, 247, 297 ], [ 48, 97, 109, 119, 185, 251, 258, 308 ], [ 49, 98, 100, 110, 186, 252, 259, 309 ], [ 40, 99, 101, 111, 187, 250, 253, 300 ], [ 41, 90, 102, 112, 188, 251, 254, 301 ], [ 42, 91, 103, 113, 189, 252, 255, 302 ], [ 43, 92, 104, 114, 180, 253, 256, 303 ], [ 44, 93, 105, 115, 181, 254, 257, 304 ], [ 45, 94, 106, 116, 182, 255, 258, 305 ], [ 46, 95, 107, 117, 183, 256, 259, 306 ], [ 47, 96, 108, 118, 184, 250, 257, 307 ], [ 58, 107, 119, 129, 195, 261, 268, 318 ], [ 59, 108, 110, 120, 196, 262, 269, 319 ], [ 50, 109, 111, 121, 197, 260, 263, 310 ], [ 51, 100, 112, 122, 198, 261, 264, 311 ], [ 52, 101, 113, 123, 199, 262, 265, 312 ], [ 53, 102, 114, 124, 190, 263, 266, 313 ], [ 54, 103, 115, 125, 191, 264, 267, 314 ], [ 55, 104, 116, 126, 192, 265, 268, 315 ], [ 56, 105, 117, 127, 193, 266, 269, 316 ], [ 57, 106, 118, 128, 194, 260, 267, 317 ], [ 68, 117, 129, 139, 168, 205, 271, 278 ], [ 69, 118, 120, 130, 169, 206, 272, 279 ], [ 60, 119, 121, 131, 160, 207, 270, 273 ], [ 61, 110, 122, 132, 161, 208, 271, 274 ], [ 62, 111, 123, 133, 162, 209, 272, 275 ], [ 63, 112, 124, 134, 163, 200, 273, 276 ], [ 64, 113, 125, 135, 164, 201, 274, 277 ], [ 65, 114, 126, 136, 165, 202, 275, 278 ], [ 66, 115, 127, 137, 166, 203, 276, 279 ], [ 67, 116, 128, 138, 167, 204, 270, 277 ], [ 78, 127, 139, 149, 178, 215, 281, 288 ], [ 79, 128, 130, 140, 179, 216, 282, 289 ], [ 70, 129, 131, 141, 170, 217, 280, 283 ], [ 71, 120, 132, 142, 171, 218, 281, 284 ], [ 72, 121, 133, 143, 172, 219, 282, 285 ], [ 73, 122, 134, 144, 173, 210, 283, 286 ], [ 74, 123, 135, 145, 174, 211, 284, 287 ], [ 75, 124, 136, 146, 175, 212, 285, 288 ], [ 76, 125, 137, 147, 176, 213, 286, 289 ], [ 77, 126, 138, 148, 177, 214, 280, 287 ] ] }, "distance": { "d": 27, "X": { "value": 27, "confidence": "upper_bound", "witness": [ 1, 8, 12, 17, 21, 23, 33, 83, 84, 95, 104, 106, 116, 128, 144, 145, 210, 211, 219, 234, 260, 267, 282, 303, 306, 310, 314 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-10-30", "found_at_samples": 300000000, "survived_samples": 300000000, "tool": "verify/ris_gpu.py (Perlmutter A100)", "seeds": [ 1 ] } }, "Z": { "value": 27, "confidence": "upper_bound", "witness": [ 10, 17, 43, 67, 68, 115, 123, 131, 134, 137, 155, 161, 166, 171, 173, 182, 193, 194, 203, 244, 254, 256, 260, 265, 292, 293, 319 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-10-30", "found_at_samples": 300000000, "survived_samples": 300000000, "tool": "verify/ris_gpu.py (Perlmutter A100)", "seeds": [ 1 ] } } }, "provenance": { "authors": [ "@vprusso" ], "construction": "Bivariate bicycle on Z_16 x Z_10 (n = 2lm = 320) with A = x^14y^2 + x^3y^9 + x^3y^2 + x^10y^5 and B = x^8y^2 + x^2y + xy + x^3y^3, H_X = [A | B], H_Z = [B^T | A^T]; built by research/kit/bb.build_bb(l=16, m=10, A_terms=[[14, 2], [3, 9], [3, 2], [10, 5]], B_terms=[[8, 2], [2, 1], [1, 1], [3, 3]]).", "references": [ "S. Bravyi, A. W. Cross, J. M. Gambetta, D. Maslov, P. Rall, and T. J. Yoder, High-threshold and low-overhead fault-tolerant quantum memory, Nature 627, 778 (2024), arXiv:2308.07915" ], "date": "2026-10-23", "notes": "Unattended loop run on Perlmutter, iteration 427, direction bb-w4-mid, seed 20261444. The loop gate's 8,000-trial search read d = 29; the deeper rungs recorded in notes/ read 27, and the document carries those witnesses.", "model": "Claude Fable 5.1 (Claude Code) working for @vprusso", "origin": "submission", "search_budget": { "candidates_screened": 106817, "tool": "research/kit/search.screen_adaptive; verify/heuristic_distance.estimate; verify/ris_gpu.py", "notes": "candidates_screened counts direction bb-w4-mid of the loop through 29 October; the loop's 390.6 CPU hours cover all five directions", "gpu_hours": 0.34, "ris_trials_per_side": 300000000 } }, "family": "bivariate-bicycle" }