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