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