{ "schema_version": "0.2", "name": "[[446,13,13]] reduction of [[497,13,13]]", "code_type": "CSS", "n": 446, "k": 13, "checks": { "X": [ [ 0, 1, 9, 10, 33, 237 ], [ 3, 5, 26, 27, 229, 230 ], [ 29, 30, 232, 233 ], [ 32, 215, 216, 235 ], [ 3, 36, 218, 219, 239 ], [ 4, 14, 37, 219, 240 ], [ 5, 14, 38, 220, 241 ], [ 39, 220, 221, 242 ], [ 6, 40, 221, 222, 243 ], [ 2, 9, 43, 224, 225, 247 ], [ 3, 10, 22, 44, 225, 248 ], [ 4, 11, 22, 23, 45, 249 ], [ 5, 12, 23, 46, 226, 250 ], [ 13, 47, 226, 227, 251 ], [ 6, 14, 48, 227, 228, 252 ], [ 7, 16, 49, 229, 230, 255 ], [ 8, 17, 50, 230, 231, 256 ], [ 9, 18, 51, 231, 232, 257 ], [ 10, 19, 52, 232, 233, 258 ], [ 11, 20, 53, 233, 234, 259 ], [ 12, 21, 54, 234, 235, 260 ], [ 13, 22, 55, 235, 236, 261 ], [ 14, 23, 56, 236, 262 ], [ 17, 25, 59, 238, 239, 265 ], [ 18, 26, 60, 239, 240, 266 ], [ 19, 27, 61, 240, 241, 267 ], [ 20, 28, 62, 241, 242, 268 ], [ 21, 29, 63, 242, 243, 269 ], [ 22, 30, 64, 243, 244, 270 ], [ 23, 31, 65, 244, 245, 271 ], [ 25, 33, 68, 247, 248, 274 ], [ 26, 34, 69, 248, 249, 275 ], [ 27, 35, 70, 249, 250, 276 ], [ 28, 36, 71, 250, 251, 277 ], [ 29, 37, 72, 251, 252, 278 ], [ 30, 38, 73, 252, 253, 279 ], [ 31, 39, 74, 253, 254, 280 ], [ 33, 41, 77, 257, 258, 283 ], [ 34, 42, 78, 258, 259, 284 ], [ 35, 43, 79, 259, 260, 285 ], [ 36, 44, 80, 260, 261, 286 ], [ 37, 45, 81, 261, 262, 287 ], [ 38, 46, 82, 262, 263, 288 ], [ 39, 47, 83, 263, 264, 289 ], [ 41, 49, 86, 266, 267, 292 ], [ 42, 50, 87, 267, 268, 293 ], [ 43, 51, 88, 268, 269, 294 ], [ 44, 52, 89, 269, 270, 295 ], [ 45, 53, 90, 270, 271, 296 ], [ 46, 54, 91, 271, 272, 297 ], [ 47, 55, 92, 272, 273, 298 ], [ 49, 58, 95, 275, 276, 301 ], [ 50, 59, 96, 276, 277, 302 ], [ 51, 60, 97, 277, 278, 303 ], [ 52, 61, 98, 278, 279, 304 ], [ 53, 62, 99, 279, 280, 305 ], [ 54, 63, 100, 280, 281, 306 ], [ 55, 64, 101, 281, 282, 307 ], [ 57, 66, 103, 283, 284, 310 ], [ 58, 67, 104, 284, 285, 311 ], [ 59, 68, 105, 285, 286, 312 ], [ 60, 69, 106, 286, 287, 313 ], [ 61, 70, 107, 287, 288, 314 ], [ 62, 71, 108, 288, 289, 315 ], [ 63, 72, 109, 289, 290, 316 ], [ 64, 73, 110, 290, 291, 317 ], [ 66, 75, 112, 292, 293, 319 ], [ 67, 76, 113, 293, 294, 320 ], [ 68, 77, 114, 294, 295, 321 ], [ 69, 78, 115, 295, 296, 322 ], [ 70, 79, 116, 296, 297, 323 ], [ 71, 80, 117, 297, 298, 324 ], [ 72, 81, 118, 298, 299, 325 ], [ 73, 82, 119, 299, 300, 326 ], [ 75, 84, 121, 301, 302, 329 ], [ 76, 85, 122, 302, 303, 330 ], [ 77, 86, 123, 303, 304, 331 ], [ 78, 87, 124, 304, 305, 332 ], [ 79, 88, 125, 305, 306, 333 ], [ 80, 89, 126, 306, 307, 334 ], [ 81, 90, 127, 307, 308, 335 ], [ 82, 91, 128, 308, 309, 336 ], [ 84, 93, 130, 311, 312, 339 ], [ 85, 94, 131, 312, 313, 340 ], [ 86, 95, 132, 313, 314, 341 ], [ 87, 96, 133, 314, 315, 342 ], [ 88, 97, 134, 315, 316, 343 ], [ 89, 98, 135, 316, 317, 344 ], [ 90, 99, 136, 317, 318, 345 ], [ 93, 102, 138, 320, 321, 349 ], [ 94, 103, 139, 321, 322, 350 ], [ 95, 104, 140, 322, 323, 351 ], [ 96, 105, 141, 323, 324, 352 ], [ 97, 106, 142, 324, 325, 353 ], [ 98, 107, 143, 325, 326, 354 ], [ 99, 108, 144, 326, 327, 355 ], [ 100, 109, 145, 327, 328, 356 ], [ 102, 111, 147, 330, 331, 358 ], [ 103, 112, 148, 331, 332, 359 ], [ 104, 113, 149, 332, 333, 360 ], [ 105, 114, 150, 333, 334, 361 ], [ 106, 115, 151, 334, 335, 362 ], [ 107, 116, 152, 335, 336, 363 ], [ 108, 117, 153, 336, 337, 364 ], [ 109, 118, 154, 337, 338, 365 ], [ 111, 120, 156, 340, 341, 368 ], [ 112, 121, 157, 341, 342, 369 ], [ 113, 122, 158, 342, 343, 370 ], [ 114, 123, 159, 343, 344, 371 ], [ 115, 124, 160, 344, 345, 372 ], [ 116, 125, 161, 345, 346, 373 ], [ 117, 126, 162, 346, 347, 374 ], [ 118, 127, 163, 347, 348, 375 ], [ 120, 129, 165, 350, 351, 378 ], [ 121, 130, 166, 351, 352, 379 ], [ 122, 131, 167, 352, 353, 380 ], [ 123, 132, 168, 353, 354, 381 ], [ 124, 133, 169, 354, 355, 382 ], [ 125, 134, 170, 355, 356, 383 ], [ 126, 135, 171, 356, 357, 384 ], [ 129, 137, 173, 359, 360, 388 ], [ 130, 138, 174, 360, 361, 389 ], [ 131, 139, 175, 361, 362, 390 ], [ 132, 140, 176, 362, 363, 391 ], [ 133, 141, 177, 363, 364, 392 ], [ 134, 142, 178, 364, 365, 393 ], [ 135, 143, 179, 365, 366, 394 ], [ 136, 144, 180, 366, 367, 395 ], [ 137, 146, 182, 369, 370, 398 ], [ 138, 147, 183, 370, 371, 399 ], [ 139, 148, 184, 371, 372, 400 ], [ 140, 149, 185, 372, 373, 401 ], [ 141, 150, 186, 373, 374, 402 ], [ 142, 151, 187, 374, 375, 403 ], [ 143, 152, 188, 375, 376, 404 ], [ 144, 153, 189, 376, 377, 405 ], [ 146, 155, 191, 379, 380 ], [ 147, 156, 192, 380, 381, 406 ], [ 148, 157, 193, 381, 382, 407 ], [ 149, 158, 194, 382, 383, 408 ], [ 150, 159, 195, 383, 384, 409 ], [ 151, 160, 196, 384, 385, 410 ], [ 152, 161, 197, 385, 386, 411 ], [ 153, 162, 198, 386, 387, 412 ], [ 155, 164, 200, 389, 390, 415 ], [ 156, 165, 201, 390, 391, 416 ], [ 157, 166, 202, 391, 392, 417 ], [ 158, 167, 203, 392, 393, 418 ], [ 159, 168, 204, 393, 394, 419 ], [ 160, 169, 205, 394, 395, 420 ], [ 161, 170, 206, 395, 396, 421 ], [ 162, 171, 396, 397, 422 ], [ 164, 172, 208, 399, 400 ], [ 165, 173, 209, 400, 401, 425 ], [ 166, 174, 210, 401, 402, 426 ], [ 167, 175, 211, 402, 403, 427 ], [ 168, 176, 212, 403, 404, 428 ], [ 169, 177, 213, 404, 405, 429 ], [ 2, 35, 217, 218, 238 ], [ 18, 223 ], [ 8, 19, 42, 224, 246 ], [ 20, 224 ], [ 24, 226 ], [ 3, 4, 26, 229 ], [ 5, 28, 231 ], [ 6, 29, 232 ], [ 31, 215, 234 ], [ 11, 217 ], [ 12, 218 ], [ 13, 219 ], [ 15, 220 ], [ 21, 225 ], [ 199, 207, 433, 434 ], [ 200, 208, 434, 435 ], [ 201, 209, 435, 436 ], [ 202, 210, 436, 437 ], [ 203, 211, 437, 438 ], [ 204, 212, 438, 439 ], [ 205, 213, 439, 440 ], [ 181, 190, 416, 417, 441 ], [ 182, 191, 207, 417, 418, 442 ], [ 183, 192, 418, 419, 442 ], [ 184, 193, 208, 419, 420, 442 ], [ 185, 194, 420, 421, 443 ], [ 186, 195, 210, 421, 422, 443 ], [ 187, 196, 422, 423, 444 ], [ 188, 197, 213, 423, 424, 445 ], [ 172, 181, 406, 407, 432 ], [ 173, 182, 407, 408, 433 ], [ 174, 183, 408, 409, 434 ], [ 175, 184, 409, 410, 435 ], [ 176, 185, 410, 411, 436 ], [ 177, 186, 411, 412, 437 ], [ 178, 187, 412, 413, 438 ], [ 179, 188, 413, 414, 439 ], [ 208, 209, 442, 443 ], [ 210, 211, 443, 444 ], [ 212, 213, 444, 445 ], [ 190, 199, 425, 426 ], [ 191, 200, 426, 427 ], [ 192, 201, 427, 428 ], [ 193, 202, 428, 429 ], [ 194, 203, 429, 430 ], [ 195, 204, 430, 431 ], [ 3, 26, 214, 229 ] ], "Z": [ [ 2, 25, 238, 247 ], [ 3, 25, 26, 239, 248 ], [ 4, 26, 27, 214, 240, 249 ], [ 5, 27, 28, 241, 250 ], [ 6, 29, 30, 243, 252 ], [ 32, 216 ], [ 9, 33, 247, 257 ], [ 10, 33, 34, 248, 258 ], [ 11, 34, 35, 217, 249, 259 ], [ 12, 35, 36, 218, 250, 260 ], [ 13, 36, 37, 219, 251, 261 ], [ 14, 37, 38, 252, 262 ], [ 15, 38, 39, 220, 253, 263 ], [ 40, 222 ], [ 18, 41, 223, 257, 266 ], [ 19, 41, 42, 258, 267 ], [ 20, 42, 43, 224, 259, 268 ], [ 21, 43, 44, 225, 260, 269 ], [ 22, 44, 45, 261, 270 ], [ 23, 45, 46, 262, 271 ], [ 24, 46, 47, 226, 263, 272 ], [ 48, 228 ], [ 26, 49, 229, 266, 275 ], [ 27, 49, 50, 230, 267, 276 ], [ 28, 50, 51, 231, 268, 277 ], [ 29, 51, 52, 232, 269, 278 ], [ 30, 52, 53, 233, 270, 279 ], [ 31, 53, 54, 234, 271, 280 ], [ 32, 54, 55, 235, 272, 281 ], [ 34, 57, 58, 275, 284 ], [ 35, 58, 59, 238, 276, 285 ], [ 36, 59, 60, 239, 277, 286 ], [ 37, 60, 61, 240, 278, 287 ], [ 38, 61, 62, 241, 279, 288 ], [ 39, 62, 63, 242, 280, 289 ], [ 40, 63, 64, 243, 281, 290 ], [ 64, 65, 244, 282, 291 ], [ 42, 66, 67, 246, 284, 293 ], [ 43, 67, 68, 247, 285, 294 ], [ 44, 68, 69, 248, 286, 295 ], [ 45, 69, 70, 249, 287, 296 ], [ 46, 70, 71, 250, 288, 297 ], [ 47, 71, 72, 251, 289, 298 ], [ 48, 72, 73, 252, 290, 299 ], [ 73, 74, 253, 291, 300 ], [ 50, 75, 76, 256, 293, 302 ], [ 51, 76, 77, 257, 294, 303 ], [ 52, 77, 78, 258, 295, 304 ], [ 53, 78, 79, 259, 296, 305 ], [ 54, 79, 80, 260, 297, 306 ], [ 55, 80, 81, 261, 298, 307 ], [ 56, 81, 82, 262, 299, 308 ], [ 82, 83, 263, 300, 309 ], [ 59, 84, 85, 265, 302, 312 ], [ 60, 85, 86, 266, 303, 313 ], [ 61, 86, 87, 267, 304, 314 ], [ 62, 87, 88, 268, 305, 315 ], [ 63, 88, 89, 269, 306, 316 ], [ 64, 89, 90, 270, 307, 317 ], [ 65, 90, 91, 271, 308, 318 ], [ 91, 92, 272, 309 ], [ 68, 93, 94, 274, 312, 321 ], [ 69, 94, 95, 275, 313, 322 ], [ 70, 95, 96, 276, 314, 323 ], [ 71, 96, 97, 277, 315, 324 ], [ 72, 97, 98, 278, 316, 325 ], [ 73, 98, 99, 279, 317, 326 ], [ 74, 99, 100, 280, 318, 327 ], [ 100, 101, 281, 328 ], [ 77, 102, 103, 283, 321, 331 ], [ 78, 103, 104, 284, 322, 332 ], [ 79, 104, 105, 285, 323, 333 ], [ 80, 105, 106, 286, 324, 334 ], [ 81, 106, 107, 287, 325, 335 ], [ 82, 107, 108, 288, 326, 336 ], [ 83, 108, 109, 289, 327, 337 ], [ 109, 110, 290, 328, 338 ], [ 86, 111, 112, 292, 331, 341 ], [ 87, 112, 113, 293, 332, 342 ], [ 88, 113, 114, 294, 333, 343 ], [ 89, 114, 115, 295, 334, 344 ], [ 90, 115, 116, 296, 335, 345 ], [ 91, 116, 117, 297, 336, 346 ], [ 92, 117, 118, 298, 337, 347 ], [ 118, 119, 299, 338, 348 ], [ 95, 120, 121, 301, 341, 351 ], [ 96, 121, 122, 302, 342, 352 ], [ 97, 122, 123, 303, 343, 353 ], [ 98, 123, 124, 304, 344, 354 ], [ 99, 124, 125, 305, 345, 355 ], [ 100, 125, 126, 306, 346, 356 ], [ 101, 126, 127, 307, 347, 357 ], [ 127, 128, 308, 348 ], [ 104, 129, 130, 311, 351, 360 ], [ 105, 130, 131, 312, 352, 361 ], [ 106, 131, 132, 313, 353, 362 ], [ 107, 132, 133, 314, 354, 363 ], [ 108, 133, 134, 315, 355, 364 ], [ 109, 134, 135, 316, 356, 365 ], [ 110, 135, 136, 317, 357, 366 ], [ 136, 318, 367 ], [ 113, 137, 138, 320, 360, 370 ], [ 114, 138, 139, 321, 361, 371 ], [ 115, 139, 140, 322, 362, 372 ], [ 116, 140, 141, 323, 363, 373 ], [ 117, 141, 142, 324, 364, 374 ], [ 118, 142, 143, 325, 365, 375 ], [ 119, 143, 144, 326, 366, 376 ], [ 144, 145, 327, 367, 377 ], [ 122, 146, 147, 330, 370, 380 ], [ 123, 147, 148, 331, 371, 381 ], [ 124, 148, 149, 332, 372, 382 ], [ 125, 149, 150, 333, 373, 383 ], [ 126, 150, 151, 334, 374, 384 ], [ 127, 151, 152, 335, 375, 385 ], [ 128, 152, 153, 336, 376, 386 ], [ 153, 154, 337, 377, 387 ], [ 131, 155, 156, 340, 380, 390 ], [ 132, 156, 157, 341, 381, 391 ], [ 133, 157, 158, 342, 382, 392 ], [ 134, 158, 159, 343, 383, 393 ], [ 135, 159, 160, 344, 384, 394 ], [ 136, 160, 161, 345, 385, 395 ], [ 161, 162, 346, 386, 396 ], [ 162, 163, 347, 387, 397 ], [ 139, 164, 165, 350, 390, 400 ], [ 140, 165, 166, 351, 391, 401 ], [ 141, 166, 167, 352, 392, 402 ], [ 142, 167, 168, 353, 393, 403 ], [ 143, 168, 169, 354, 394, 404 ], [ 144, 169, 170, 355, 395, 405 ], [ 145, 170, 171, 356, 396 ], [ 171, 357, 397 ], [ 148, 172, 173, 359, 400, 407 ], [ 149, 173, 174, 360, 401, 408 ], [ 150, 174, 175, 361, 402, 409 ], [ 151, 175, 176, 362, 403, 410 ], [ 152, 176, 177, 363, 404, 411 ], [ 153, 177, 178, 364, 405, 412 ], [ 154, 178, 179, 365, 413 ], [ 179, 180, 366, 414 ], [ 157, 181, 182, 369, 407, 417 ], [ 158, 182, 183, 370, 408, 418 ], [ 159, 183, 184, 371, 409, 419 ], [ 160, 184, 185, 372, 410, 420 ], [ 161, 185, 186, 373, 411, 421 ], [ 162, 186, 187, 374, 412, 422 ], [ 163, 187, 188, 375, 413, 423 ], [ 188, 189, 376, 414, 424 ], [ 166, 190, 191, 379, 417, 426 ], [ 167, 191, 192, 380, 418, 427 ], [ 168, 192, 193, 381, 419, 428 ], [ 169, 193, 194, 382, 420, 429 ], [ 170, 194, 195, 383, 421, 430 ], [ 171, 195, 196, 384, 422, 431 ], [ 196, 197, 385, 423 ], [ 197, 198, 386, 424 ], [ 174, 199, 200, 389, 426, 434 ], [ 175, 200, 201, 390, 427, 435 ], [ 176, 201, 202, 391, 428, 436 ], [ 177, 202, 203, 392, 429, 437 ], [ 178, 203, 204, 393, 430, 438 ], [ 179, 204, 205, 394, 431, 439 ], [ 180, 205, 206, 395, 440 ], [ 206, 396, 397 ], [ 183, 207, 208, 399, 434, 442 ], [ 184, 208, 209, 400, 435 ], [ 185, 209, 210, 401, 436, 443 ], [ 186, 210, 211, 402, 437 ], [ 187, 211, 212, 403, 438, 444 ], [ 188, 212, 213, 404, 439 ], [ 189, 213, 405, 440, 445 ], [ 8, 246, 256 ], [ 17, 256, 265 ], [ 25, 265, 274 ], [ 33, 57, 237, 274, 283 ], [ 41, 66, 283, 292 ], [ 49, 75, 255, 292, 301 ], [ 58, 84, 301, 311 ], [ 67, 93, 311, 320 ], [ 76, 102, 320, 330 ], [ 85, 111, 330, 340 ], [ 94, 120, 340, 350 ], [ 103, 129, 310, 350, 359 ], [ 112, 137, 319, 359, 369 ], [ 121, 146, 329, 369, 379 ], [ 130, 155, 339, 379, 389 ], [ 138, 164, 349, 389, 399 ], [ 147, 172, 358, 399, 406 ], [ 156, 181, 368, 406, 416 ], [ 165, 190, 378, 416, 425 ], [ 173, 199, 388, 425, 433 ], [ 1, 237 ], [ 7, 255 ], [ 16, 255 ], [ 57, 310 ], [ 66, 310, 319 ], [ 75, 319, 329 ], [ 84, 329, 339 ], [ 93, 339, 349 ], [ 102, 349, 358 ], [ 111, 358, 368 ], [ 120, 368, 378 ], [ 129, 378, 388 ], [ 137, 388, 398 ], [ 182, 207, 398, 433 ], [ 146, 155, 182, 207, 415, 433 ], [ 164, 172, 415, 432 ], [ 181, 432, 441 ], [ 55, 56, 236, 273, 282 ], [ 65, 245 ], [ 74, 254 ], [ 83, 264 ], [ 92, 273 ], [ 101, 282 ], [ 110, 291 ], [ 119, 300 ], [ 128, 309 ], [ 145, 328 ], [ 154, 338 ], [ 163, 348 ], [ 180, 367 ], [ 189, 377 ], [ 198, 387 ], [ 31, 215, 216, 245, 254 ], [ 39, 221, 222, 254, 264 ], [ 47, 227, 228, 264, 273 ], [ 0, 237 ] ] }, "distance": { "d": 13, "X": { "value": 13, "confidence": "upper_bound", "witness": [ 18, 50, 230, 231, 266, 275, 284, 293, 313, 332, 362, 372, 410 ], "witness_provenance": { "found_by": [ "@dorakingx" ], "date": "2026-10-03", "found_at_samples": 20000, "survived_samples": 20000000, "tool": "gf2_fast RIS ladder (verify/gf2_fast.cpp), both sides searched jointly", "seeds": [ 777001, 777138, 777275, 777412, 777549 ] } }, "Z": { "value": 13, "confidence": "upper_bound", "witness": [ 69, 106, 115, 142, 160, 178, 187, 196, 205, 275, 301, 329, 440 ], "witness_provenance": { "found_by": [ "@dorakingx" ], "date": "2026-10-03", "found_at_samples": 4000, "survived_samples": 20000000, "tool": "gf2_fast RIS in the packaging search; the ladder searched both sides jointly", "seeds": [ 7, 777001, 777138, 777275, 777412, 777549 ] } } }, "provenance": { "authors": [ "@dorakingx" ], "construction": "Reduction of the board's codes/497-13-13.json ([[497,13,13]]) by 51 qubits at unchanged k, unchanged check-weight class and unchanged locality class, by one move applied to a fixpoint: graft a qubit away using a low-weight element of the stabilizer ROW SPACE. Let S be an element of the row space of H_X with support T and let a be in T. Replace one generator of the subset summing to S by S itself -- the span is unchanged, that generator being S plus the rest of the subset -- and add S into every other X row meeting a, so that a survives only in S. Then apply the CNOT fan-out from a to T\\{a}, which acts on the check matrices as H_X[:, b] ^= H_X[:, a] and H_Z[:, a] ^= H_Z[:, b] for each b in T\\{a}. Only S still meets a, so the first substitution turns S into the weight-1 stabilizer X_a and leaves every other X row alone; the second zeroes column a of H_Z, because commutation forces every Z row to meet T an even number of times. Qubit a is then disentangled and is deleted: n -> n-1, k unchanged, and the Z rows only LOSE an index, so their weights and support diameters cannot rise. The weight of S separates three regimes, and the difference is entirely in the clearing step R ^= S. |S| = 1: nothing is added anywhere, so the weights, the radius AND THE DISTANCE are all preserved exactly, and no distance search is needed -- this is the row-space form of the weight-1 stabilizer cleanup of Liang, Eberhardt and Chen (arXiv:2504.08887 Sec. III D step 4), which the implementation in research/local2d/boundary_engine.py applies only to literal weight-1 generator ROWS. |S| = 2: R loses a and toggles one other index, so its weight changes by 0 or -2 and can never rise. |S| >= 3: R can grow, so every touched row is checked against the code's weight class and its locality radius, measured in the source's own layout. This generalises the capped merge-graft I introduced with [[454,8,17]], which only ever built S from the generators a single qubit happens to lie in. Here the accepted grafts were |S| = 1: 1, |S| = 2: 1, |S| = 3: 1, |S| = 5: 1, |S| = 6: 1. Low-weight row-space elements are enumerated as sums of at most three checks with a connected overlap pattern. Every graft with |S| >= 2 was accepted only if k was unchanged and a bit-packed RIS search found nothing lighter than 13, screened once and confirmed twice with independent seeds; those in-loop rungs are a filter, not the evidence. QUBIT POSITIONS ARE THE SOURCE'S: every surviving qubit keeps the coordinate it has in codes/497-13-13.json, so the layout is inherited rather than re-derived, and the reduction only deletes. The surviving qubits' indices into the source numbering are [0, 2, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15]... (full list implied by the coordinates in this file).", "references": [ "arXiv:2504.08887" ], "date": "2026-10-03", "notes": "Derived from codes/497-13-13.json, not an independent construction; the source's authors are @MathysRennela and the reduction is mine. The gate reports no exact duplicate and no WL-equivalent entry. It dominates [[450,12,6]], [[497,13,13]] on (n, k, d, w), which therefore leave the frontier of every cell they share with it. The measured interaction radius is 7, against 5.38516 for the source: unlike the graft and the cleanup, the merge-graft can widen a check, and it is capped by the locality class rather than by the source's own radius, so the reduced code is less local even though it stays in the same cell. Distance is a witness-backed upper bound: the deepest null result is 20000000 fresh-seed RIS trials. Literature novelty is unverified.", "model": "Claude Opus 5 (Claude Code)", "origin": "submission", "novelty": "unknown" }, "family": "bivariate-bicycle", "locality": { "coordinates": [ [ 0.0, 0.0 ], [ 2.0, 0.0 ], [ 2.0, 2.0 ], [ 2.0, 3.0 ], [ 2.0, 4.0 ], [ 2.0, 5.0 ], [ 2.0, 7.0 ], [ 3.0, 0.0 ], [ 3.0, 1.0 ], [ 3.0, 2.0 ], [ 3.0, 3.0 ], [ 3.0, 4.0 ], [ 3.0, 5.0 ], [ 3.0, 6.0 ], [ 3.0, 7.0 ], [ 3.0, 8.0 ], [ 4.0, 0.0 ], [ 4.0, 1.0 ], [ 4.0, 2.0 ], [ 4.0, 3.0 ], [ 4.0, 4.0 ], [ 4.0, 5.0 ], [ 4.0, 6.0 ], [ 4.0, 7.0 ], [ 4.0, 8.0 ], [ 5.0, 1.0 ], [ 5.0, 2.0 ], [ 5.0, 3.0 ], [ 5.0, 4.0 ], [ 5.0, 5.0 ], [ 5.0, 6.0 ], [ 5.0, 7.0 ], [ 5.0, 8.0 ], [ 6.0, 1.0 ], [ 6.0, 2.0 ], [ 6.0, 3.0 ], [ 6.0, 4.0 ], [ 6.0, 5.0 ], [ 6.0, 6.0 ], [ 6.0, 7.0 ], [ 6.0, 8.0 ], [ 7.0, 1.0 ], [ 7.0, 2.0 ], [ 7.0, 3.0 ], [ 7.0, 4.0 ], [ 7.0, 5.0 ], [ 7.0, 6.0 ], [ 7.0, 7.0 ], [ 7.0, 8.0 ], [ 8.0, 1.0 ], [ 8.0, 2.0 ], [ 8.0, 3.0 ], [ 8.0, 4.0 ], [ 8.0, 5.0 ], [ 8.0, 6.0 ], [ 8.0, 7.0 ], [ 8.0, 8.0 ], [ 9.0, 0.0 ], [ 9.0, 1.0 ], [ 9.0, 2.0 ], [ 9.0, 3.0 ], [ 9.0, 4.0 ], [ 9.0, 5.0 ], [ 9.0, 6.0 ], [ 9.0, 7.0 ], [ 9.0, 8.0 ], [ 10.0, 0.0 ], [ 10.0, 1.0 ], [ 10.0, 2.0 ], [ 10.0, 3.0 ], [ 10.0, 4.0 ], [ 10.0, 5.0 ], [ 10.0, 6.0 ], [ 10.0, 7.0 ], [ 10.0, 8.0 ], [ 11.0, 0.0 ], [ 11.0, 1.0 ], [ 11.0, 2.0 ], [ 11.0, 3.0 ], [ 11.0, 4.0 ], [ 11.0, 5.0 ], [ 11.0, 6.0 ], [ 11.0, 7.0 ], [ 11.0, 8.0 ], [ 12.0, 0.0 ], [ 12.0, 1.0 ], [ 12.0, 2.0 ], [ 12.0, 3.0 ], [ 12.0, 4.0 ], [ 12.0, 5.0 ], [ 12.0, 6.0 ], [ 12.0, 7.0 ], [ 12.0, 8.0 ], [ 13.0, 0.0 ], [ 13.0, 1.0 ], [ 13.0, 2.0 ], [ 13.0, 3.0 ], [ 13.0, 4.0 ], [ 13.0, 5.0 ], [ 13.0, 6.0 ], [ 13.0, 7.0 ], [ 13.0, 8.0 ], [ 14.0, 0.0 ], [ 14.0, 1.0 ], [ 14.0, 2.0 ], [ 14.0, 3.0 ], [ 14.0, 4.0 ], [ 14.0, 5.0 ], [ 14.0, 6.0 ], [ 14.0, 7.0 ], [ 14.0, 8.0 ], [ 15.0, 0.0 ], [ 15.0, 1.0 ], [ 15.0, 2.0 ], [ 15.0, 3.0 ], [ 15.0, 4.0 ], [ 15.0, 5.0 ], [ 15.0, 6.0 ], [ 15.0, 7.0 ], [ 15.0, 8.0 ], [ 16.0, 0.0 ], [ 16.0, 1.0 ], [ 16.0, 2.0 ], [ 16.0, 3.0 ], [ 16.0, 4.0 ], [ 16.0, 5.0 ], [ 16.0, 6.0 ], [ 16.0, 7.0 ], [ 16.0, 8.0 ], [ 17.0, 0.0 ], [ 17.0, 1.0 ], [ 17.0, 2.0 ], [ 17.0, 3.0 ], [ 17.0, 4.0 ], [ 17.0, 5.0 ], [ 17.0, 6.0 ], [ 17.0, 7.0 ], [ 18.0, 0.0 ], [ 18.0, 1.0 ], [ 18.0, 2.0 ], [ 18.0, 3.0 ], [ 18.0, 4.0 ], [ 18.0, 5.0 ], [ 18.0, 6.0 ], [ 18.0, 7.0 ], [ 18.0, 8.0 ], [ 19.0, 0.0 ], [ 19.0, 1.0 ], [ 19.0, 2.0 ], [ 19.0, 3.0 ], [ 19.0, 4.0 ], [ 19.0, 5.0 ], [ 19.0, 6.0 ], [ 19.0, 7.0 ], [ 19.0, 8.0 ], [ 20.0, 0.0 ], [ 20.0, 1.0 ], [ 20.0, 2.0 ], [ 20.0, 3.0 ], [ 20.0, 4.0 ], [ 20.0, 5.0 ], [ 20.0, 6.0 ], [ 20.0, 7.0 ], [ 20.0, 8.0 ], [ 21.0, 0.0 ], [ 21.0, 1.0 ], [ 21.0, 2.0 ], [ 21.0, 3.0 ], [ 21.0, 4.0 ], [ 21.0, 5.0 ], [ 21.0, 6.0 ], [ 21.0, 7.0 ], [ 22.0, 0.0 ], [ 22.0, 1.0 ], [ 22.0, 2.0 ], [ 22.0, 3.0 ], [ 22.0, 4.0 ], [ 22.0, 5.0 ], [ 22.0, 6.0 ], [ 22.0, 7.0 ], [ 22.0, 8.0 ], [ 23.0, 0.0 ], [ 23.0, 1.0 ], [ 23.0, 2.0 ], [ 23.0, 3.0 ], [ 23.0, 4.0 ], [ 23.0, 5.0 ], [ 23.0, 6.0 ], [ 23.0, 7.0 ], [ 23.0, 8.0 ], [ 24.0, 0.0 ], [ 24.0, 1.0 ], [ 24.0, 2.0 ], [ 24.0, 3.0 ], [ 24.0, 4.0 ], [ 24.0, 5.0 ], [ 24.0, 6.0 ], [ 24.0, 7.0 ], [ 24.0, 8.0 ], [ 25.0, 0.0 ], [ 25.0, 1.0 ], [ 25.0, 2.0 ], [ 25.0, 3.0 ], [ 25.0, 4.0 ], [ 25.0, 5.0 ], [ 25.0, 6.0 ], [ 25.0, 7.0 ], [ 26.0, 0.0 ], [ 26.0, 1.0 ], [ 26.0, 2.0 ], [ 26.0, 3.0 ], [ 26.0, 4.0 ], [ 26.0, 5.0 ], [ 26.0, 6.0 ], [ 0.0, 3.0 ], [ 0.0, 8.0 ], [ 0.0, 9.0 ], [ 1.0, 3.0 ], [ 1.0, 4.0 ], [ 1.0, 5.0 ], [ 1.0, 7.0 ], [ 1.0, 8.0 ], [ 1.0, 9.0 ], [ 2.0, 1.0 ], [ 2.0, 3.0 ], [ 2.0, 4.0 ], [ 2.0, 7.0 ], [ 2.0, 8.0 ], [ 2.0, 9.0 ], [ 3.0, 1.0 ], [ 3.0, 2.0 ], [ 3.0, 3.0 ], [ 3.0, 4.0 ], [ 3.0, 5.0 ], [ 3.0, 6.0 ], [ 3.0, 7.0 ], [ 3.0, 8.0 ], [ 4.0, 0.0 ], [ 4.0, 2.0 ], [ 4.0, 3.0 ], [ 4.0, 4.0 ], [ 4.0, 5.0 ], [ 4.0, 6.0 ], [ 4.0, 7.0 ], [ 4.0, 8.0 ], [ 4.0, 9.0 ], [ 5.0, 1.0 ], [ 5.0, 2.0 ], [ 5.0, 3.0 ], [ 5.0, 4.0 ], [ 5.0, 5.0 ], [ 5.0, 6.0 ], [ 5.0, 7.0 ], [ 5.0, 8.0 ], [ 5.0, 9.0 ], [ 6.0, 0.0 ], [ 6.0, 1.0 ], [ 6.0, 2.0 ], [ 6.0, 3.0 ], [ 6.0, 4.0 ], [ 6.0, 5.0 ], [ 6.0, 6.0 ], [ 6.0, 7.0 ], [ 6.0, 8.0 ], [ 6.0, 9.0 ], [ 7.0, 1.0 ], [ 7.0, 2.0 ], [ 7.0, 3.0 ], [ 7.0, 4.0 ], [ 7.0, 5.0 ], [ 7.0, 6.0 ], [ 7.0, 7.0 ], [ 7.0, 8.0 ], [ 7.0, 9.0 ], [ 8.0, 1.0 ], [ 8.0, 2.0 ], [ 8.0, 3.0 ], [ 8.0, 4.0 ], [ 8.0, 5.0 ], [ 8.0, 6.0 ], [ 8.0, 7.0 ], [ 8.0, 8.0 ], [ 8.0, 9.0 ], [ 9.0, 1.0 ], [ 9.0, 2.0 ], [ 9.0, 3.0 ], [ 9.0, 4.0 ], [ 9.0, 5.0 ], [ 9.0, 6.0 ], [ 9.0, 7.0 ], [ 9.0, 8.0 ], [ 9.0, 9.0 ], [ 10.0, 1.0 ], [ 10.0, 2.0 ], [ 10.0, 3.0 ], [ 10.0, 4.0 ], [ 10.0, 5.0 ], [ 10.0, 6.0 ], [ 10.0, 7.0 ], [ 10.0, 8.0 ], [ 10.0, 9.0 ], [ 11.0, 1.0 ], [ 11.0, 2.0 ], [ 11.0, 3.0 ], [ 11.0, 4.0 ], [ 11.0, 5.0 ], [ 11.0, 6.0 ], [ 11.0, 7.0 ], [ 11.0, 8.0 ], [ 11.0, 9.0 ], [ 12.0, 0.0 ], [ 12.0, 1.0 ], [ 12.0, 2.0 ], [ 12.0, 3.0 ], [ 12.0, 4.0 ], [ 12.0, 5.0 ], [ 12.0, 6.0 ], [ 12.0, 7.0 ], [ 12.0, 8.0 ], [ 13.0, 0.0 ], [ 13.0, 1.0 ], [ 13.0, 2.0 ], [ 13.0, 3.0 ], [ 13.0, 4.0 ], [ 13.0, 5.0 ], [ 13.0, 6.0 ], [ 13.0, 7.0 ], [ 13.0, 8.0 ], [ 13.0, 9.0 ], [ 14.0, 0.0 ], [ 14.0, 1.0 ], [ 14.0, 2.0 ], [ 14.0, 3.0 ], [ 14.0, 4.0 ], [ 14.0, 5.0 ], [ 14.0, 6.0 ], [ 14.0, 7.0 ], [ 14.0, 8.0 ], [ 14.0, 9.0 ], [ 15.0, 0.0 ], [ 15.0, 1.0 ], [ 15.0, 2.0 ], [ 15.0, 3.0 ], [ 15.0, 4.0 ], [ 15.0, 5.0 ], [ 15.0, 6.0 ], [ 15.0, 7.0 ], [ 15.0, 8.0 ], [ 15.0, 9.0 ], [ 16.0, 0.0 ], [ 16.0, 1.0 ], [ 16.0, 2.0 ], [ 16.0, 3.0 ], [ 16.0, 4.0 ], [ 16.0, 5.0 ], [ 16.0, 6.0 ], [ 16.0, 7.0 ], [ 16.0, 8.0 ], [ 17.0, 0.0 ], [ 17.0, 1.0 ], [ 17.0, 2.0 ], [ 17.0, 3.0 ], [ 17.0, 4.0 ], [ 17.0, 5.0 ], [ 17.0, 6.0 ], [ 17.0, 7.0 ], [ 17.0, 8.0 ], [ 17.0, 9.0 ], [ 18.0, 0.0 ], [ 18.0, 1.0 ], [ 18.0, 2.0 ], [ 18.0, 3.0 ], [ 18.0, 4.0 ], [ 18.0, 5.0 ], [ 18.0, 6.0 ], [ 18.0, 7.0 ], [ 18.0, 8.0 ], [ 18.0, 9.0 ], [ 19.0, 0.0 ], [ 19.0, 1.0 ], [ 19.0, 2.0 ], [ 19.0, 3.0 ], [ 19.0, 4.0 ], [ 19.0, 5.0 ], [ 19.0, 6.0 ], [ 19.0, 7.0 ], [ 19.0, 8.0 ], [ 19.0, 9.0 ], [ 20.0, 0.0 ], [ 20.0, 1.0 ], [ 20.0, 2.0 ], [ 20.0, 3.0 ], [ 20.0, 4.0 ], [ 20.0, 5.0 ], [ 20.0, 6.0 ], [ 20.0, 7.0 ], [ 20.0, 8.0 ], [ 20.0, 9.0 ], [ 21.0, 0.0 ], [ 21.0, 1.0 ], [ 21.0, 2.0 ], [ 21.0, 3.0 ], [ 21.0, 4.0 ], [ 21.0, 5.0 ], [ 21.0, 6.0 ], [ 21.0, 7.0 ], [ 22.0, 1.0 ], [ 22.0, 2.0 ], [ 22.0, 3.0 ], [ 22.0, 4.0 ], [ 22.0, 5.0 ], [ 22.0, 6.0 ], [ 22.0, 7.0 ], [ 22.0, 8.0 ], [ 22.0, 9.0 ], [ 23.0, 0.0 ], [ 23.0, 1.0 ], [ 23.0, 2.0 ], [ 23.0, 3.0 ], [ 23.0, 4.0 ], [ 23.0, 5.0 ], [ 23.0, 6.0 ], [ 23.0, 7.0 ], [ 23.0, 8.0 ], [ 23.0, 9.0 ], [ 24.0, 1.0 ], [ 24.0, 2.0 ], [ 24.0, 3.0 ], [ 24.0, 4.0 ], [ 24.0, 5.0 ], [ 24.0, 6.0 ], [ 24.0, 7.0 ], [ 25.0, 0.0 ], [ 25.0, 1.0 ], [ 25.0, 2.0 ], [ 25.0, 3.0 ], [ 25.0, 4.0 ], [ 25.0, 5.0 ], [ 25.0, 6.0 ], [ 25.0, 7.0 ], [ 25.0, 8.0 ], [ 26.0, 0.0 ], [ 26.0, 2.0 ], [ 26.0, 4.0 ], [ 26.0, 6.0 ], [ 26.0, 8.0 ] ], "interaction_radius": 7.0, "layers": 2 } }