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