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