{ "schema_version": "0.3", "name": "orchestrator bb-w4-mid it372 [[280,8,26]]", "code_type": "CSS", "n": 280, "k": 8, "checks": { "X": [ [ 8, 53, 80, 98, 186, 193, 229, 240 ], [ 9, 54, 81, 99, 187, 194, 220, 241 ], [ 0, 55, 82, 90, 188, 195, 221, 242 ], [ 1, 56, 83, 91, 189, 196, 222, 243 ], [ 2, 57, 84, 92, 180, 197, 223, 244 ], [ 3, 58, 85, 93, 181, 198, 224, 245 ], [ 4, 59, 86, 94, 182, 199, 225, 246 ], [ 5, 50, 87, 95, 183, 190, 226, 247 ], [ 6, 51, 88, 96, 184, 191, 227, 248 ], [ 7, 52, 89, 97, 185, 192, 228, 249 ], [ 18, 63, 90, 108, 196, 203, 239, 250 ], [ 19, 64, 91, 109, 197, 204, 230, 251 ], [ 10, 65, 92, 100, 198, 205, 231, 252 ], [ 11, 66, 93, 101, 199, 206, 232, 253 ], [ 12, 67, 94, 102, 190, 207, 233, 254 ], [ 13, 68, 95, 103, 191, 208, 234, 255 ], [ 14, 69, 96, 104, 192, 209, 235, 256 ], [ 15, 60, 97, 105, 193, 200, 236, 257 ], [ 16, 61, 98, 106, 194, 201, 237, 258 ], [ 17, 62, 99, 107, 195, 202, 238, 259 ], [ 28, 73, 100, 118, 206, 213, 249, 260 ], [ 29, 74, 101, 119, 207, 214, 240, 261 ], [ 20, 75, 102, 110, 208, 215, 241, 262 ], [ 21, 76, 103, 111, 209, 216, 242, 263 ], [ 22, 77, 104, 112, 200, 217, 243, 264 ], [ 23, 78, 105, 113, 201, 218, 244, 265 ], [ 24, 79, 106, 114, 202, 219, 245, 266 ], [ 25, 70, 107, 115, 203, 210, 246, 267 ], [ 26, 71, 108, 116, 204, 211, 247, 268 ], [ 27, 72, 109, 117, 205, 212, 248, 269 ], [ 38, 83, 110, 128, 216, 223, 259, 270 ], [ 39, 84, 111, 129, 217, 224, 250, 271 ], [ 30, 85, 112, 120, 218, 225, 251, 272 ], [ 31, 86, 113, 121, 219, 226, 252, 273 ], [ 32, 87, 114, 122, 210, 227, 253, 274 ], [ 33, 88, 115, 123, 211, 228, 254, 275 ], [ 34, 89, 116, 124, 212, 229, 255, 276 ], [ 35, 80, 117, 125, 213, 220, 256, 277 ], [ 36, 81, 118, 126, 214, 221, 257, 278 ], [ 37, 82, 119, 127, 215, 222, 258, 279 ], [ 48, 93, 120, 138, 140, 226, 233, 269 ], [ 49, 94, 121, 139, 141, 227, 234, 260 ], [ 40, 95, 122, 130, 142, 228, 235, 261 ], [ 41, 96, 123, 131, 143, 229, 236, 262 ], [ 42, 97, 124, 132, 144, 220, 237, 263 ], [ 43, 98, 125, 133, 145, 221, 238, 264 ], [ 44, 99, 126, 134, 146, 222, 239, 265 ], [ 45, 90, 127, 135, 147, 223, 230, 266 ], [ 46, 91, 128, 136, 148, 224, 231, 267 ], [ 47, 92, 129, 137, 149, 225, 232, 268 ], [ 8, 58, 103, 130, 150, 236, 243, 279 ], [ 9, 59, 104, 131, 151, 237, 244, 270 ], [ 0, 50, 105, 132, 152, 238, 245, 271 ], [ 1, 51, 106, 133, 153, 239, 246, 272 ], [ 2, 52, 107, 134, 154, 230, 247, 273 ], [ 3, 53, 108, 135, 155, 231, 248, 274 ], [ 4, 54, 109, 136, 156, 232, 249, 275 ], [ 5, 55, 100, 137, 157, 233, 240, 276 ], [ 6, 56, 101, 138, 158, 234, 241, 277 ], [ 7, 57, 102, 139, 159, 235, 242, 278 ], [ 0, 18, 68, 113, 149, 160, 246, 253 ], [ 1, 19, 69, 114, 140, 161, 247, 254 ], [ 2, 10, 60, 115, 141, 162, 248, 255 ], [ 3, 11, 61, 116, 142, 163, 249, 256 ], [ 4, 12, 62, 117, 143, 164, 240, 257 ], [ 5, 13, 63, 118, 144, 165, 241, 258 ], [ 6, 14, 64, 119, 145, 166, 242, 259 ], [ 7, 15, 65, 110, 146, 167, 243, 250 ], [ 8, 16, 66, 111, 147, 168, 244, 251 ], [ 9, 17, 67, 112, 148, 169, 245, 252 ], [ 10, 28, 78, 123, 159, 170, 256, 263 ], [ 11, 29, 79, 124, 150, 171, 257, 264 ], [ 12, 20, 70, 125, 151, 172, 258, 265 ], [ 13, 21, 71, 126, 152, 173, 259, 266 ], [ 14, 22, 72, 127, 153, 174, 250, 267 ], [ 15, 23, 73, 128, 154, 175, 251, 268 ], [ 16, 24, 74, 129, 155, 176, 252, 269 ], [ 17, 25, 75, 120, 156, 177, 253, 260 ], [ 18, 26, 76, 121, 157, 178, 254, 261 ], [ 19, 27, 77, 122, 158, 179, 255, 262 ], [ 20, 38, 88, 133, 169, 180, 266, 273 ], [ 21, 39, 89, 134, 160, 181, 267, 274 ], [ 22, 30, 80, 135, 161, 182, 268, 275 ], [ 23, 31, 81, 136, 162, 183, 269, 276 ], [ 24, 32, 82, 137, 163, 184, 260, 277 ], [ 25, 33, 83, 138, 164, 185, 261, 278 ], [ 26, 34, 84, 139, 165, 186, 262, 279 ], [ 27, 35, 85, 130, 166, 187, 263, 270 ], [ 28, 36, 86, 131, 167, 188, 264, 271 ], [ 29, 37, 87, 132, 168, 189, 265, 272 ], [ 3, 30, 48, 98, 143, 179, 190, 276 ], [ 4, 31, 49, 99, 144, 170, 191, 277 ], [ 5, 32, 40, 90, 145, 171, 192, 278 ], [ 6, 33, 41, 91, 146, 172, 193, 279 ], [ 7, 34, 42, 92, 147, 173, 194, 270 ], [ 8, 35, 43, 93, 148, 174, 195, 271 ], [ 9, 36, 44, 94, 149, 175, 196, 272 ], [ 0, 37, 45, 95, 140, 176, 197, 273 ], [ 1, 38, 46, 96, 141, 177, 198, 274 ], [ 2, 39, 47, 97, 142, 178, 199, 275 ], [ 13, 40, 58, 108, 146, 153, 189, 200 ], [ 14, 41, 59, 109, 147, 154, 180, 201 ], [ 15, 42, 50, 100, 148, 155, 181, 202 ], [ 16, 43, 51, 101, 149, 156, 182, 203 ], [ 17, 44, 52, 102, 140, 157, 183, 204 ], [ 18, 45, 53, 103, 141, 158, 184, 205 ], [ 19, 46, 54, 104, 142, 159, 185, 206 ], [ 10, 47, 55, 105, 143, 150, 186, 207 ], [ 11, 48, 56, 106, 144, 151, 187, 208 ], [ 12, 49, 57, 107, 145, 152, 188, 209 ], [ 23, 50, 68, 118, 156, 163, 199, 210 ], [ 24, 51, 69, 119, 157, 164, 190, 211 ], [ 25, 52, 60, 110, 158, 165, 191, 212 ], [ 26, 53, 61, 111, 159, 166, 192, 213 ], [ 27, 54, 62, 112, 150, 167, 193, 214 ], [ 28, 55, 63, 113, 151, 168, 194, 215 ], [ 29, 56, 64, 114, 152, 169, 195, 216 ], [ 20, 57, 65, 115, 153, 160, 196, 217 ], [ 21, 58, 66, 116, 154, 161, 197, 218 ], [ 22, 59, 67, 117, 155, 162, 198, 219 ], [ 33, 60, 78, 128, 166, 173, 209, 220 ], [ 34, 61, 79, 129, 167, 174, 200, 221 ], [ 35, 62, 70, 120, 168, 175, 201, 222 ], [ 36, 63, 71, 121, 169, 176, 202, 223 ], [ 37, 64, 72, 122, 160, 177, 203, 224 ], [ 38, 65, 73, 123, 161, 178, 204, 225 ], [ 39, 66, 74, 124, 162, 179, 205, 226 ], [ 30, 67, 75, 125, 163, 170, 206, 227 ], [ 31, 68, 76, 126, 164, 171, 207, 228 ], [ 32, 69, 77, 127, 165, 172, 208, 229 ], [ 43, 70, 88, 138, 176, 183, 219, 230 ], [ 44, 71, 89, 139, 177, 184, 210, 231 ], [ 45, 72, 80, 130, 178, 185, 211, 232 ], [ 46, 73, 81, 131, 179, 186, 212, 233 ], [ 47, 74, 82, 132, 170, 187, 213, 234 ], [ 48, 75, 83, 133, 171, 188, 214, 235 ], [ 49, 76, 84, 134, 172, 189, 215, 236 ], [ 40, 77, 85, 135, 173, 180, 216, 237 ], [ 41, 78, 86, 136, 174, 181, 217, 238 ], [ 42, 79, 87, 137, 175, 182, 218, 239 ] ], "Z": [ [ 40, 61, 97, 104, 142, 192, 200, 237 ], [ 41, 62, 98, 105, 143, 193, 201, 238 ], [ 42, 63, 99, 106, 144, 194, 202, 239 ], [ 43, 64, 90, 107, 145, 195, 203, 230 ], [ 44, 65, 91, 108, 146, 196, 204, 231 ], [ 45, 66, 92, 109, 147, 197, 205, 232 ], [ 46, 67, 93, 100, 148, 198, 206, 233 ], [ 47, 68, 94, 101, 149, 199, 207, 234 ], [ 48, 69, 95, 102, 140, 190, 208, 235 ], [ 49, 60, 96, 103, 141, 191, 209, 236 ], [ 50, 71, 107, 114, 152, 202, 210, 247 ], [ 51, 72, 108, 115, 153, 203, 211, 248 ], [ 52, 73, 109, 116, 154, 204, 212, 249 ], [ 53, 74, 100, 117, 155, 205, 213, 240 ], [ 54, 75, 101, 118, 156, 206, 214, 241 ], [ 55, 76, 102, 119, 157, 207, 215, 242 ], [ 56, 77, 103, 110, 158, 208, 216, 243 ], [ 57, 78, 104, 111, 159, 209, 217, 244 ], [ 58, 79, 105, 112, 150, 200, 218, 245 ], [ 59, 70, 106, 113, 151, 201, 219, 246 ], [ 60, 81, 117, 124, 162, 212, 220, 257 ], [ 61, 82, 118, 125, 163, 213, 221, 258 ], [ 62, 83, 119, 126, 164, 214, 222, 259 ], [ 63, 84, 110, 127, 165, 215, 223, 250 ], [ 64, 85, 111, 128, 166, 216, 224, 251 ], [ 65, 86, 112, 129, 167, 217, 225, 252 ], [ 66, 87, 113, 120, 168, 218, 226, 253 ], [ 67, 88, 114, 121, 169, 219, 227, 254 ], [ 68, 89, 115, 122, 160, 210, 228, 255 ], [ 69, 80, 116, 123, 161, 211, 229, 256 ], [ 70, 91, 127, 134, 172, 222, 230, 267 ], [ 71, 92, 128, 135, 173, 223, 231, 268 ], [ 72, 93, 129, 136, 174, 224, 232, 269 ], [ 73, 94, 120, 137, 175, 225, 233, 260 ], [ 74, 95, 121, 138, 176, 226, 234, 261 ], [ 75, 96, 122, 139, 177, 227, 235, 262 ], [ 76, 97, 123, 130, 178, 228, 236, 263 ], [ 77, 98, 124, 131, 179, 229, 237, 264 ], [ 78, 99, 125, 132, 170, 220, 238, 265 ], [ 79, 90, 126, 133, 171, 221, 239, 266 ], [ 4, 80, 101, 137, 182, 232, 240, 277 ], [ 5, 81, 102, 138, 183, 233, 241, 278 ], [ 6, 82, 103, 139, 184, 234, 242, 279 ], [ 7, 83, 104, 130, 185, 235, 243, 270 ], [ 8, 84, 105, 131, 186, 236, 244, 271 ], [ 9, 85, 106, 132, 187, 237, 245, 272 ], [ 0, 86, 107, 133, 188, 238, 246, 273 ], [ 1, 87, 108, 134, 189, 239, 247, 274 ], [ 2, 88, 109, 135, 180, 230, 248, 275 ], [ 3, 89, 100, 136, 181, 231, 249, 276 ], [ 7, 14, 90, 111, 147, 192, 242, 250 ], [ 8, 15, 91, 112, 148, 193, 243, 251 ], [ 9, 16, 92, 113, 149, 194, 244, 252 ], [ 0, 17, 93, 114, 140, 195, 245, 253 ], [ 1, 18, 94, 115, 141, 196, 246, 254 ], [ 2, 19, 95, 116, 142, 197, 247, 255 ], [ 3, 10, 96, 117, 143, 198, 248, 256 ], [ 4, 11, 97, 118, 144, 199, 249, 257 ], [ 5, 12, 98, 119, 145, 190, 240, 258 ], [ 6, 13, 99, 110, 146, 191, 241, 259 ], [ 17, 24, 100, 121, 157, 202, 252, 260 ], [ 18, 25, 101, 122, 158, 203, 253, 261 ], [ 19, 26, 102, 123, 159, 204, 254, 262 ], [ 10, 27, 103, 124, 150, 205, 255, 263 ], [ 11, 28, 104, 125, 151, 206, 256, 264 ], [ 12, 29, 105, 126, 152, 207, 257, 265 ], [ 13, 20, 106, 127, 153, 208, 258, 266 ], [ 14, 21, 107, 128, 154, 209, 259, 267 ], [ 15, 22, 108, 129, 155, 200, 250, 268 ], [ 16, 23, 109, 120, 156, 201, 251, 269 ], [ 27, 34, 110, 131, 167, 212, 262, 270 ], [ 28, 35, 111, 132, 168, 213, 263, 271 ], [ 29, 36, 112, 133, 169, 214, 264, 272 ], [ 20, 37, 113, 134, 160, 215, 265, 273 ], [ 21, 38, 114, 135, 161, 216, 266, 274 ], [ 22, 39, 115, 136, 162, 217, 267, 275 ], [ 23, 30, 116, 137, 163, 218, 268, 276 ], [ 24, 31, 117, 138, 164, 219, 269, 277 ], [ 25, 32, 118, 139, 165, 210, 260, 278 ], [ 26, 33, 119, 130, 166, 211, 261, 279 ], [ 1, 37, 44, 120, 140, 177, 222, 272 ], [ 2, 38, 45, 121, 141, 178, 223, 273 ], [ 3, 39, 46, 122, 142, 179, 224, 274 ], [ 4, 30, 47, 123, 143, 170, 225, 275 ], [ 5, 31, 48, 124, 144, 171, 226, 276 ], [ 6, 32, 49, 125, 145, 172, 227, 277 ], [ 7, 33, 40, 126, 146, 173, 228, 278 ], [ 8, 34, 41, 127, 147, 174, 229, 279 ], [ 9, 35, 42, 128, 148, 175, 220, 270 ], [ 0, 36, 43, 129, 149, 176, 221, 271 ], [ 11, 47, 54, 130, 142, 150, 187, 232 ], [ 12, 48, 55, 131, 143, 151, 188, 233 ], [ 13, 49, 56, 132, 144, 152, 189, 234 ], [ 14, 40, 57, 133, 145, 153, 180, 235 ], [ 15, 41, 58, 134, 146, 154, 181, 236 ], [ 16, 42, 59, 135, 147, 155, 182, 237 ], [ 17, 43, 50, 136, 148, 156, 183, 238 ], [ 18, 44, 51, 137, 149, 157, 184, 239 ], [ 19, 45, 52, 138, 140, 158, 185, 230 ], [ 10, 46, 53, 139, 141, 159, 186, 231 ], [ 0, 21, 57, 64, 152, 160, 197, 242 ], [ 1, 22, 58, 65, 153, 161, 198, 243 ], [ 2, 23, 59, 66, 154, 162, 199, 244 ], [ 3, 24, 50, 67, 155, 163, 190, 245 ], [ 4, 25, 51, 68, 156, 164, 191, 246 ], [ 5, 26, 52, 69, 157, 165, 192, 247 ], [ 6, 27, 53, 60, 158, 166, 193, 248 ], [ 7, 28, 54, 61, 159, 167, 194, 249 ], [ 8, 29, 55, 62, 150, 168, 195, 240 ], [ 9, 20, 56, 63, 151, 169, 196, 241 ], [ 10, 31, 67, 74, 162, 170, 207, 252 ], [ 11, 32, 68, 75, 163, 171, 208, 253 ], [ 12, 33, 69, 76, 164, 172, 209, 254 ], [ 13, 34, 60, 77, 165, 173, 200, 255 ], [ 14, 35, 61, 78, 166, 174, 201, 256 ], [ 15, 36, 62, 79, 167, 175, 202, 257 ], [ 16, 37, 63, 70, 168, 176, 203, 258 ], [ 17, 38, 64, 71, 169, 177, 204, 259 ], [ 18, 39, 65, 72, 160, 178, 205, 250 ], [ 19, 30, 66, 73, 161, 179, 206, 251 ], [ 20, 41, 77, 84, 172, 180, 217, 262 ], [ 21, 42, 78, 85, 173, 181, 218, 263 ], [ 22, 43, 79, 86, 174, 182, 219, 264 ], [ 23, 44, 70, 87, 175, 183, 210, 265 ], [ 24, 45, 71, 88, 176, 184, 211, 266 ], [ 25, 46, 72, 89, 177, 185, 212, 267 ], [ 26, 47, 73, 80, 178, 186, 213, 268 ], [ 27, 48, 74, 81, 179, 187, 214, 269 ], [ 28, 49, 75, 82, 170, 188, 215, 260 ], [ 29, 40, 76, 83, 171, 189, 216, 261 ], [ 30, 51, 87, 94, 182, 190, 227, 272 ], [ 31, 52, 88, 95, 183, 191, 228, 273 ], [ 32, 53, 89, 96, 184, 192, 229, 274 ], [ 33, 54, 80, 97, 185, 193, 220, 275 ], [ 34, 55, 81, 98, 186, 194, 221, 276 ], [ 35, 56, 82, 99, 187, 195, 222, 277 ], [ 36, 57, 83, 90, 188, 196, 223, 278 ], [ 37, 58, 84, 91, 189, 197, 224, 279 ], [ 38, 59, 85, 92, 180, 198, 225, 270 ], [ 39, 50, 86, 93, 181, 199, 226, 271 ] ] }, "distance": { "d": 26, "X": { "value": 26, "confidence": "upper_bound", "witness": [ 3, 12, 17, 29, 33, 39, 55, 65, 80, 93, 94, 101, 102, 121, 123, 136, 141, 146, 169, 186, 190, 198, 225, 236, 241, 261 ], "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": 26, "confidence": "upper_bound", "witness": [ 1, 21, 36, 47, 72, 74, 86, 103, 121, 126, 141, 149, 160, 161, 178, 179, 182, 207, 217, 233, 239, 243, 250, 255, 269, 276 ], "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_14 x Z_10 (n = 2lm = 280) with A = x^5y^3 + x^9y^8 + y^8 + x^8 and B = x^8y^9 + x^5y^3 + x^10 + x^4y^6, H_X = [A | B], H_Z = [B^T | A^T]; built by research/kit/bb.build_bb(l=14, m=10, A_terms=[[5, 3], [9, 8], [0, 8], [8, 0]], B_terms=[[8, 9], [5, 3], [10, 0], [4, 6]]).", "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 372, direction bb-w4-mid, seed 20261389. The loop gate's 8,000-trial search read d = 28; the deeper rungs recorded in notes/ read 26, 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" }