{ "schema_version": "0.2", "name": "[[364,112,4]]", "code_type": "CSS", "n": 364, "k": 112, "checks": { "X": [ [ 0, 18, 168, 186, 312, 330, 350 ], [ 1, 19, 169, 187, 313, 331, 350 ], [ 2, 20, 170, 188, 314, 332, 350 ], [ 3, 21, 171, 189, 315, 333, 350 ], [ 4, 22, 172, 190, 316, 334, 350 ], [ 5, 23, 173, 191, 317, 335, 350 ], [ 6, 30, 174, 198, 300, 324, 351 ], [ 7, 31, 175, 199, 301, 325, 351 ], [ 8, 32, 176, 200, 302, 326, 351 ], [ 9, 33, 177, 201, 303, 327, 351 ], [ 10, 34, 178, 202, 304, 328, 351 ], [ 11, 35, 179, 203, 305, 329, 351 ], [ 12, 42, 174, 180, 198, 210, 352 ], [ 13, 43, 175, 181, 199, 211, 352 ], [ 14, 44, 176, 182, 200, 212, 352 ], [ 15, 45, 177, 183, 201, 213, 352 ], [ 16, 46, 178, 184, 202, 214, 352 ], [ 17, 47, 179, 185, 203, 215, 352 ], [ 24, 54, 168, 186, 192, 222, 353 ], [ 25, 55, 169, 187, 193, 223, 353 ], [ 26, 56, 170, 188, 194, 224, 353 ], [ 27, 57, 171, 189, 195, 225, 353 ], [ 28, 58, 172, 190, 196, 226, 353 ], [ 29, 59, 173, 191, 197, 227, 353 ], [ 36, 66, 192, 204, 222, 234, 354 ], [ 37, 67, 193, 205, 223, 235, 354 ], [ 38, 68, 194, 206, 224, 236, 354 ], [ 39, 69, 195, 207, 225, 237, 354 ], [ 40, 70, 196, 208, 226, 238, 354 ], [ 41, 71, 197, 209, 227, 239, 354 ], [ 48, 78, 180, 210, 216, 246, 355 ], [ 49, 79, 181, 211, 217, 247, 355 ], [ 50, 80, 182, 212, 218, 248, 355 ], [ 51, 81, 183, 213, 219, 249, 355 ], [ 52, 82, 184, 214, 220, 250, 355 ], [ 53, 83, 185, 215, 221, 251, 355 ], [ 60, 90, 216, 228, 246, 258, 356 ], [ 61, 91, 217, 229, 247, 259, 356 ], [ 62, 92, 218, 230, 248, 260, 356 ], [ 63, 93, 219, 231, 249, 261, 356 ], [ 64, 94, 220, 232, 250, 262, 356 ], [ 65, 95, 221, 233, 251, 263, 356 ], [ 72, 102, 204, 234, 240, 270, 357 ], [ 73, 103, 205, 235, 241, 271, 357 ], [ 74, 104, 206, 236, 242, 272, 357 ], [ 75, 105, 207, 237, 243, 273, 357 ], [ 76, 106, 208, 238, 244, 274, 357 ], [ 77, 107, 209, 239, 245, 275, 357 ], [ 84, 114, 240, 252, 270, 282, 358 ], [ 85, 115, 241, 253, 271, 283, 358 ], [ 86, 116, 242, 254, 272, 284, 358 ], [ 87, 117, 243, 255, 273, 285, 358 ], [ 88, 118, 244, 256, 274, 286, 358 ], [ 89, 119, 245, 257, 275, 287, 358 ], [ 96, 126, 228, 258, 264, 294, 359 ], [ 97, 127, 229, 259, 265, 295, 359 ], [ 98, 128, 230, 260, 266, 296, 359 ], [ 99, 129, 231, 261, 267, 297, 359 ], [ 100, 130, 232, 262, 268, 298, 359 ], [ 101, 131, 233, 263, 269, 299, 359 ], [ 108, 138, 264, 276, 294, 306, 360 ], [ 109, 139, 265, 277, 295, 307, 360 ], [ 110, 140, 266, 278, 296, 308, 360 ], [ 111, 141, 267, 279, 297, 309, 360 ], [ 112, 142, 268, 280, 298, 310, 360 ], [ 113, 143, 269, 281, 299, 311, 360 ], [ 120, 150, 252, 282, 288, 318, 361 ], [ 121, 151, 253, 283, 289, 319, 361 ], [ 122, 152, 254, 284, 290, 320, 361 ], [ 123, 153, 255, 285, 291, 321, 361 ], [ 124, 154, 256, 286, 292, 322, 361 ], [ 125, 155, 257, 287, 293, 323, 361 ], [ 132, 156, 288, 300, 318, 324, 362 ], [ 133, 157, 289, 301, 319, 325, 362 ], [ 134, 158, 290, 302, 320, 326, 362 ], [ 135, 159, 291, 303, 321, 327, 362 ], [ 136, 160, 292, 304, 322, 328, 362 ], [ 137, 161, 293, 305, 323, 329, 362 ], [ 144, 162, 276, 306, 312, 330, 363 ], [ 145, 163, 277, 307, 313, 331, 363 ], [ 146, 164, 278, 308, 314, 332, 363 ], [ 147, 165, 279, 309, 315, 333, 363 ], [ 148, 166, 280, 310, 316, 334, 363 ], [ 149, 167, 281, 311, 317, 335, 363 ], [ 0, 1, 2, 3, 4, 5, 336, 349 ], [ 6, 7, 8, 9, 10, 11, 337, 348 ], [ 12, 13, 14, 15, 16, 17, 337, 338 ], [ 18, 19, 20, 21, 22, 23, 336, 349 ], [ 24, 25, 26, 27, 28, 29, 336, 339 ], [ 30, 31, 32, 33, 34, 35, 337, 348 ], [ 36, 37, 38, 39, 40, 41, 339, 340 ], [ 42, 43, 44, 45, 46, 47, 337, 338 ], [ 48, 49, 50, 51, 52, 53, 338, 341 ], [ 54, 55, 56, 57, 58, 59, 336, 339 ], [ 60, 61, 62, 63, 64, 65, 341, 342 ], [ 66, 67, 68, 69, 70, 71, 339, 340 ], [ 72, 73, 74, 75, 76, 77, 340, 343 ], [ 78, 79, 80, 81, 82, 83, 338, 341 ], [ 84, 85, 86, 87, 88, 89, 343, 344 ], [ 90, 91, 92, 93, 94, 95, 341, 342 ], [ 96, 97, 98, 99, 100, 101, 342, 345 ], [ 102, 103, 104, 105, 106, 107, 340, 343 ], [ 108, 109, 110, 111, 112, 113, 345, 346 ], [ 114, 115, 116, 117, 118, 119, 343, 344 ], [ 120, 121, 122, 123, 124, 125, 344, 347 ], [ 126, 127, 128, 129, 130, 131, 342, 345 ], [ 132, 133, 134, 135, 136, 137, 347, 348 ], [ 138, 139, 140, 141, 142, 143, 345, 346 ], [ 144, 145, 146, 147, 148, 149, 346, 349 ], [ 150, 151, 152, 153, 154, 155, 344, 347 ], [ 156, 157, 158, 159, 160, 161, 347, 348 ], [ 162, 163, 164, 165, 166, 167, 346, 349 ], [ 168, 169, 170, 171, 172, 173, 336 ], [ 174, 175, 176, 177, 178, 179, 337 ], [ 180, 181, 182, 183, 184, 185, 338 ], [ 186, 187, 188, 189, 190, 191, 336 ], [ 192, 193, 194, 195, 196, 197, 339 ], [ 198, 199, 200, 201, 202, 203, 337 ], [ 204, 205, 206, 207, 208, 209, 340 ], [ 210, 211, 212, 213, 214, 215, 338 ], [ 216, 217, 218, 219, 220, 221, 341 ], [ 222, 223, 224, 225, 226, 227, 339 ], [ 228, 229, 230, 231, 232, 233, 342 ], [ 234, 235, 236, 237, 238, 239, 340 ], [ 240, 241, 242, 243, 244, 245, 343 ], [ 246, 247, 248, 249, 250, 251, 341 ], [ 252, 253, 254, 255, 256, 257, 344 ], [ 258, 259, 260, 261, 262, 263, 342 ], [ 264, 265, 266, 267, 268, 269, 345 ], [ 270, 271, 272, 273, 274, 275, 343 ], [ 276, 277, 278, 279, 280, 281, 346 ], [ 282, 283, 284, 285, 286, 287, 344 ], [ 288, 289, 290, 291, 292, 293, 347 ], [ 294, 295, 296, 297, 298, 299, 345 ], [ 300, 301, 302, 303, 304, 305, 348 ], [ 306, 307, 308, 309, 310, 311, 346 ], [ 312, 313, 314, 315, 316, 317, 349 ], [ 318, 319, 320, 321, 322, 323, 347 ], [ 324, 325, 326, 327, 328, 329, 348 ], [ 330, 331, 332, 333, 334, 335, 349 ] ], "Z": [ [ 0, 18, 24, 54, 168, 186, 336 ], [ 1, 19, 25, 55, 169, 187, 336 ], [ 2, 20, 26, 56, 170, 188, 336 ], [ 3, 21, 27, 57, 171, 189, 336 ], [ 4, 22, 28, 58, 172, 190, 336 ], [ 5, 23, 29, 59, 173, 191, 336 ], [ 6, 12, 30, 42, 174, 198, 337 ], [ 7, 13, 31, 43, 175, 199, 337 ], [ 8, 14, 32, 44, 176, 200, 337 ], [ 9, 15, 33, 45, 177, 201, 337 ], [ 10, 16, 34, 46, 178, 202, 337 ], [ 11, 17, 35, 47, 179, 203, 337 ], [ 12, 42, 48, 78, 180, 210, 338 ], [ 13, 43, 49, 79, 181, 211, 338 ], [ 14, 44, 50, 80, 182, 212, 338 ], [ 15, 45, 51, 81, 183, 213, 338 ], [ 16, 46, 52, 82, 184, 214, 338 ], [ 17, 47, 53, 83, 185, 215, 338 ], [ 24, 36, 54, 66, 192, 222, 339 ], [ 25, 37, 55, 67, 193, 223, 339 ], [ 26, 38, 56, 68, 194, 224, 339 ], [ 27, 39, 57, 69, 195, 225, 339 ], [ 28, 40, 58, 70, 196, 226, 339 ], [ 29, 41, 59, 71, 197, 227, 339 ], [ 36, 66, 72, 102, 204, 234, 340 ], [ 37, 67, 73, 103, 205, 235, 340 ], [ 38, 68, 74, 104, 206, 236, 340 ], [ 39, 69, 75, 105, 207, 237, 340 ], [ 40, 70, 76, 106, 208, 238, 340 ], [ 41, 71, 77, 107, 209, 239, 340 ], [ 48, 60, 78, 90, 216, 246, 341 ], [ 49, 61, 79, 91, 217, 247, 341 ], [ 50, 62, 80, 92, 218, 248, 341 ], [ 51, 63, 81, 93, 219, 249, 341 ], [ 52, 64, 82, 94, 220, 250, 341 ], [ 53, 65, 83, 95, 221, 251, 341 ], [ 60, 90, 96, 126, 228, 258, 342 ], [ 61, 91, 97, 127, 229, 259, 342 ], [ 62, 92, 98, 128, 230, 260, 342 ], [ 63, 93, 99, 129, 231, 261, 342 ], [ 64, 94, 100, 130, 232, 262, 342 ], [ 65, 95, 101, 131, 233, 263, 342 ], [ 72, 84, 102, 114, 240, 270, 343 ], [ 73, 85, 103, 115, 241, 271, 343 ], [ 74, 86, 104, 116, 242, 272, 343 ], [ 75, 87, 105, 117, 243, 273, 343 ], [ 76, 88, 106, 118, 244, 274, 343 ], [ 77, 89, 107, 119, 245, 275, 343 ], [ 84, 114, 120, 150, 252, 282, 344 ], [ 85, 115, 121, 151, 253, 283, 344 ], [ 86, 116, 122, 152, 254, 284, 344 ], [ 87, 117, 123, 153, 255, 285, 344 ], [ 88, 118, 124, 154, 256, 286, 344 ], [ 89, 119, 125, 155, 257, 287, 344 ], [ 96, 108, 126, 138, 264, 294, 345 ], [ 97, 109, 127, 139, 265, 295, 345 ], [ 98, 110, 128, 140, 266, 296, 345 ], [ 99, 111, 129, 141, 267, 297, 345 ], [ 100, 112, 130, 142, 268, 298, 345 ], [ 101, 113, 131, 143, 269, 299, 345 ], [ 108, 138, 144, 162, 276, 306, 346 ], [ 109, 139, 145, 163, 277, 307, 346 ], [ 110, 140, 146, 164, 278, 308, 346 ], [ 111, 141, 147, 165, 279, 309, 346 ], [ 112, 142, 148, 166, 280, 310, 346 ], [ 113, 143, 149, 167, 281, 311, 346 ], [ 120, 132, 150, 156, 288, 318, 347 ], [ 121, 133, 151, 157, 289, 319, 347 ], [ 122, 134, 152, 158, 290, 320, 347 ], [ 123, 135, 153, 159, 291, 321, 347 ], [ 124, 136, 154, 160, 292, 322, 347 ], [ 125, 137, 155, 161, 293, 323, 347 ], [ 6, 30, 132, 156, 300, 324, 348 ], [ 7, 31, 133, 157, 301, 325, 348 ], [ 8, 32, 134, 158, 302, 326, 348 ], [ 9, 33, 135, 159, 303, 327, 348 ], [ 10, 34, 136, 160, 304, 328, 348 ], [ 11, 35, 137, 161, 305, 329, 348 ], [ 0, 18, 144, 162, 312, 330, 349 ], [ 1, 19, 145, 163, 313, 331, 349 ], [ 2, 20, 146, 164, 314, 332, 349 ], [ 3, 21, 147, 165, 315, 333, 349 ], [ 4, 22, 148, 166, 316, 334, 349 ], [ 5, 23, 149, 167, 317, 335, 349 ], [ 0, 1, 2, 3, 4, 5, 350 ], [ 6, 7, 8, 9, 10, 11, 351 ], [ 12, 13, 14, 15, 16, 17, 352 ], [ 18, 19, 20, 21, 22, 23, 350 ], [ 24, 25, 26, 27, 28, 29, 353 ], [ 30, 31, 32, 33, 34, 35, 351 ], [ 36, 37, 38, 39, 40, 41, 354 ], [ 42, 43, 44, 45, 46, 47, 352 ], [ 48, 49, 50, 51, 52, 53, 355 ], [ 54, 55, 56, 57, 58, 59, 353 ], [ 60, 61, 62, 63, 64, 65, 356 ], [ 66, 67, 68, 69, 70, 71, 354 ], [ 72, 73, 74, 75, 76, 77, 357 ], [ 78, 79, 80, 81, 82, 83, 355 ], [ 84, 85, 86, 87, 88, 89, 358 ], [ 90, 91, 92, 93, 94, 95, 356 ], [ 96, 97, 98, 99, 100, 101, 359 ], [ 102, 103, 104, 105, 106, 107, 357 ], [ 108, 109, 110, 111, 112, 113, 360 ], [ 114, 115, 116, 117, 118, 119, 358 ], [ 120, 121, 122, 123, 124, 125, 361 ], [ 126, 127, 128, 129, 130, 131, 359 ], [ 132, 133, 134, 135, 136, 137, 362 ], [ 138, 139, 140, 141, 142, 143, 360 ], [ 144, 145, 146, 147, 148, 149, 363 ], [ 150, 151, 152, 153, 154, 155, 361 ], [ 156, 157, 158, 159, 160, 161, 362 ], [ 162, 163, 164, 165, 166, 167, 363 ], [ 168, 169, 170, 171, 172, 173, 350, 353 ], [ 174, 175, 176, 177, 178, 179, 351, 352 ], [ 180, 181, 182, 183, 184, 185, 352, 355 ], [ 186, 187, 188, 189, 190, 191, 350, 353 ], [ 192, 193, 194, 195, 196, 197, 353, 354 ], [ 198, 199, 200, 201, 202, 203, 351, 352 ], [ 204, 205, 206, 207, 208, 209, 354, 357 ], [ 210, 211, 212, 213, 214, 215, 352, 355 ], [ 216, 217, 218, 219, 220, 221, 355, 356 ], [ 222, 223, 224, 225, 226, 227, 353, 354 ], [ 228, 229, 230, 231, 232, 233, 356, 359 ], [ 234, 235, 236, 237, 238, 239, 354, 357 ], [ 240, 241, 242, 243, 244, 245, 357, 358 ], [ 246, 247, 248, 249, 250, 251, 355, 356 ], [ 252, 253, 254, 255, 256, 257, 358, 361 ], [ 258, 259, 260, 261, 262, 263, 356, 359 ], [ 264, 265, 266, 267, 268, 269, 359, 360 ], [ 270, 271, 272, 273, 274, 275, 357, 358 ], [ 276, 277, 278, 279, 280, 281, 360, 363 ], [ 282, 283, 284, 285, 286, 287, 358, 361 ], [ 288, 289, 290, 291, 292, 293, 361, 362 ], [ 294, 295, 296, 297, 298, 299, 359, 360 ], [ 300, 301, 302, 303, 304, 305, 351, 362 ], [ 306, 307, 308, 309, 310, 311, 360, 363 ], [ 312, 313, 314, 315, 316, 317, 350, 363 ], [ 318, 319, 320, 321, 322, 323, 361, 362 ], [ 324, 325, 326, 327, 328, 329, 351, 362 ], [ 330, 331, 332, 333, 334, 335, 350, 363 ] ] }, "distance": { "d": 4, "X": { "value": 4, "confidence": "upper_bound", "witness": [ 314, 315, 332, 333 ] }, "Z": { "value": 4, "confidence": "upper_bound", "witness": [ 314, 315, 332, 333 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Distance-amplified code: one tensor-product amplification step (central three-term truncation of the chain-complex tensor product, arXiv:2609.37231) with the [[6,4,2]] CSS amplifier -- H_X = H_Z = the all-ones row on 6 qubits, reduced form, so r_1 = r_2 = 1 -- applied to the board's [[56,28,2]] entry. The step is the operation the one-shot paper arXiv:2610.02137 uses to build its level map (App. A.2, Def 111: the local cones tensored with the repetition code), with the amplifier swapped: that paper takes k_A = d_A = 1, which preserves the distance exactly but leaves k unchanged (its Lemma 118, H_Q(Gamma) = H_Q(C)) and so cannot move a (n, k, d, w) frontier. Here d_A = 2, so n' = 6n + m_X + m_Z = 364, k' = 4k = 112, w' = 8. The X and Z witnesses are the base entry's stored witnesses tensored with the weight-2 [[6,4,2]] logical (weights 4 / 4), so the distance is derived, not searched: the logical-overlap criterion gives d' >= 2d and this witness gives d' <= 2d. Witness-backed upper bound, not an exact distance. Base provenance: 2BGA (arXiv:2306.16400) on SmallGroup(28,2), from github.com/QEC-pages/2BGA-codes @ 403d194c3f98f0cadc236aecbc4a8b6139ccf23c, abelian.zip, diswtabelian_wt6wtL2_order28_k28.txt, line 1. nonidentity supports a=[4], b=[4, 5, 10]. (family generalized-bicycle, 56-28-2). Distance confirmed at 100000 fresh-seed trials per side (seed 5000, gf2_fast, 10 threads): lightest logical found was 4 on both sides, i.e. the derived distance survives independent search. Packaging: Space Bunny Alpha 1.0.", "origin": "submission", "date": "2026-10-04", "model": "Space Bunny Alpha 1.0", "notes": "Constructed and packaged with the Space Bunny Alpha 1.0 model. Equivalence check, deliberate: qldpc submit's board dedup reported an exact fingerprint match against this entry's own slug, which is this document matching itself inside codes/ -- it is not present on the base branch. Checked, not equivalent: re-running verify/validate_candidate.py with the document held outside codes/, so the board is the base branch and excludes the candidate, returns exact_duplicate_of null and wl_equivalent_of null." }, "family": "distance-amplified", "locality": { "coordinates": [ [ 12.0, 8.0 ], [ 11.0, 9.0 ], [ 11.0, 7.0 ], [ 10.0, 7.0 ], [ 12.0, 9.0 ], [ 13.0, 10.0 ], [ 3.0, 1.0 ], [ 0.0, 3.0 ], [ 3.0, 5.0 ], [ 4.0, 5.0 ], [ 2.0, 1.0 ], [ 2.0, 4.0 ], [ 1.0, 0.0 ], [ 3.0, 0.0 ], [ 2.0, 2.0 ], [ 4.0, 2.0 ], [ 2.0, 0.0 ], [ 0.0, 1.0 ], [ 11.0, 10.0 ], [ 11.0, 6.0 ], [ 9.0, 7.0 ], [ 12.0, 10.0 ], [ 8.0, 10.0 ], [ 12.0, 11.0 ], [ 12.0, 10.0 ], [ 10.0, 12.0 ], [ 8.0, 12.0 ], [ 13.0, 10.0 ], [ 11.0, 12.0 ], [ 11.0, 10.0 ], [ 5.0, 5.0 ], [ 3.0, 5.0 ], [ 0.0, 4.0 ], [ 1.0, 5.0 ], [ 3.0, 3.0 ], [ 2.0, 5.0 ], [ 8.0, 10.0 ], [ 7.0, 10.0 ], [ 7.0, 7.0 ], [ 10.0, 12.0 ], [ 7.0, 11.0 ], [ 10.0, 8.0 ], [ 4.0, 1.0 ], [ 2.0, 2.0 ], [ 3.0, 2.0 ], [ 1.0, 0.0 ], [ 1.0, 3.0 ], [ 0.0, 0.0 ], [ 4.0, 3.0 ], [ 5.0, 3.0 ], [ 5.0, 2.0 ], [ 3.0, 3.0 ], [ 5.0, 4.0 ], [ 4.0, 2.0 ], [ 11.0, 11.0 ], [ 9.0, 9.0 ], [ 10.0, 9.0 ], [ 13.0, 11.0 ], [ 10.0, 11.0 ], [ 13.0, 11.0 ], [ 6.0, 5.0 ], [ 7.0, 0.0 ], [ 8.0, 2.0 ], [ 7.0, 3.0 ], [ 9.0, 1.0 ], [ 9.0, 1.0 ], [ 8.0, 7.0 ], [ 9.0, 12.0 ], [ 8.0, 8.0 ], [ 10.0, 10.0 ], [ 7.0, 9.0 ], [ 8.0, 11.0 ], [ 5.0, 11.0 ], [ 7.0, 7.0 ], [ 5.0, 9.0 ], [ 5.0, 8.0 ], [ 6.0, 8.0 ], [ 7.0, 8.0 ], [ 5.0, 0.0 ], [ 7.0, 2.0 ], [ 5.0, 1.0 ], [ 4.0, 4.0 ], [ 5.0, 4.0 ], [ 6.0, 1.0 ], [ 2.0, 9.0 ], [ 4.0, 11.0 ], [ 3.0, 10.0 ], [ 2.0, 12.0 ], [ 1.0, 9.0 ], [ 4.0, 12.0 ], [ 5.0, 1.0 ], [ 8.0, 0.0 ], [ 8.0, 0.0 ], [ 8.0, 4.0 ], [ 8.0, 4.0 ], [ 7.0, 2.0 ], [ 8.0, 1.0 ], [ 9.0, 2.0 ], [ 12.0, 0.0 ], [ 9.0, 5.0 ], [ 13.0, 1.0 ], [ 10.0, 1.0 ], [ 3.0, 9.0 ], [ 4.0, 10.0 ], [ 3.0, 7.0 ], [ 5.0, 10.0 ], [ 6.0, 7.0 ], [ 7.0, 9.0 ], [ 13.0, 3.0 ], [ 12.0, 1.0 ], [ 11.0, 0.0 ], [ 10.0, 4.0 ], [ 13.0, 0.0 ], [ 13.0, 1.0 ], [ 1.0, 12.0 ], [ 4.0, 10.0 ], [ 1.0, 11.0 ], [ 5.0, 12.0 ], [ 3.0, 8.0 ], [ 3.0, 10.0 ], [ 1.0, 8.0 ], [ 4.0, 9.0 ], [ 1.0, 10.0 ], [ 3.0, 8.0 ], [ 3.0, 7.0 ], [ 4.0, 9.0 ], [ 11.0, 1.0 ], [ 10.0, 5.0 ], [ 11.0, 1.0 ], [ 10.0, 3.0 ], [ 13.0, 2.0 ], [ 9.0, 0.0 ], [ 5.0, 7.0 ], [ 5.0, 6.0 ], [ 3.0, 6.0 ], [ 1.0, 4.0 ], [ 6.0, 6.0 ], [ 1.0, 7.0 ], [ 10.0, 3.0 ], [ 12.0, 4.0 ], [ 13.0, 2.0 ], [ 12.0, 6.0 ], [ 12.0, 0.0 ], [ 10.0, 1.0 ], [ 8.0, 6.0 ], [ 12.0, 7.0 ], [ 13.0, 5.0 ], [ 10.0, 7.0 ], [ 12.0, 6.0 ], [ 13.0, 7.0 ], [ 4.0, 11.0 ], [ 1.0, 9.0 ], [ 2.0, 9.0 ], [ 0.0, 9.0 ], [ 4.0, 8.0 ], [ 0.0, 11.0 ], [ 0.0, 7.0 ], [ 4.0, 5.0 ], [ 1.0, 7.0 ], [ 0.0, 6.0 ], [ 4.0, 6.0 ], [ 0.0, 5.0 ], [ 11.0, 7.0 ], [ 9.0, 6.0 ], [ 11.0, 5.0 ], [ 11.0, 9.0 ], [ 13.0, 6.0 ], [ 13.0, 7.0 ], [ 12.0, 12.0 ], [ 9.0, 8.0 ], [ 12.0, 9.0 ], [ 10.0, 11.0 ], [ 9.0, 11.0 ], [ 13.0, 12.0 ], [ 1.0, 5.0 ], [ 0.0, 0.0 ], [ 0.0, 2.0 ], [ 2.0, 0.0 ], [ 2.0, 3.0 ], [ 2.0, 4.0 ], [ 3.0, 1.0 ], [ 5.0, 0.0 ], [ 4.0, 3.0 ], [ 2.0, 3.0 ], [ 6.0, 2.0 ], [ 6.0, 2.0 ], [ 12.0, 12.0 ], [ 10.0, 9.0 ], [ 12.0, 11.0 ], [ 11.0, 12.0 ], [ 9.0, 9.0 ], [ 13.0, 12.0 ], [ 6.0, 11.0 ], [ 7.0, 10.0 ], [ 6.0, 10.0 ], [ 11.0, 11.0 ], [ 9.0, 11.0 ], [ 9.0, 12.0 ], [ 1.0, 2.0 ], [ 0.0, 2.0 ], [ 1.0, 1.0 ], [ 0.0, 1.0 ], [ 1.0, 1.0 ], [ 2.0, 1.0 ], [ 7.0, 6.0 ], [ 6.0, 11.0 ], [ 7.0, 5.0 ], [ 9.0, 10.0 ], [ 8.0, 5.0 ], [ 9.0, 10.0 ], [ 4.0, 4.0 ], [ 3.0, 2.0 ], [ 4.0, 0.0 ], [ 6.0, 1.0 ], [ 3.0, 0.0 ], [ 6.0, 0.0 ], [ 6.0, 5.0 ], [ 7.0, 0.0 ], [ 6.0, 3.0 ], [ 7.0, 5.0 ], [ 7.0, 3.0 ], [ 8.0, 2.0 ], [ 7.0, 12.0 ], [ 6.0, 9.0 ], [ 6.0, 9.0 ], [ 8.0, 12.0 ], [ 6.0, 10.0 ], [ 7.0, 12.0 ], [ 7.0, 4.0 ], [ 9.0, 4.0 ], [ 9.0, 0.0 ], [ 9.0, 2.0 ], [ 11.0, 2.0 ], [ 8.0, 3.0 ], [ 5.0, 8.0 ], [ 8.0, 6.0 ], [ 6.0, 6.0 ], [ 8.0, 8.0 ], [ 6.0, 7.0 ], [ 7.0, 8.0 ], [ 6.0, 12.0 ], [ 5.0, 12.0 ], [ 5.0, 9.0 ], [ 6.0, 12.0 ], [ 4.0, 7.0 ], [ 5.0, 11.0 ], [ 6.0, 4.0 ], [ 7.0, 1.0 ], [ 5.0, 3.0 ], [ 7.0, 6.0 ], [ 6.0, 0.0 ], [ 6.0, 4.0 ], [ 2.0, 12.0 ], [ 2.0, 11.0 ], [ 3.0, 12.0 ], [ 1.0, 11.0 ], [ 0.0, 8.0 ], [ 2.0, 10.0 ], [ 11.0, 4.0 ], [ 10.0, 2.0 ], [ 10.0, 4.0 ], [ 7.0, 1.0 ], [ 11.0, 3.0 ], [ 9.0, 3.0 ], [ 11.0, 2.0 ], [ 12.0, 3.0 ], [ 13.0, 0.0 ], [ 12.0, 3.0 ], [ 10.0, 0.0 ], [ 10.0, 2.0 ], [ 4.0, 12.0 ], [ 4.0, 8.0 ], [ 4.0, 7.0 ], [ 7.0, 11.0 ], [ 5.0, 10.0 ], [ 8.0, 11.0 ], [ 10.0, 6.0 ], [ 12.0, 2.0 ], [ 10.0, 5.0 ], [ 12.0, 4.0 ], [ 13.0, 4.0 ], [ 13.0, 3.0 ], [ 0.0, 12.0 ], [ 0.0, 12.0 ], [ 1.0, 10.0 ], [ 1.0, 12.0 ], [ 1.0, 6.0 ], [ 3.0, 12.0 ], [ 0.0, 7.0 ], [ 3.0, 9.0 ], [ 0.0, 8.0 ], [ 2.0, 8.0 ], [ 2.0, 6.0 ], [ 0.0, 10.0 ], [ 8.0, 3.0 ], [ 11.0, 0.0 ], [ 11.0, 5.0 ], [ 7.0, 4.0 ], [ 13.0, 4.0 ], [ 10.0, 0.0 ], [ 4.0, 6.0 ], [ 0.0, 6.0 ], [ 2.0, 6.0 ], [ 2.0, 5.0 ], [ 3.0, 4.0 ], [ 0.0, 3.0 ], [ 9.0, 6.0 ], [ 8.0, 5.0 ], [ 12.0, 5.0 ], [ 13.0, 5.0 ], [ 11.0, 3.0 ], [ 9.0, 5.0 ], [ 12.0, 5.0 ], [ 9.0, 8.0 ], [ 11.0, 6.0 ], [ 13.0, 8.0 ], [ 9.0, 7.0 ], [ 12.0, 8.0 ], [ 0.0, 10.0 ], [ 3.0, 11.0 ], [ 0.0, 9.0 ], [ 2.0, 7.0 ], [ 3.0, 6.0 ], [ 2.0, 7.0 ], [ 1.0, 6.0 ], [ 3.0, 4.0 ], [ 0.0, 5.0 ], [ 0.0, 4.0 ], [ 5.0, 5.0 ], [ 5.0, 6.0 ], [ 12.0, 7.0 ], [ 8.0, 7.0 ], [ 13.0, 9.0 ], [ 10.0, 8.0 ], [ 13.0, 8.0 ], [ 13.0, 9.0 ], [ 11.0, 8.0 ], [ 1.0, 4.0 ], [ 4.0, 1.0 ], [ 8.0, 9.0 ], [ 6.0, 8.0 ], [ 6.0, 3.0 ], [ 9.0, 4.0 ], [ 3.0, 11.0 ], [ 0.0, 11.0 ], [ 12.0, 1.0 ], [ 11.0, 4.0 ], [ 1.0, 8.0 ], [ 1.0, 2.0 ], [ 13.0, 6.0 ], [ 10.0, 10.0 ], [ 1.0, 3.0 ], [ 4.0, 0.0 ], [ 11.0, 8.0 ], [ 8.0, 9.0 ], [ 5.0, 2.0 ], [ 8.0, 1.0 ], [ 5.0, 7.0 ], [ 2.0, 11.0 ], [ 12.0, 2.0 ], [ 9.0, 3.0 ], [ 2.0, 10.0 ], [ 2.0, 8.0 ], [ 10.0, 6.0 ] ], "layers": 2, "interaction_radius": 7.0, "contributed_by": { "by": [ "@dorakingx" ], "date": "2026-10-07", "method": "Simulated annealing over site assignments on an integer grid with the repo's own research/local2d/fold_layout.search_layout (max-diameter objective, several bounding boxes and seeds); single layer at radius 4 tried first, then two layers at 7. Radius and per-site occupancy re-measured with the verifier's rule." } } }