{ "schema_version": "0.3", "name": "[[438,22,10]]", "code_type": "CSS", "n": 438, "k": 22, "checks": { "X": [ [ 0, 1, 65, 219, 223, 260 ], [ 1, 2, 66, 220, 224, 261 ], [ 2, 3, 67, 221, 225, 262 ], [ 3, 4, 68, 222, 226, 263 ], [ 4, 5, 69, 223, 227, 264 ], [ 5, 6, 70, 224, 228, 265 ], [ 6, 7, 71, 225, 229, 266 ], [ 7, 8, 72, 226, 230, 267 ], [ 8, 9, 73, 227, 231, 268 ], [ 9, 10, 74, 228, 232, 269 ], [ 10, 11, 75, 229, 233, 270 ], [ 11, 12, 76, 230, 234, 271 ], [ 12, 13, 77, 231, 235, 272 ], [ 13, 14, 78, 232, 236, 273 ], [ 14, 15, 79, 233, 237, 274 ], [ 15, 16, 80, 234, 238, 275 ], [ 16, 17, 81, 235, 239, 276 ], [ 17, 18, 82, 236, 240, 277 ], [ 18, 19, 83, 237, 241, 278 ], [ 19, 20, 84, 238, 242, 279 ], [ 20, 21, 85, 239, 243, 280 ], [ 21, 22, 86, 240, 244, 281 ], [ 22, 23, 87, 241, 245, 282 ], [ 23, 24, 88, 242, 246, 283 ], [ 24, 25, 89, 243, 247, 284 ], [ 25, 26, 90, 244, 248, 285 ], [ 26, 27, 91, 245, 249, 286 ], [ 27, 28, 92, 246, 250, 287 ], [ 28, 29, 93, 247, 251, 288 ], [ 29, 30, 94, 248, 252, 289 ], [ 30, 31, 95, 249, 253, 290 ], [ 31, 32, 96, 250, 254, 291 ], [ 32, 33, 97, 251, 255, 292 ], [ 33, 34, 98, 252, 256, 293 ], [ 34, 35, 99, 253, 257, 294 ], [ 35, 36, 100, 254, 258, 295 ], [ 36, 37, 101, 255, 259, 296 ], [ 37, 38, 102, 256, 260, 297 ], [ 38, 39, 103, 257, 261, 298 ], [ 39, 40, 104, 258, 262, 299 ], [ 40, 41, 105, 259, 263, 300 ], [ 41, 42, 106, 260, 264, 301 ], [ 42, 43, 107, 261, 265, 302 ], [ 43, 44, 108, 262, 266, 303 ], [ 44, 45, 109, 263, 267, 304 ], [ 45, 46, 110, 264, 268, 305 ], [ 46, 47, 111, 265, 269, 306 ], [ 47, 48, 112, 266, 270, 307 ], [ 48, 49, 113, 267, 271, 308 ], [ 49, 50, 114, 268, 272, 309 ], [ 50, 51, 115, 269, 273, 310 ], [ 51, 52, 116, 270, 274, 311 ], [ 52, 53, 117, 271, 275, 312 ], [ 53, 54, 118, 272, 276, 313 ], [ 54, 55, 119, 273, 277, 314 ], [ 55, 56, 120, 274, 278, 315 ], [ 56, 57, 121, 275, 279, 316 ], [ 57, 58, 122, 276, 280, 317 ], [ 58, 59, 123, 277, 281, 318 ], [ 59, 60, 124, 278, 282, 319 ], [ 60, 61, 125, 279, 283, 320 ], [ 61, 62, 126, 280, 284, 321 ], [ 62, 63, 127, 281, 285, 322 ], [ 63, 64, 128, 282, 286, 323 ], [ 64, 65, 129, 283, 287, 324 ], [ 65, 66, 130, 284, 288, 325 ], [ 66, 67, 131, 285, 289, 326 ], [ 67, 68, 132, 286, 290, 327 ], [ 68, 69, 133, 287, 291, 328 ], [ 69, 70, 134, 288, 292, 329 ], [ 70, 71, 135, 289, 293, 330 ], [ 71, 72, 136, 290, 294, 331 ], [ 72, 73, 137, 291, 295, 332 ], [ 73, 74, 138, 292, 296, 333 ], [ 74, 75, 139, 293, 297, 334 ], [ 75, 76, 140, 294, 298, 335 ], [ 76, 77, 141, 295, 299, 336 ], [ 77, 78, 142, 296, 300, 337 ], [ 78, 79, 143, 297, 301, 338 ], [ 79, 80, 144, 298, 302, 339 ], [ 80, 81, 145, 299, 303, 340 ], [ 81, 82, 146, 300, 304, 341 ], [ 82, 83, 147, 301, 305, 342 ], [ 83, 84, 148, 302, 306, 343 ], [ 84, 85, 149, 303, 307, 344 ], [ 85, 86, 150, 304, 308, 345 ], [ 86, 87, 151, 305, 309, 346 ], [ 87, 88, 152, 306, 310, 347 ], [ 88, 89, 153, 307, 311, 348 ], [ 89, 90, 154, 308, 312, 349 ], [ 90, 91, 155, 309, 313, 350 ], [ 91, 92, 156, 310, 314, 351 ], [ 92, 93, 157, 311, 315, 352 ], [ 93, 94, 158, 312, 316, 353 ], [ 94, 95, 159, 313, 317, 354 ], [ 95, 96, 160, 314, 318, 355 ], [ 96, 97, 161, 315, 319, 356 ], [ 97, 98, 162, 316, 320, 357 ], [ 98, 99, 163, 317, 321, 358 ], [ 99, 100, 164, 318, 322, 359 ], [ 100, 101, 165, 319, 323, 360 ], [ 101, 102, 166, 320, 324, 361 ], [ 102, 103, 167, 321, 325, 362 ], [ 103, 104, 168, 322, 326, 363 ], [ 104, 105, 169, 323, 327, 364 ], [ 105, 106, 170, 324, 328, 365 ], [ 106, 107, 171, 325, 329, 366 ], [ 107, 108, 172, 326, 330, 367 ], [ 108, 109, 173, 327, 331, 368 ], [ 109, 110, 174, 328, 332, 369 ], [ 110, 111, 175, 329, 333, 370 ], [ 111, 112, 176, 330, 334, 371 ], [ 112, 113, 177, 331, 335, 372 ], [ 113, 114, 178, 332, 336, 373 ], [ 114, 115, 179, 333, 337, 374 ], [ 115, 116, 180, 334, 338, 375 ], [ 116, 117, 181, 335, 339, 376 ], [ 117, 118, 182, 336, 340, 377 ], [ 118, 119, 183, 337, 341, 378 ], [ 119, 120, 184, 338, 342, 379 ], [ 120, 121, 185, 339, 343, 380 ], [ 121, 122, 186, 340, 344, 381 ], [ 122, 123, 187, 341, 345, 382 ], [ 123, 124, 188, 342, 346, 383 ], [ 124, 125, 189, 343, 347, 384 ], [ 125, 126, 190, 344, 348, 385 ], [ 126, 127, 191, 345, 349, 386 ], [ 127, 128, 192, 346, 350, 387 ], [ 128, 129, 193, 347, 351, 388 ], [ 129, 130, 194, 348, 352, 389 ], [ 130, 131, 195, 349, 353, 390 ], [ 131, 132, 196, 350, 354, 391 ], [ 132, 133, 197, 351, 355, 392 ], [ 133, 134, 198, 352, 356, 393 ], [ 134, 135, 199, 353, 357, 394 ], [ 135, 136, 200, 354, 358, 395 ], [ 136, 137, 201, 355, 359, 396 ], [ 137, 138, 202, 356, 360, 397 ], [ 138, 139, 203, 357, 361, 398 ], [ 139, 140, 204, 358, 362, 399 ], [ 140, 141, 205, 359, 363, 400 ], [ 141, 142, 206, 360, 364, 401 ], [ 142, 143, 207, 361, 365, 402 ], [ 143, 144, 208, 362, 366, 403 ], [ 144, 145, 209, 363, 367, 404 ], [ 145, 146, 210, 364, 368, 405 ], [ 146, 147, 211, 365, 369, 406 ], [ 147, 148, 212, 366, 370, 407 ], [ 148, 149, 213, 367, 371, 408 ], [ 149, 150, 214, 368, 372, 409 ], [ 150, 151, 215, 369, 373, 410 ], [ 151, 152, 216, 370, 374, 411 ], [ 152, 153, 217, 371, 375, 412 ], [ 153, 154, 218, 372, 376, 413 ], [ 0, 154, 155, 373, 377, 414 ], [ 1, 155, 156, 374, 378, 415 ], [ 2, 156, 157, 375, 379, 416 ], [ 3, 157, 158, 376, 380, 417 ], [ 4, 158, 159, 377, 381, 418 ], [ 5, 159, 160, 378, 382, 419 ], [ 6, 160, 161, 379, 383, 420 ], [ 7, 161, 162, 380, 384, 421 ], [ 8, 162, 163, 381, 385, 422 ], [ 9, 163, 164, 382, 386, 423 ], [ 10, 164, 165, 383, 387, 424 ], [ 11, 165, 166, 384, 388, 425 ], [ 12, 166, 167, 385, 389, 426 ], [ 13, 167, 168, 386, 390, 427 ], [ 14, 168, 169, 387, 391, 428 ], [ 15, 169, 170, 388, 392, 429 ], [ 16, 170, 171, 389, 393, 430 ], [ 17, 171, 172, 390, 394, 431 ], [ 18, 172, 173, 391, 395, 432 ], [ 19, 173, 174, 392, 396, 433 ], [ 20, 174, 175, 393, 397, 434 ], [ 21, 175, 176, 394, 398, 435 ], [ 22, 176, 177, 395, 399, 436 ], [ 23, 177, 178, 396, 400, 437 ], [ 24, 178, 179, 219, 397, 401 ], [ 25, 179, 180, 220, 398, 402 ], [ 26, 180, 181, 221, 399, 403 ], [ 27, 181, 182, 222, 400, 404 ], [ 28, 182, 183, 223, 401, 405 ], [ 29, 183, 184, 224, 402, 406 ], [ 30, 184, 185, 225, 403, 407 ], [ 31, 185, 186, 226, 404, 408 ], [ 32, 186, 187, 227, 405, 409 ], [ 33, 187, 188, 228, 406, 410 ], [ 34, 188, 189, 229, 407, 411 ], [ 35, 189, 190, 230, 408, 412 ], [ 36, 190, 191, 231, 409, 413 ], [ 37, 191, 192, 232, 410, 414 ], [ 38, 192, 193, 233, 411, 415 ], [ 39, 193, 194, 234, 412, 416 ], [ 40, 194, 195, 235, 413, 417 ], [ 41, 195, 196, 236, 414, 418 ], [ 42, 196, 197, 237, 415, 419 ], [ 43, 197, 198, 238, 416, 420 ], [ 44, 198, 199, 239, 417, 421 ], [ 45, 199, 200, 240, 418, 422 ], [ 46, 200, 201, 241, 419, 423 ], [ 47, 201, 202, 242, 420, 424 ], [ 48, 202, 203, 243, 421, 425 ], [ 49, 203, 204, 244, 422, 426 ], [ 50, 204, 205, 245, 423, 427 ], [ 51, 205, 206, 246, 424, 428 ], [ 52, 206, 207, 247, 425, 429 ], [ 53, 207, 208, 248, 426, 430 ], [ 54, 208, 209, 249, 427, 431 ], [ 55, 209, 210, 250, 428, 432 ], [ 56, 210, 211, 251, 429, 433 ], [ 57, 211, 212, 252, 430, 434 ], [ 58, 212, 213, 253, 431, 435 ], [ 59, 213, 214, 254, 432, 436 ], [ 60, 214, 215, 255, 433, 437 ], [ 61, 215, 216, 219, 256, 434 ], [ 62, 216, 217, 220, 257, 435 ], [ 63, 217, 218, 221, 258, 436 ], [ 0, 64, 218, 222, 259, 437 ] ], "Z": [ [ 0, 178, 215, 219, 373, 437 ], [ 1, 179, 216, 219, 220, 374 ], [ 2, 180, 217, 220, 221, 375 ], [ 3, 181, 218, 221, 222, 376 ], [ 0, 4, 182, 222, 223, 377 ], [ 1, 5, 183, 223, 224, 378 ], [ 2, 6, 184, 224, 225, 379 ], [ 3, 7, 185, 225, 226, 380 ], [ 4, 8, 186, 226, 227, 381 ], [ 5, 9, 187, 227, 228, 382 ], [ 6, 10, 188, 228, 229, 383 ], [ 7, 11, 189, 229, 230, 384 ], [ 8, 12, 190, 230, 231, 385 ], [ 9, 13, 191, 231, 232, 386 ], [ 10, 14, 192, 232, 233, 387 ], [ 11, 15, 193, 233, 234, 388 ], [ 12, 16, 194, 234, 235, 389 ], [ 13, 17, 195, 235, 236, 390 ], [ 14, 18, 196, 236, 237, 391 ], [ 15, 19, 197, 237, 238, 392 ], [ 16, 20, 198, 238, 239, 393 ], [ 17, 21, 199, 239, 240, 394 ], [ 18, 22, 200, 240, 241, 395 ], [ 19, 23, 201, 241, 242, 396 ], [ 20, 24, 202, 242, 243, 397 ], [ 21, 25, 203, 243, 244, 398 ], [ 22, 26, 204, 244, 245, 399 ], [ 23, 27, 205, 245, 246, 400 ], [ 24, 28, 206, 246, 247, 401 ], [ 25, 29, 207, 247, 248, 402 ], [ 26, 30, 208, 248, 249, 403 ], [ 27, 31, 209, 249, 250, 404 ], [ 28, 32, 210, 250, 251, 405 ], [ 29, 33, 211, 251, 252, 406 ], [ 30, 34, 212, 252, 253, 407 ], [ 31, 35, 213, 253, 254, 408 ], [ 32, 36, 214, 254, 255, 409 ], [ 33, 37, 215, 255, 256, 410 ], [ 34, 38, 216, 256, 257, 411 ], [ 35, 39, 217, 257, 258, 412 ], [ 36, 40, 218, 258, 259, 413 ], [ 0, 37, 41, 259, 260, 414 ], [ 1, 38, 42, 260, 261, 415 ], [ 2, 39, 43, 261, 262, 416 ], [ 3, 40, 44, 262, 263, 417 ], [ 4, 41, 45, 263, 264, 418 ], [ 5, 42, 46, 264, 265, 419 ], [ 6, 43, 47, 265, 266, 420 ], [ 7, 44, 48, 266, 267, 421 ], [ 8, 45, 49, 267, 268, 422 ], [ 9, 46, 50, 268, 269, 423 ], [ 10, 47, 51, 269, 270, 424 ], [ 11, 48, 52, 270, 271, 425 ], [ 12, 49, 53, 271, 272, 426 ], [ 13, 50, 54, 272, 273, 427 ], [ 14, 51, 55, 273, 274, 428 ], [ 15, 52, 56, 274, 275, 429 ], [ 16, 53, 57, 275, 276, 430 ], [ 17, 54, 58, 276, 277, 431 ], [ 18, 55, 59, 277, 278, 432 ], [ 19, 56, 60, 278, 279, 433 ], [ 20, 57, 61, 279, 280, 434 ], [ 21, 58, 62, 280, 281, 435 ], [ 22, 59, 63, 281, 282, 436 ], [ 23, 60, 64, 282, 283, 437 ], [ 24, 61, 65, 219, 283, 284 ], [ 25, 62, 66, 220, 284, 285 ], [ 26, 63, 67, 221, 285, 286 ], [ 27, 64, 68, 222, 286, 287 ], [ 28, 65, 69, 223, 287, 288 ], [ 29, 66, 70, 224, 288, 289 ], [ 30, 67, 71, 225, 289, 290 ], [ 31, 68, 72, 226, 290, 291 ], [ 32, 69, 73, 227, 291, 292 ], [ 33, 70, 74, 228, 292, 293 ], [ 34, 71, 75, 229, 293, 294 ], [ 35, 72, 76, 230, 294, 295 ], [ 36, 73, 77, 231, 295, 296 ], [ 37, 74, 78, 232, 296, 297 ], [ 38, 75, 79, 233, 297, 298 ], [ 39, 76, 80, 234, 298, 299 ], [ 40, 77, 81, 235, 299, 300 ], [ 41, 78, 82, 236, 300, 301 ], [ 42, 79, 83, 237, 301, 302 ], [ 43, 80, 84, 238, 302, 303 ], [ 44, 81, 85, 239, 303, 304 ], [ 45, 82, 86, 240, 304, 305 ], [ 46, 83, 87, 241, 305, 306 ], [ 47, 84, 88, 242, 306, 307 ], [ 48, 85, 89, 243, 307, 308 ], [ 49, 86, 90, 244, 308, 309 ], [ 50, 87, 91, 245, 309, 310 ], [ 51, 88, 92, 246, 310, 311 ], [ 52, 89, 93, 247, 311, 312 ], [ 53, 90, 94, 248, 312, 313 ], [ 54, 91, 95, 249, 313, 314 ], [ 55, 92, 96, 250, 314, 315 ], [ 56, 93, 97, 251, 315, 316 ], [ 57, 94, 98, 252, 316, 317 ], [ 58, 95, 99, 253, 317, 318 ], [ 59, 96, 100, 254, 318, 319 ], [ 60, 97, 101, 255, 319, 320 ], [ 61, 98, 102, 256, 320, 321 ], [ 62, 99, 103, 257, 321, 322 ], [ 63, 100, 104, 258, 322, 323 ], [ 64, 101, 105, 259, 323, 324 ], [ 65, 102, 106, 260, 324, 325 ], [ 66, 103, 107, 261, 325, 326 ], [ 67, 104, 108, 262, 326, 327 ], [ 68, 105, 109, 263, 327, 328 ], [ 69, 106, 110, 264, 328, 329 ], [ 70, 107, 111, 265, 329, 330 ], [ 71, 108, 112, 266, 330, 331 ], [ 72, 109, 113, 267, 331, 332 ], [ 73, 110, 114, 268, 332, 333 ], [ 74, 111, 115, 269, 333, 334 ], [ 75, 112, 116, 270, 334, 335 ], [ 76, 113, 117, 271, 335, 336 ], [ 77, 114, 118, 272, 336, 337 ], [ 78, 115, 119, 273, 337, 338 ], [ 79, 116, 120, 274, 338, 339 ], [ 80, 117, 121, 275, 339, 340 ], [ 81, 118, 122, 276, 340, 341 ], [ 82, 119, 123, 277, 341, 342 ], [ 83, 120, 124, 278, 342, 343 ], [ 84, 121, 125, 279, 343, 344 ], [ 85, 122, 126, 280, 344, 345 ], [ 86, 123, 127, 281, 345, 346 ], [ 87, 124, 128, 282, 346, 347 ], [ 88, 125, 129, 283, 347, 348 ], [ 89, 126, 130, 284, 348, 349 ], [ 90, 127, 131, 285, 349, 350 ], [ 91, 128, 132, 286, 350, 351 ], [ 92, 129, 133, 287, 351, 352 ], [ 93, 130, 134, 288, 352, 353 ], [ 94, 131, 135, 289, 353, 354 ], [ 95, 132, 136, 290, 354, 355 ], [ 96, 133, 137, 291, 355, 356 ], [ 97, 134, 138, 292, 356, 357 ], [ 98, 135, 139, 293, 357, 358 ], [ 99, 136, 140, 294, 358, 359 ], [ 100, 137, 141, 295, 359, 360 ], [ 101, 138, 142, 296, 360, 361 ], [ 102, 139, 143, 297, 361, 362 ], [ 103, 140, 144, 298, 362, 363 ], [ 104, 141, 145, 299, 363, 364 ], [ 105, 142, 146, 300, 364, 365 ], [ 106, 143, 147, 301, 365, 366 ], [ 107, 144, 148, 302, 366, 367 ], [ 108, 145, 149, 303, 367, 368 ], [ 109, 146, 150, 304, 368, 369 ], [ 110, 147, 151, 305, 369, 370 ], [ 111, 148, 152, 306, 370, 371 ], [ 112, 149, 153, 307, 371, 372 ], [ 113, 150, 154, 308, 372, 373 ], [ 114, 151, 155, 309, 373, 374 ], [ 115, 152, 156, 310, 374, 375 ], [ 116, 153, 157, 311, 375, 376 ], [ 117, 154, 158, 312, 376, 377 ], [ 118, 155, 159, 313, 377, 378 ], [ 119, 156, 160, 314, 378, 379 ], [ 120, 157, 161, 315, 379, 380 ], [ 121, 158, 162, 316, 380, 381 ], [ 122, 159, 163, 317, 381, 382 ], [ 123, 160, 164, 318, 382, 383 ], [ 124, 161, 165, 319, 383, 384 ], [ 125, 162, 166, 320, 384, 385 ], [ 126, 163, 167, 321, 385, 386 ], [ 127, 164, 168, 322, 386, 387 ], [ 128, 165, 169, 323, 387, 388 ], [ 129, 166, 170, 324, 388, 389 ], [ 130, 167, 171, 325, 389, 390 ], [ 131, 168, 172, 326, 390, 391 ], [ 132, 169, 173, 327, 391, 392 ], [ 133, 170, 174, 328, 392, 393 ], [ 134, 171, 175, 329, 393, 394 ], [ 135, 172, 176, 330, 394, 395 ], [ 136, 173, 177, 331, 395, 396 ], [ 137, 174, 178, 332, 396, 397 ], [ 138, 175, 179, 333, 397, 398 ], [ 139, 176, 180, 334, 398, 399 ], [ 140, 177, 181, 335, 399, 400 ], [ 141, 178, 182, 336, 400, 401 ], [ 142, 179, 183, 337, 401, 402 ], [ 143, 180, 184, 338, 402, 403 ], [ 144, 181, 185, 339, 403, 404 ], [ 145, 182, 186, 340, 404, 405 ], [ 146, 183, 187, 341, 405, 406 ], [ 147, 184, 188, 342, 406, 407 ], [ 148, 185, 189, 343, 407, 408 ], [ 149, 186, 190, 344, 408, 409 ], [ 150, 187, 191, 345, 409, 410 ], [ 151, 188, 192, 346, 410, 411 ], [ 152, 189, 193, 347, 411, 412 ], [ 153, 190, 194, 348, 412, 413 ], [ 154, 191, 195, 349, 413, 414 ], [ 155, 192, 196, 350, 414, 415 ], [ 156, 193, 197, 351, 415, 416 ], [ 157, 194, 198, 352, 416, 417 ], [ 158, 195, 199, 353, 417, 418 ], [ 159, 196, 200, 354, 418, 419 ], [ 160, 197, 201, 355, 419, 420 ], [ 161, 198, 202, 356, 420, 421 ], [ 162, 199, 203, 357, 421, 422 ], [ 163, 200, 204, 358, 422, 423 ], [ 164, 201, 205, 359, 423, 424 ], [ 165, 202, 206, 360, 424, 425 ], [ 166, 203, 207, 361, 425, 426 ], [ 167, 204, 208, 362, 426, 427 ], [ 168, 205, 209, 363, 427, 428 ], [ 169, 206, 210, 364, 428, 429 ], [ 170, 207, 211, 365, 429, 430 ], [ 171, 208, 212, 366, 430, 431 ], [ 172, 209, 213, 367, 431, 432 ], [ 173, 210, 214, 368, 432, 433 ], [ 174, 211, 215, 369, 433, 434 ], [ 175, 212, 216, 370, 434, 435 ], [ 176, 213, 217, 371, 435, 436 ], [ 177, 214, 218, 372, 436, 437 ] ] }, "distance": { "d": 10, "X": { "value": 10, "confidence": "upper_bound", "witness": [ 183, 248, 250, 313, 314, 378, 402, 403, 404, 405 ] }, "Z": { "value": 10, "confidence": "upper_bound", "witness": [ 15, 79, 80, 143, 145, 207, 208, 209, 210, 429 ] } }, "provenance": { "authors": [ "@vprusso" ], "construction": "Generalized bicycle (two-block) code on Z_219 (n = 2m = 438): a(x) = x^0 + x^1 + x^65, b(x) = x^0 + x^4 + x^41; H_X = [A|B], H_Z = [B^T|A^T] with A = a(S), B = b(S) for the m x m cyclic shift S (A[i, i+e mod m] = 1 for e in the support), equivalent, under the qubit relabeling i -> -i mod m inside each block, to research/kit/group_algebra.py build_2bga on the cyclic group Z_219 with supports a and b. k = 2 deg gcd(a, b, x^m - 1) = 22 by the designed common divisor.", "origin": "submission", "date": "2026-09-22", "model": "Claude Fable 5.1", "notes": "Found by a designed-divisor sweep over weight-3 pairs on Z_m sharing a common factor of x^m - 1 of degree at least 9 aimed at the weight-6 x unrestricted cell. Distance is a witness-backed upper bound; RIS ladder (verify/gf2_fast.cpp distance_rand_witness, pair depth 8): 2000 trials -> 10, 20000 -> 10, 200000 (seed 101) -> 10. Advances the weight-6 x unrestricted board; novelty vs the literature unverified. GPU RIS pass (verify/ris_gpu.py, 300,000,000 trials per side, seed 2026): lightest logical X 10, Z 10.", "search_budget": { "candidates_screened": 135, "ris_trials_per_side": 300000000, "wall_clock_hours": 1.0, "tool": "research/kit search funnel, gf2_fast RIS, verify/ris_gpu (A40)" } }, "family": "generalized-bicycle" }