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