{ "schema_version": "0.3", "name": "orchestrator metacyclic-w4 it696 [[320,2,32]]", "code_type": "CSS", "n": 320, "k": 2, "checks": { "X": [ [ 56, 90, 92, 144, 194, 202, 240, 253 ], [ 57, 91, 93, 145, 215, 241, 283, 314 ], [ 58, 92, 94, 146, 196, 204, 242, 255 ], [ 59, 93, 95, 147, 217, 243, 285, 316 ], [ 50, 94, 96, 148, 198, 206, 244, 257 ], [ 51, 95, 97, 149, 219, 245, 287, 318 ], [ 52, 96, 98, 140, 190, 208, 246, 259 ], [ 53, 97, 99, 141, 211, 247, 289, 310 ], [ 54, 90, 98, 142, 192, 200, 248, 251 ], [ 55, 91, 99, 143, 213, 249, 281, 312 ], [ 66, 100, 102, 154, 204, 212, 250, 263 ], [ 67, 101, 103, 155, 164, 225, 251, 293 ], [ 68, 102, 104, 156, 206, 214, 252, 265 ], [ 69, 103, 105, 157, 166, 227, 253, 295 ], [ 60, 104, 106, 158, 208, 216, 254, 267 ], [ 61, 105, 107, 159, 168, 229, 255, 297 ], [ 62, 106, 108, 150, 200, 218, 256, 269 ], [ 63, 107, 109, 151, 160, 221, 257, 299 ], [ 64, 100, 108, 152, 202, 210, 258, 261 ], [ 65, 101, 109, 153, 162, 223, 259, 291 ], [ 4, 76, 110, 112, 214, 222, 260, 273 ], [ 5, 77, 111, 113, 174, 235, 261, 303 ], [ 6, 78, 112, 114, 216, 224, 262, 275 ], [ 7, 79, 113, 115, 176, 237, 263, 305 ], [ 8, 70, 114, 116, 218, 226, 264, 277 ], [ 9, 71, 115, 117, 178, 239, 265, 307 ], [ 0, 72, 116, 118, 210, 228, 266, 279 ], [ 1, 73, 117, 119, 170, 231, 267, 309 ], [ 2, 74, 110, 118, 212, 220, 268, 271 ], [ 3, 75, 111, 119, 172, 233, 269, 301 ], [ 14, 86, 120, 122, 224, 232, 270, 283 ], [ 15, 87, 121, 123, 184, 245, 271, 313 ], [ 16, 88, 122, 124, 226, 234, 272, 285 ], [ 17, 89, 123, 125, 186, 247, 273, 315 ], [ 18, 80, 124, 126, 228, 236, 274, 287 ], [ 19, 81, 125, 127, 188, 249, 275, 317 ], [ 10, 82, 126, 128, 220, 238, 276, 289 ], [ 11, 83, 127, 129, 180, 241, 277, 319 ], [ 12, 84, 120, 128, 222, 230, 278, 281 ], [ 13, 85, 121, 129, 182, 243, 279, 311 ], [ 24, 96, 130, 132, 234, 242, 280, 293 ], [ 25, 97, 131, 133, 163, 194, 255, 281 ], [ 26, 98, 132, 134, 236, 244, 282, 295 ], [ 27, 99, 133, 135, 165, 196, 257, 283 ], [ 28, 90, 134, 136, 238, 246, 284, 297 ], [ 29, 91, 135, 137, 167, 198, 259, 285 ], [ 20, 92, 136, 138, 230, 248, 286, 299 ], [ 21, 93, 137, 139, 169, 190, 251, 287 ], [ 22, 94, 130, 138, 232, 240, 288, 291 ], [ 23, 95, 131, 139, 161, 192, 253, 289 ], [ 34, 106, 140, 142, 244, 252, 290, 303 ], [ 35, 107, 141, 143, 173, 204, 265, 291 ], [ 36, 108, 142, 144, 246, 254, 292, 305 ], [ 37, 109, 143, 145, 175, 206, 267, 293 ], [ 38, 100, 144, 146, 248, 256, 294, 307 ], [ 39, 101, 145, 147, 177, 208, 269, 295 ], [ 30, 102, 146, 148, 240, 258, 296, 309 ], [ 31, 103, 147, 149, 179, 200, 261, 297 ], [ 32, 104, 140, 148, 242, 250, 298, 301 ], [ 33, 105, 141, 149, 171, 202, 263, 299 ], [ 44, 116, 150, 152, 254, 262, 300, 313 ], [ 45, 117, 151, 153, 183, 214, 275, 301 ], [ 46, 118, 152, 154, 256, 264, 302, 315 ], [ 47, 119, 153, 155, 185, 216, 277, 303 ], [ 48, 110, 154, 156, 258, 266, 304, 317 ], [ 49, 111, 155, 157, 187, 218, 279, 305 ], [ 40, 112, 156, 158, 250, 268, 306, 319 ], [ 41, 113, 157, 159, 189, 210, 271, 307 ], [ 42, 114, 150, 158, 252, 260, 308, 311 ], [ 43, 115, 151, 159, 181, 212, 273, 309 ], [ 0, 2, 54, 126, 163, 264, 272, 310 ], [ 1, 3, 55, 127, 193, 224, 285, 311 ], [ 2, 4, 56, 128, 165, 266, 274, 312 ], [ 3, 5, 57, 129, 195, 226, 287, 313 ], [ 4, 6, 58, 120, 167, 268, 276, 314 ], [ 5, 7, 59, 121, 197, 228, 289, 315 ], [ 6, 8, 50, 122, 169, 260, 278, 316 ], [ 7, 9, 51, 123, 199, 220, 281, 317 ], [ 0, 8, 52, 124, 161, 262, 270, 318 ], [ 1, 9, 53, 125, 191, 222, 283, 319 ], [ 10, 12, 64, 136, 160, 173, 274, 282 ], [ 11, 13, 65, 137, 161, 203, 234, 295 ], [ 12, 14, 66, 138, 162, 175, 276, 284 ], [ 13, 15, 67, 139, 163, 205, 236, 297 ], [ 14, 16, 68, 130, 164, 177, 278, 286 ], [ 15, 17, 69, 131, 165, 207, 238, 299 ], [ 16, 18, 60, 132, 166, 179, 270, 288 ], [ 17, 19, 61, 133, 167, 209, 230, 291 ], [ 10, 18, 62, 134, 168, 171, 272, 280 ], [ 11, 19, 63, 135, 169, 201, 232, 293 ], [ 20, 22, 74, 146, 170, 183, 284, 292 ], [ 21, 23, 75, 147, 171, 213, 244, 305 ], [ 22, 24, 76, 148, 172, 185, 286, 294 ], [ 23, 25, 77, 149, 173, 215, 246, 307 ], [ 24, 26, 78, 140, 174, 187, 288, 296 ], [ 25, 27, 79, 141, 175, 217, 248, 309 ], [ 26, 28, 70, 142, 176, 189, 280, 298 ], [ 27, 29, 71, 143, 177, 219, 240, 301 ], [ 20, 28, 72, 144, 178, 181, 282, 290 ], [ 21, 29, 73, 145, 179, 211, 242, 303 ], [ 30, 32, 84, 156, 180, 193, 294, 302 ], [ 31, 33, 85, 157, 181, 223, 254, 315 ], [ 32, 34, 86, 158, 182, 195, 296, 304 ], [ 33, 35, 87, 159, 183, 225, 256, 317 ], [ 34, 36, 88, 150, 184, 197, 298, 306 ], [ 35, 37, 89, 151, 185, 227, 258, 319 ], [ 36, 38, 80, 152, 186, 199, 290, 308 ], [ 37, 39, 81, 153, 187, 229, 250, 311 ], [ 30, 38, 82, 154, 188, 191, 292, 300 ], [ 31, 39, 83, 155, 189, 221, 252, 313 ], [ 6, 40, 42, 94, 190, 203, 304, 312 ], [ 7, 41, 43, 95, 165, 191, 233, 264 ], [ 8, 42, 44, 96, 192, 205, 306, 314 ], [ 9, 43, 45, 97, 167, 193, 235, 266 ], [ 0, 44, 46, 98, 194, 207, 308, 316 ], [ 1, 45, 47, 99, 169, 195, 237, 268 ], [ 2, 46, 48, 90, 196, 209, 300, 318 ], [ 3, 47, 49, 91, 161, 197, 239, 260 ], [ 4, 40, 48, 92, 198, 201, 302, 310 ], [ 5, 41, 49, 93, 163, 199, 231, 262 ], [ 16, 50, 52, 104, 162, 200, 213, 314 ], [ 17, 51, 53, 105, 175, 201, 243, 274 ], [ 18, 52, 54, 106, 164, 202, 215, 316 ], [ 19, 53, 55, 107, 177, 203, 245, 276 ], [ 10, 54, 56, 108, 166, 204, 217, 318 ], [ 11, 55, 57, 109, 179, 205, 247, 278 ], [ 12, 56, 58, 100, 168, 206, 219, 310 ], [ 13, 57, 59, 101, 171, 207, 249, 270 ], [ 14, 50, 58, 102, 160, 208, 211, 312 ], [ 15, 51, 59, 103, 173, 209, 241, 272 ], [ 26, 60, 62, 114, 164, 172, 210, 223 ], [ 27, 61, 63, 115, 185, 211, 253, 284 ], [ 28, 62, 64, 116, 166, 174, 212, 225 ], [ 29, 63, 65, 117, 187, 213, 255, 286 ], [ 20, 64, 66, 118, 168, 176, 214, 227 ], [ 21, 65, 67, 119, 189, 215, 257, 288 ], [ 22, 66, 68, 110, 160, 178, 216, 229 ], [ 23, 67, 69, 111, 181, 217, 259, 280 ], [ 24, 60, 68, 112, 162, 170, 218, 221 ], [ 25, 61, 69, 113, 183, 219, 251, 282 ], [ 36, 70, 72, 124, 174, 182, 220, 233 ], [ 37, 71, 73, 125, 195, 221, 263, 294 ], [ 38, 72, 74, 126, 176, 184, 222, 235 ], [ 39, 73, 75, 127, 197, 223, 265, 296 ], [ 30, 74, 76, 128, 178, 186, 224, 237 ], [ 31, 75, 77, 129, 199, 225, 267, 298 ], [ 32, 76, 78, 120, 170, 188, 226, 239 ], [ 33, 77, 79, 121, 191, 227, 269, 290 ], [ 34, 70, 78, 122, 172, 180, 228, 231 ], [ 35, 71, 79, 123, 193, 229, 261, 292 ], [ 46, 80, 82, 134, 184, 192, 230, 243 ], [ 47, 81, 83, 135, 205, 231, 273, 304 ], [ 48, 82, 84, 136, 186, 194, 232, 245 ], [ 49, 83, 85, 137, 207, 233, 275, 306 ], [ 40, 84, 86, 138, 188, 196, 234, 247 ], [ 41, 85, 87, 139, 209, 235, 277, 308 ], [ 42, 86, 88, 130, 180, 198, 236, 249 ], [ 43, 87, 89, 131, 201, 237, 279, 300 ], [ 44, 80, 88, 132, 182, 190, 238, 241 ], [ 45, 81, 89, 133, 203, 239, 271, 302 ] ], "Z": [ [ 17, 80, 128, 136, 186, 230, 238, 274 ], [ 49, 78, 81, 117, 187, 231, 239, 275 ], [ 19, 82, 120, 138, 188, 230, 232, 276 ], [ 41, 70, 83, 119, 189, 231, 233, 277 ], [ 11, 84, 122, 130, 180, 232, 234, 278 ], [ 43, 72, 85, 111, 181, 233, 235, 279 ], [ 13, 86, 124, 132, 182, 234, 236, 270 ], [ 45, 74, 87, 113, 183, 235, 237, 271 ], [ 15, 88, 126, 134, 184, 236, 238, 272 ], [ 47, 76, 89, 115, 185, 237, 239, 273 ], [ 27, 90, 138, 146, 196, 240, 248, 284 ], [ 59, 88, 91, 127, 197, 241, 249, 285 ], [ 29, 92, 130, 148, 198, 240, 242, 286 ], [ 51, 80, 93, 129, 199, 241, 243, 287 ], [ 21, 94, 132, 140, 190, 242, 244, 288 ], [ 53, 82, 95, 121, 191, 243, 245, 289 ], [ 23, 96, 134, 142, 192, 244, 246, 280 ], [ 55, 84, 97, 123, 193, 245, 247, 281 ], [ 25, 98, 136, 144, 194, 246, 248, 282 ], [ 57, 86, 99, 125, 195, 247, 249, 283 ], [ 37, 100, 148, 156, 206, 250, 258, 294 ], [ 69, 98, 101, 137, 207, 251, 259, 295 ], [ 39, 102, 140, 158, 208, 250, 252, 296 ], [ 61, 90, 103, 139, 209, 251, 253, 297 ], [ 31, 104, 142, 150, 200, 252, 254, 298 ], [ 63, 92, 105, 131, 201, 253, 255, 299 ], [ 33, 106, 144, 152, 202, 254, 256, 290 ], [ 65, 94, 107, 133, 203, 255, 257, 291 ], [ 35, 108, 146, 154, 204, 256, 258, 292 ], [ 67, 96, 109, 135, 205, 257, 259, 293 ], [ 6, 47, 110, 158, 216, 260, 268, 304 ], [ 79, 108, 111, 147, 217, 261, 269, 305 ], [ 8, 49, 112, 150, 218, 260, 262, 306 ], [ 71, 100, 113, 149, 219, 261, 263, 307 ], [ 0, 41, 114, 152, 210, 262, 264, 308 ], [ 73, 102, 115, 141, 211, 263, 265, 309 ], [ 2, 43, 116, 154, 212, 264, 266, 300 ], [ 75, 104, 117, 143, 213, 265, 267, 301 ], [ 4, 45, 118, 156, 214, 266, 268, 302 ], [ 77, 106, 119, 145, 215, 267, 269, 303 ], [ 8, 16, 57, 120, 226, 270, 278, 314 ], [ 89, 118, 121, 157, 227, 271, 279, 315 ], [ 0, 18, 59, 122, 228, 270, 272, 316 ], [ 81, 110, 123, 159, 229, 271, 273, 317 ], [ 2, 10, 51, 124, 220, 272, 274, 318 ], [ 83, 112, 125, 151, 221, 273, 275, 319 ], [ 4, 12, 53, 126, 222, 274, 276, 310 ], [ 85, 114, 127, 153, 223, 275, 277, 311 ], [ 6, 14, 55, 128, 224, 276, 278, 312 ], [ 87, 116, 129, 155, 225, 277, 279, 313 ], [ 18, 26, 67, 130, 164, 236, 280, 288 ], [ 7, 99, 128, 131, 165, 237, 281, 289 ], [ 10, 28, 69, 132, 166, 238, 280, 282 ], [ 9, 91, 120, 133, 167, 239, 281, 283 ], [ 12, 20, 61, 134, 168, 230, 282, 284 ], [ 1, 93, 122, 135, 169, 231, 283, 285 ], [ 14, 22, 63, 136, 160, 232, 284, 286 ], [ 3, 95, 124, 137, 161, 233, 285, 287 ], [ 16, 24, 65, 138, 162, 234, 286, 288 ], [ 5, 97, 126, 139, 163, 235, 287, 289 ], [ 28, 36, 77, 140, 174, 246, 290, 298 ], [ 17, 109, 138, 141, 175, 247, 291, 299 ], [ 20, 38, 79, 142, 176, 248, 290, 292 ], [ 19, 101, 130, 143, 177, 249, 291, 293 ], [ 22, 30, 71, 144, 178, 240, 292, 294 ], [ 11, 103, 132, 145, 179, 241, 293, 295 ], [ 24, 32, 73, 146, 170, 242, 294, 296 ], [ 13, 105, 134, 147, 171, 243, 295, 297 ], [ 26, 34, 75, 148, 172, 244, 296, 298 ], [ 15, 107, 136, 149, 173, 245, 297, 299 ], [ 38, 46, 87, 150, 184, 256, 300, 308 ], [ 27, 119, 148, 151, 185, 257, 301, 309 ], [ 30, 48, 89, 152, 186, 258, 300, 302 ], [ 29, 111, 140, 153, 187, 259, 301, 303 ], [ 32, 40, 81, 154, 188, 250, 302, 304 ], [ 21, 113, 142, 155, 189, 251, 303, 305 ], [ 34, 42, 83, 156, 180, 252, 304, 306 ], [ 23, 115, 144, 157, 181, 253, 305, 307 ], [ 36, 44, 85, 158, 182, 254, 306, 308 ], [ 25, 117, 146, 159, 183, 255, 307, 309 ], [ 0, 48, 56, 97, 194, 266, 310, 318 ], [ 1, 37, 129, 158, 195, 267, 311, 319 ], [ 2, 40, 58, 99, 196, 268, 310, 312 ], [ 3, 39, 121, 150, 197, 269, 311, 313 ], [ 4, 42, 50, 91, 198, 260, 312, 314 ], [ 5, 31, 123, 152, 199, 261, 313, 315 ], [ 6, 44, 52, 93, 190, 262, 314, 316 ], [ 7, 33, 125, 154, 191, 263, 315, 317 ], [ 8, 46, 54, 95, 192, 264, 316, 318 ], [ 9, 35, 127, 156, 193, 265, 317, 319 ], [ 10, 58, 66, 107, 160, 168, 204, 276 ], [ 8, 11, 47, 139, 161, 169, 205, 277 ], [ 12, 50, 68, 109, 160, 162, 206, 278 ], [ 0, 13, 49, 131, 161, 163, 207, 279 ], [ 14, 52, 60, 101, 162, 164, 208, 270 ], [ 2, 15, 41, 133, 163, 165, 209, 271 ], [ 16, 54, 62, 103, 164, 166, 200, 272 ], [ 4, 17, 43, 135, 165, 167, 201, 273 ], [ 18, 56, 64, 105, 166, 168, 202, 274 ], [ 6, 19, 45, 137, 167, 169, 203, 275 ], [ 20, 68, 76, 117, 170, 178, 214, 286 ], [ 18, 21, 57, 149, 171, 179, 215, 287 ], [ 22, 60, 78, 119, 170, 172, 216, 288 ], [ 10, 23, 59, 141, 171, 173, 217, 289 ], [ 24, 62, 70, 111, 172, 174, 218, 280 ], [ 12, 25, 51, 143, 173, 175, 219, 281 ], [ 26, 64, 72, 113, 174, 176, 210, 282 ], [ 14, 27, 53, 145, 175, 177, 211, 283 ], [ 28, 66, 74, 115, 176, 178, 212, 284 ], [ 16, 29, 55, 147, 177, 179, 213, 285 ], [ 30, 78, 86, 127, 180, 188, 224, 296 ], [ 28, 31, 67, 159, 181, 189, 225, 297 ], [ 32, 70, 88, 129, 180, 182, 226, 298 ], [ 20, 33, 69, 151, 181, 183, 227, 299 ], [ 34, 72, 80, 121, 182, 184, 228, 290 ], [ 22, 35, 61, 153, 183, 185, 229, 291 ], [ 36, 74, 82, 123, 184, 186, 220, 292 ], [ 24, 37, 63, 155, 185, 187, 221, 293 ], [ 38, 76, 84, 125, 186, 188, 222, 294 ], [ 26, 39, 65, 157, 187, 189, 223, 295 ], [ 40, 88, 96, 137, 190, 198, 234, 306 ], [ 9, 38, 41, 77, 191, 199, 235, 307 ], [ 42, 80, 98, 139, 190, 192, 236, 308 ], [ 1, 30, 43, 79, 191, 193, 237, 309 ], [ 44, 82, 90, 131, 192, 194, 238, 300 ], [ 3, 32, 45, 71, 193, 195, 239, 301 ], [ 46, 84, 92, 133, 194, 196, 230, 302 ], [ 5, 34, 47, 73, 195, 197, 231, 303 ], [ 48, 86, 94, 135, 196, 198, 232, 304 ], [ 7, 36, 49, 75, 197, 199, 233, 305 ], [ 50, 98, 106, 147, 200, 208, 244, 316 ], [ 19, 48, 51, 87, 201, 209, 245, 317 ], [ 52, 90, 108, 149, 200, 202, 246, 318 ], [ 11, 40, 53, 89, 201, 203, 247, 319 ], [ 54, 92, 100, 141, 202, 204, 248, 310 ], [ 13, 42, 55, 81, 203, 205, 249, 311 ], [ 56, 94, 102, 143, 204, 206, 240, 312 ], [ 15, 44, 57, 83, 205, 207, 241, 313 ], [ 58, 96, 104, 145, 206, 208, 242, 314 ], [ 17, 46, 59, 85, 207, 209, 243, 315 ], [ 60, 108, 116, 157, 166, 210, 218, 254 ], [ 29, 58, 61, 97, 167, 211, 219, 255 ], [ 62, 100, 118, 159, 168, 210, 212, 256 ], [ 21, 50, 63, 99, 169, 211, 213, 257 ], [ 64, 102, 110, 151, 160, 212, 214, 258 ], [ 23, 52, 65, 91, 161, 213, 215, 259 ], [ 66, 104, 112, 153, 162, 214, 216, 250 ], [ 25, 54, 67, 93, 163, 215, 217, 251 ], [ 68, 106, 114, 155, 164, 216, 218, 252 ], [ 27, 56, 69, 95, 165, 217, 219, 253 ], [ 7, 70, 118, 126, 176, 220, 228, 264 ], [ 39, 68, 71, 107, 177, 221, 229, 265 ], [ 9, 72, 110, 128, 178, 220, 222, 266 ], [ 31, 60, 73, 109, 179, 221, 223, 267 ], [ 1, 74, 112, 120, 170, 222, 224, 268 ], [ 33, 62, 75, 101, 171, 223, 225, 269 ], [ 3, 76, 114, 122, 172, 224, 226, 260 ], [ 35, 64, 77, 103, 173, 225, 227, 261 ], [ 5, 78, 116, 124, 174, 226, 228, 262 ], [ 37, 66, 79, 105, 175, 227, 229, 263 ] ] }, "distance": { "d": 32, "X": { "value": 32, "confidence": "upper_bound", "witness": [ 4, 43, 49, 50, 68, 71, 76, 84, 98, 111, 115, 117, 122, 139, 163, 165, 166, 167, 169, 178, 194, 218, 219, 238, 251, 266, 272, 274, 281, 301, 305, 309 ], "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": [ 21, 29, 34, 36, 46, 48, 49, 59, 63, 73, 75, 77, 79, 80, 91, 93, 119, 136, 143, 154, 173, 175, 182, 201, 207, 228, 263, 279, 284, 292, 299, 303 ], "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": "Two-block group-algebra code on the metacyclic group C_16 x| C_10 with j: i -> 7^j i mod 16 (order 160, n = 320): mul, _ = research/kit/group_algebra.metacyclic(16, 10, 7); H_X, H_Z = group_algebra.build_2bga(mul, a=[26, 78, 70, 114], b=[136, 17, 80, 128]), element (i, j) at index i k + j, H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T].", "references": [ "H.-K. Lin and L. P. Pryadko, Quantum two-block group algebra codes, Phys. Rev. A 109, 022407 (2024), arXiv:2306.16400" ], "date": "2026-10-25", "notes": "Unattended loop run on Perlmutter, iteration 696, direction metacyclic-w4, seed 20261713. The loop gate's 8,000-trial search read d = 36; 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": 38760, "tool": "research/kit/search.screen_adaptive; verify/heuristic_distance.estimate; verify/ris_gpu.py", "notes": "candidates_screened counts direction metacyclic-w4 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": "generalized-bicycle" }