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