{ "schema_version": "0.2", "name": "[[312,96,4]]", "code_type": "CSS", "n": 312, "k": 96, "checks": { "X": [ [ 0, 24, 144, 168, 258, 282, 300 ], [ 1, 25, 145, 169, 259, 283, 300 ], [ 2, 26, 146, 170, 260, 284, 300 ], [ 3, 27, 147, 171, 261, 285, 300 ], [ 4, 28, 148, 172, 262, 286, 300 ], [ 5, 29, 149, 173, 263, 287, 300 ], [ 6, 42, 150, 186, 192, 246, 301 ], [ 7, 43, 151, 187, 193, 247, 301 ], [ 8, 44, 152, 188, 194, 248, 301 ], [ 9, 45, 153, 189, 195, 249, 301 ], [ 10, 46, 154, 190, 196, 250, 301 ], [ 11, 47, 155, 191, 197, 251, 301 ], [ 12, 60, 156, 180, 204, 234, 302 ], [ 13, 61, 157, 181, 205, 235, 302 ], [ 14, 62, 158, 182, 206, 236, 302 ], [ 15, 63, 159, 183, 207, 237, 302 ], [ 16, 64, 160, 184, 208, 238, 302 ], [ 17, 65, 161, 185, 209, 239, 302 ], [ 18, 66, 162, 210, 216, 264, 303 ], [ 19, 67, 163, 211, 217, 265, 303 ], [ 20, 68, 164, 212, 218, 266, 303 ], [ 21, 69, 165, 213, 219, 267, 303 ], [ 22, 70, 166, 214, 220, 268, 303 ], [ 23, 71, 167, 215, 221, 269, 303 ], [ 30, 84, 144, 168, 174, 228, 304 ], [ 31, 85, 145, 169, 175, 229, 304 ], [ 32, 86, 146, 170, 176, 230, 304 ], [ 33, 87, 147, 171, 177, 231, 304 ], [ 34, 88, 148, 172, 178, 232, 304 ], [ 35, 89, 149, 173, 179, 233, 304 ], [ 36, 90, 180, 234, 240, 276, 305 ], [ 37, 91, 181, 235, 241, 277, 305 ], [ 38, 92, 182, 236, 242, 278, 305 ], [ 39, 93, 183, 237, 243, 279, 305 ], [ 40, 94, 184, 238, 244, 280, 305 ], [ 41, 95, 185, 239, 245, 281, 305 ], [ 48, 102, 192, 222, 246, 270, 306 ], [ 49, 103, 193, 223, 247, 271, 306 ], [ 50, 104, 194, 224, 248, 272, 306 ], [ 51, 105, 195, 225, 249, 273, 306 ], [ 52, 106, 196, 226, 250, 274, 306 ], [ 53, 107, 197, 227, 251, 275, 306 ], [ 54, 108, 150, 186, 198, 252, 307 ], [ 55, 109, 151, 187, 199, 253, 307 ], [ 56, 110, 152, 188, 200, 254, 307 ], [ 57, 111, 153, 189, 201, 255, 307 ], [ 58, 112, 154, 190, 202, 256, 307 ], [ 59, 113, 155, 191, 203, 257, 307 ], [ 72, 120, 156, 204, 216, 264, 308 ], [ 73, 121, 157, 205, 217, 265, 308 ], [ 74, 122, 158, 206, 218, 266, 308 ], [ 75, 123, 159, 207, 219, 267, 308 ], [ 76, 124, 160, 208, 220, 268, 308 ], [ 77, 125, 161, 209, 221, 269, 308 ], [ 78, 126, 162, 210, 222, 270, 309 ], [ 79, 127, 163, 211, 223, 271, 309 ], [ 80, 128, 164, 212, 224, 272, 309 ], [ 81, 129, 165, 213, 225, 273, 309 ], [ 82, 130, 166, 214, 226, 274, 309 ], [ 83, 131, 167, 215, 227, 275, 309 ], [ 96, 132, 174, 228, 240, 276, 310 ], [ 97, 133, 175, 229, 241, 277, 310 ], [ 98, 134, 176, 230, 242, 278, 310 ], [ 99, 135, 177, 231, 243, 279, 310 ], [ 100, 136, 178, 232, 244, 280, 310 ], [ 101, 137, 179, 233, 245, 281, 310 ], [ 114, 138, 198, 252, 258, 282, 311 ], [ 115, 139, 199, 253, 259, 283, 311 ], [ 116, 140, 200, 254, 260, 284, 311 ], [ 117, 141, 201, 255, 261, 285, 311 ], [ 118, 142, 202, 256, 262, 286, 311 ], [ 119, 143, 203, 257, 263, 287, 311 ], [ 0, 1, 2, 3, 4, 5, 288, 299 ], [ 6, 7, 8, 9, 10, 11, 289, 294 ], [ 12, 13, 14, 15, 16, 17, 290, 293 ], [ 18, 19, 20, 21, 22, 23, 291, 296 ], [ 24, 25, 26, 27, 28, 29, 288, 299 ], [ 30, 31, 32, 33, 34, 35, 288, 292 ], [ 36, 37, 38, 39, 40, 41, 293, 298 ], [ 42, 43, 44, 45, 46, 47, 289, 294 ], [ 48, 49, 50, 51, 52, 53, 294, 297 ], [ 54, 55, 56, 57, 58, 59, 289, 295 ], [ 60, 61, 62, 63, 64, 65, 290, 293 ], [ 66, 67, 68, 69, 70, 71, 291, 296 ], [ 72, 73, 74, 75, 76, 77, 290, 296 ], [ 78, 79, 80, 81, 82, 83, 291, 297 ], [ 84, 85, 86, 87, 88, 89, 288, 292 ], [ 90, 91, 92, 93, 94, 95, 293, 298 ], [ 96, 97, 98, 99, 100, 101, 292, 298 ], [ 102, 103, 104, 105, 106, 107, 294, 297 ], [ 108, 109, 110, 111, 112, 113, 289, 295 ], [ 114, 115, 116, 117, 118, 119, 295, 299 ], [ 120, 121, 122, 123, 124, 125, 290, 296 ], [ 126, 127, 128, 129, 130, 131, 291, 297 ], [ 132, 133, 134, 135, 136, 137, 292, 298 ], [ 138, 139, 140, 141, 142, 143, 295, 299 ], [ 144, 145, 146, 147, 148, 149, 288 ], [ 150, 151, 152, 153, 154, 155, 289 ], [ 156, 157, 158, 159, 160, 161, 290 ], [ 162, 163, 164, 165, 166, 167, 291 ], [ 168, 169, 170, 171, 172, 173, 288 ], [ 174, 175, 176, 177, 178, 179, 292 ], [ 180, 181, 182, 183, 184, 185, 293 ], [ 186, 187, 188, 189, 190, 191, 289 ], [ 192, 193, 194, 195, 196, 197, 294 ], [ 198, 199, 200, 201, 202, 203, 295 ], [ 204, 205, 206, 207, 208, 209, 290 ], [ 210, 211, 212, 213, 214, 215, 291 ], [ 216, 217, 218, 219, 220, 221, 296 ], [ 222, 223, 224, 225, 226, 227, 297 ], [ 228, 229, 230, 231, 232, 233, 292 ], [ 234, 235, 236, 237, 238, 239, 293 ], [ 240, 241, 242, 243, 244, 245, 298 ], [ 246, 247, 248, 249, 250, 251, 294 ], [ 252, 253, 254, 255, 256, 257, 295 ], [ 258, 259, 260, 261, 262, 263, 299 ], [ 264, 265, 266, 267, 268, 269, 296 ], [ 270, 271, 272, 273, 274, 275, 297 ], [ 276, 277, 278, 279, 280, 281, 298 ], [ 282, 283, 284, 285, 286, 287, 299 ] ], "Z": [ [ 0, 24, 30, 84, 144, 168, 288 ], [ 1, 25, 31, 85, 145, 169, 288 ], [ 2, 26, 32, 86, 146, 170, 288 ], [ 3, 27, 33, 87, 147, 171, 288 ], [ 4, 28, 34, 88, 148, 172, 288 ], [ 5, 29, 35, 89, 149, 173, 288 ], [ 6, 42, 54, 108, 150, 186, 289 ], [ 7, 43, 55, 109, 151, 187, 289 ], [ 8, 44, 56, 110, 152, 188, 289 ], [ 9, 45, 57, 111, 153, 189, 289 ], [ 10, 46, 58, 112, 154, 190, 289 ], [ 11, 47, 59, 113, 155, 191, 289 ], [ 12, 60, 72, 120, 156, 204, 290 ], [ 13, 61, 73, 121, 157, 205, 290 ], [ 14, 62, 74, 122, 158, 206, 290 ], [ 15, 63, 75, 123, 159, 207, 290 ], [ 16, 64, 76, 124, 160, 208, 290 ], [ 17, 65, 77, 125, 161, 209, 290 ], [ 18, 66, 78, 126, 162, 210, 291 ], [ 19, 67, 79, 127, 163, 211, 291 ], [ 20, 68, 80, 128, 164, 212, 291 ], [ 21, 69, 81, 129, 165, 213, 291 ], [ 22, 70, 82, 130, 166, 214, 291 ], [ 23, 71, 83, 131, 167, 215, 291 ], [ 30, 84, 96, 132, 174, 228, 292 ], [ 31, 85, 97, 133, 175, 229, 292 ], [ 32, 86, 98, 134, 176, 230, 292 ], [ 33, 87, 99, 135, 177, 231, 292 ], [ 34, 88, 100, 136, 178, 232, 292 ], [ 35, 89, 101, 137, 179, 233, 292 ], [ 12, 36, 60, 90, 180, 234, 293 ], [ 13, 37, 61, 91, 181, 235, 293 ], [ 14, 38, 62, 92, 182, 236, 293 ], [ 15, 39, 63, 93, 183, 237, 293 ], [ 16, 40, 64, 94, 184, 238, 293 ], [ 17, 41, 65, 95, 185, 239, 293 ], [ 6, 42, 48, 102, 192, 246, 294 ], [ 7, 43, 49, 103, 193, 247, 294 ], [ 8, 44, 50, 104, 194, 248, 294 ], [ 9, 45, 51, 105, 195, 249, 294 ], [ 10, 46, 52, 106, 196, 250, 294 ], [ 11, 47, 53, 107, 197, 251, 294 ], [ 54, 108, 114, 138, 198, 252, 295 ], [ 55, 109, 115, 139, 199, 253, 295 ], [ 56, 110, 116, 140, 200, 254, 295 ], [ 57, 111, 117, 141, 201, 255, 295 ], [ 58, 112, 118, 142, 202, 256, 295 ], [ 59, 113, 119, 143, 203, 257, 295 ], [ 18, 66, 72, 120, 216, 264, 296 ], [ 19, 67, 73, 121, 217, 265, 296 ], [ 20, 68, 74, 122, 218, 266, 296 ], [ 21, 69, 75, 123, 219, 267, 296 ], [ 22, 70, 76, 124, 220, 268, 296 ], [ 23, 71, 77, 125, 221, 269, 296 ], [ 48, 78, 102, 126, 222, 270, 297 ], [ 49, 79, 103, 127, 223, 271, 297 ], [ 50, 80, 104, 128, 224, 272, 297 ], [ 51, 81, 105, 129, 225, 273, 297 ], [ 52, 82, 106, 130, 226, 274, 297 ], [ 53, 83, 107, 131, 227, 275, 297 ], [ 36, 90, 96, 132, 240, 276, 298 ], [ 37, 91, 97, 133, 241, 277, 298 ], [ 38, 92, 98, 134, 242, 278, 298 ], [ 39, 93, 99, 135, 243, 279, 298 ], [ 40, 94, 100, 136, 244, 280, 298 ], [ 41, 95, 101, 137, 245, 281, 298 ], [ 0, 24, 114, 138, 258, 282, 299 ], [ 1, 25, 115, 139, 259, 283, 299 ], [ 2, 26, 116, 140, 260, 284, 299 ], [ 3, 27, 117, 141, 261, 285, 299 ], [ 4, 28, 118, 142, 262, 286, 299 ], [ 5, 29, 119, 143, 263, 287, 299 ], [ 0, 1, 2, 3, 4, 5, 300 ], [ 6, 7, 8, 9, 10, 11, 301 ], [ 12, 13, 14, 15, 16, 17, 302 ], [ 18, 19, 20, 21, 22, 23, 303 ], [ 24, 25, 26, 27, 28, 29, 300 ], [ 30, 31, 32, 33, 34, 35, 304 ], [ 36, 37, 38, 39, 40, 41, 305 ], [ 42, 43, 44, 45, 46, 47, 301 ], [ 48, 49, 50, 51, 52, 53, 306 ], [ 54, 55, 56, 57, 58, 59, 307 ], [ 60, 61, 62, 63, 64, 65, 302 ], [ 66, 67, 68, 69, 70, 71, 303 ], [ 72, 73, 74, 75, 76, 77, 308 ], [ 78, 79, 80, 81, 82, 83, 309 ], [ 84, 85, 86, 87, 88, 89, 304 ], [ 90, 91, 92, 93, 94, 95, 305 ], [ 96, 97, 98, 99, 100, 101, 310 ], [ 102, 103, 104, 105, 106, 107, 306 ], [ 108, 109, 110, 111, 112, 113, 307 ], [ 114, 115, 116, 117, 118, 119, 311 ], [ 120, 121, 122, 123, 124, 125, 308 ], [ 126, 127, 128, 129, 130, 131, 309 ], [ 132, 133, 134, 135, 136, 137, 310 ], [ 138, 139, 140, 141, 142, 143, 311 ], [ 144, 145, 146, 147, 148, 149, 300, 304 ], [ 150, 151, 152, 153, 154, 155, 301, 307 ], [ 156, 157, 158, 159, 160, 161, 302, 308 ], [ 162, 163, 164, 165, 166, 167, 303, 309 ], [ 168, 169, 170, 171, 172, 173, 300, 304 ], [ 174, 175, 176, 177, 178, 179, 304, 310 ], [ 180, 181, 182, 183, 184, 185, 302, 305 ], [ 186, 187, 188, 189, 190, 191, 301, 307 ], [ 192, 193, 194, 195, 196, 197, 301, 306 ], [ 198, 199, 200, 201, 202, 203, 307, 311 ], [ 204, 205, 206, 207, 208, 209, 302, 308 ], [ 210, 211, 212, 213, 214, 215, 303, 309 ], [ 216, 217, 218, 219, 220, 221, 303, 308 ], [ 222, 223, 224, 225, 226, 227, 306, 309 ], [ 228, 229, 230, 231, 232, 233, 304, 310 ], [ 234, 235, 236, 237, 238, 239, 302, 305 ], [ 240, 241, 242, 243, 244, 245, 305, 310 ], [ 246, 247, 248, 249, 250, 251, 301, 306 ], [ 252, 253, 254, 255, 256, 257, 307, 311 ], [ 258, 259, 260, 261, 262, 263, 300, 311 ], [ 264, 265, 266, 267, 268, 269, 303, 308 ], [ 270, 271, 272, 273, 274, 275, 306, 309 ], [ 276, 277, 278, 279, 280, 281, 305, 310 ], [ 282, 283, 284, 285, 286, 287, 300, 311 ] ] }, "distance": { "d": 4, "X": { "value": 4, "confidence": "upper_bound", "witness": [ 98, 99, 134, 135 ] }, "Z": { "value": 4, "confidence": "upper_bound", "witness": [ 240, 242, 276, 278 ] } }, "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 [[48,24,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 = 312, k' = 4k = 96, 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(24,2), from github.com/QEC-pages/2BGA-codes @ 403d194c3f98f0cadc236aecbc4a8b6139ccf23c, abelian.zip, diswtabelian_wt6wtL2_order24_k24.txt, line 1. nonidentity supports a=[5], b=[5, 6, 15]. (family generalized-bicycle, 48-24-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": [ [ 2.0, 6.0 ], [ 0.0, 3.0 ], [ 2.0, 6.0 ], [ 0.0, 4.0 ], [ 0.0, 2.0 ], [ 2.0, 3.0 ], [ 11.0, 1.0 ], [ 7.0, 1.0 ], [ 7.0, 0.0 ], [ 7.0, 2.0 ], [ 9.0, 2.0 ], [ 9.0, 1.0 ], [ 6.0, 10.0 ], [ 5.0, 11.0 ], [ 6.0, 11.0 ], [ 5.0, 8.0 ], [ 6.0, 10.0 ], [ 6.0, 12.0 ], [ 10.0, 9.0 ], [ 7.0, 7.0 ], [ 8.0, 11.0 ], [ 9.0, 9.0 ], [ 11.0, 11.0 ], [ 10.0, 8.0 ], [ 3.0, 4.0 ], [ 0.0, 5.0 ], [ 0.0, 4.0 ], [ 1.0, 1.0 ], [ 4.0, 4.0 ], [ 2.0, 1.0 ], [ 4.0, 6.0 ], [ 3.0, 5.0 ], [ 2.0, 7.0 ], [ 0.0, 7.0 ], [ 1.0, 5.0 ], [ 0.0, 6.0 ], [ 0.0, 12.0 ], [ 1.0, 11.0 ], [ 3.0, 11.0 ], [ 1.0, 12.0 ], [ 5.0, 11.0 ], [ 0.0, 11.0 ], [ 11.0, 4.0 ], [ 8.0, 1.0 ], [ 6.0, 1.0 ], [ 11.0, 2.0 ], [ 11.0, 0.0 ], [ 9.0, 0.0 ], [ 11.0, 6.0 ], [ 10.0, 3.0 ], [ 7.0, 4.0 ], [ 10.0, 4.0 ], [ 9.0, 6.0 ], [ 8.0, 6.0 ], [ 9.0, 3.0 ], [ 5.0, 2.0 ], [ 6.0, 1.0 ], [ 6.0, 2.0 ], [ 6.0, 3.0 ], [ 6.0, 4.0 ], [ 4.0, 12.0 ], [ 5.0, 7.0 ], [ 6.0, 8.0 ], [ 5.0, 9.0 ], [ 4.0, 8.0 ], [ 3.0, 10.0 ], [ 9.0, 7.0 ], [ 9.0, 7.0 ], [ 8.0, 9.0 ], [ 11.0, 10.0 ], [ 9.0, 10.0 ], [ 11.0, 7.0 ], [ 10.0, 11.0 ], [ 8.0, 8.0 ], [ 7.0, 12.0 ], [ 9.0, 12.0 ], [ 9.0, 11.0 ], [ 5.0, 9.0 ], [ 8.0, 9.0 ], [ 6.0, 7.0 ], [ 9.0, 6.0 ], [ 11.0, 6.0 ], [ 9.0, 8.0 ], [ 10.0, 6.0 ], [ 1.0, 4.0 ], [ 0.0, 5.0 ], [ 3.0, 5.0 ], [ 5.0, 4.0 ], [ 4.0, 3.0 ], [ 4.0, 5.0 ], [ 2.0, 10.0 ], [ 2.0, 11.0 ], [ 3.0, 11.0 ], [ 0.0, 9.0 ], [ 1.0, 8.0 ], [ 1.0, 12.0 ], [ 1.0, 9.0 ], [ 3.0, 8.0 ], [ 3.0, 10.0 ], [ 1.0, 6.0 ], [ 3.0, 6.0 ], [ 4.0, 10.0 ], [ 10.0, 5.0 ], [ 8.0, 4.0 ], [ 11.0, 0.0 ], [ 7.0, 4.0 ], [ 11.0, 3.0 ], [ 10.0, 1.0 ], [ 8.0, 2.0 ], [ 8.0, 1.0 ], [ 6.0, 5.0 ], [ 5.0, 1.0 ], [ 7.0, 3.0 ], [ 4.0, 2.0 ], [ 4.0, 3.0 ], [ 5.0, 3.0 ], [ 5.0, 1.0 ], [ 1.0, 0.0 ], [ 3.0, 3.0 ], [ 4.0, 0.0 ], [ 9.0, 11.0 ], [ 7.0, 9.0 ], [ 8.0, 12.0 ], [ 9.0, 12.0 ], [ 7.0, 11.0 ], [ 6.0, 11.0 ], [ 7.0, 5.0 ], [ 8.0, 7.0 ], [ 8.0, 5.0 ], [ 7.0, 6.0 ], [ 10.0, 7.0 ], [ 9.0, 4.0 ], [ 2.0, 8.0 ], [ 1.0, 10.0 ], [ 2.0, 9.0 ], [ 1.0, 9.0 ], [ 4.0, 6.0 ], [ 3.0, 9.0 ], [ 3.0, 2.0 ], [ 3.0, 0.0 ], [ 1.0, 2.0 ], [ 1.0, 1.0 ], [ 4.0, 0.0 ], [ 1.0, 3.0 ], [ 5.0, 6.0 ], [ 0.0, 6.0 ], [ 3.0, 2.0 ], [ 4.0, 4.0 ], [ 2.0, 2.0 ], [ 2.0, 5.0 ], [ 7.0, 3.0 ], [ 8.0, 2.0 ], [ 7.0, 5.0 ], [ 7.0, 1.0 ], [ 7.0, 2.0 ], [ 7.0, 0.0 ], [ 7.0, 11.0 ], [ 7.0, 7.0 ], [ 8.0, 11.0 ], [ 5.0, 12.0 ], [ 8.0, 8.0 ], [ 5.0, 12.0 ], [ 10.0, 8.0 ], [ 6.0, 8.0 ], [ 7.0, 9.0 ], [ 6.0, 7.0 ], [ 11.0, 8.0 ], [ 9.0, 9.0 ], [ 0.0, 3.0 ], [ 2.0, 5.0 ], [ 4.0, 2.0 ], [ 5.0, 4.0 ], [ 4.0, 5.0 ], [ 3.0, 4.0 ], [ 3.0, 7.0 ], [ 3.0, 6.0 ], [ 5.0, 6.0 ], [ 6.0, 6.0 ], [ 2.0, 4.0 ], [ 2.0, 10.0 ], [ 4.0, 10.0 ], [ 4.0, 11.0 ], [ 4.0, 11.0 ], [ 0.0, 11.0 ], [ 4.0, 8.0 ], [ 3.0, 7.0 ], [ 8.0, 3.0 ], [ 6.0, 3.0 ], [ 5.0, 3.0 ], [ 6.0, 0.0 ], [ 9.0, 0.0 ], [ 8.0, 3.0 ], [ 10.0, 4.0 ], [ 10.0, 0.0 ], [ 8.0, 0.0 ], [ 8.0, 0.0 ], [ 11.0, 3.0 ], [ 10.0, 2.0 ], [ 6.0, 5.0 ], [ 5.0, 0.0 ], [ 3.0, 1.0 ], [ 4.0, 1.0 ], [ 6.0, 4.0 ], [ 5.0, 5.0 ], [ 6.0, 12.0 ], [ 5.0, 10.0 ], [ 7.0, 12.0 ], [ 5.0, 8.0 ], [ 7.0, 8.0 ], [ 6.0, 9.0 ], [ 8.0, 6.0 ], [ 10.0, 7.0 ], [ 7.0, 10.0 ], [ 10.0, 10.0 ], [ 11.0, 9.0 ], [ 11.0, 8.0 ], [ 11.0, 9.0 ], [ 8.0, 12.0 ], [ 11.0, 12.0 ], [ 7.0, 8.0 ], [ 11.0, 12.0 ], [ 10.0, 12.0 ], [ 11.0, 7.0 ], [ 11.0, 5.0 ], [ 9.0, 4.0 ], [ 6.0, 6.0 ], [ 9.0, 5.0 ], [ 9.0, 5.0 ], [ 0.0, 7.0 ], [ 3.0, 8.0 ], [ 4.0, 7.0 ], [ 1.0, 7.0 ], [ 2.0, 7.0 ], [ 5.0, 7.0 ], [ 2.0, 12.0 ], [ 4.0, 7.0 ], [ 3.0, 12.0 ], [ 2.0, 12.0 ], [ 5.0, 10.0 ], [ 2.0, 8.0 ], [ 3.0, 9.0 ], [ 1.0, 8.0 ], [ 1.0, 11.0 ], [ 0.0, 8.0 ], [ 0.0, 9.0 ], [ 1.0, 7.0 ], [ 10.0, 3.0 ], [ 10.0, 1.0 ], [ 10.0, 0.0 ], [ 9.0, 3.0 ], [ 10.0, 2.0 ], [ 11.0, 2.0 ], [ 5.0, 5.0 ], [ 6.0, 0.0 ], [ 3.0, 1.0 ], [ 3.0, 3.0 ], [ 6.0, 2.0 ], [ 2.0, 2.0 ], [ 2.0, 1.0 ], [ 0.0, 0.0 ], [ 0.0, 2.0 ], [ 3.0, 0.0 ], [ 1.0, 3.0 ], [ 2.0, 4.0 ], [ 7.0, 10.0 ], [ 10.0, 11.0 ], [ 10.0, 12.0 ], [ 8.0, 10.0 ], [ 11.0, 11.0 ], [ 10.0, 10.0 ], [ 10.0, 5.0 ], [ 11.0, 4.0 ], [ 8.0, 5.0 ], [ 7.0, 6.0 ], [ 8.0, 7.0 ], [ 11.0, 5.0 ], [ 0.0, 12.0 ], [ 1.0, 10.0 ], [ 2.0, 9.0 ], [ 2.0, 11.0 ], [ 0.0, 10.0 ], [ 3.0, 12.0 ], [ 1.0, 2.0 ], [ 0.0, 0.0 ], [ 4.0, 1.0 ], [ 1.0, 0.0 ], [ 2.0, 0.0 ], [ 0.0, 1.0 ], [ 1.0, 5.0 ], [ 9.0, 2.0 ], [ 6.0, 9.0 ], [ 9.0, 8.0 ], [ 1.0, 6.0 ], [ 4.0, 12.0 ], [ 11.0, 1.0 ], [ 5.0, 2.0 ], [ 9.0, 10.0 ], [ 10.0, 6.0 ], [ 0.0, 10.0 ], [ 0.0, 1.0 ], [ 2.0, 3.0 ], [ 9.0, 1.0 ], [ 4.0, 9.0 ], [ 11.0, 10.0 ], [ 1.0, 4.0 ], [ 4.0, 9.0 ], [ 8.0, 4.0 ], [ 5.0, 0.0 ], [ 8.0, 10.0 ], [ 10.0, 9.0 ], [ 0.0, 8.0 ], [ 2.0, 0.0 ] ], "layers": 2, "interaction_radius": 6.4032, "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." } } }