{ "schema_version": "0.1", "name": "[[330,60,6]] [[4,2,2]]-amplified local-sat bilayer 6x6x2 G=21 w6 t2 model 0", "code_type": "CSS", "n": 330, "k": 60, "checks": { "X": [ [ 68, 104, 108, 160, 228, 240, 309 ], [ 69, 105, 109, 161, 229, 241, 309 ], [ 70, 106, 110, 162, 230, 242, 309 ], [ 71, 107, 111, 163, 231, 243, 309 ], [ 56, 92, 108, 132, 224, 236, 310 ], [ 57, 93, 109, 133, 225, 237, 310 ], [ 58, 94, 110, 134, 226, 238, 310 ], [ 59, 95, 111, 135, 227, 239, 310 ], [ 168, 188, 192, 204, 224, 276, 311 ], [ 169, 189, 193, 205, 225, 277, 311 ], [ 170, 190, 194, 206, 226, 278, 311 ], [ 171, 191, 195, 207, 227, 279, 311 ], [ 20, 56, 84, 112, 120, 148, 312 ], [ 21, 57, 85, 113, 121, 149, 312 ], [ 22, 58, 86, 114, 122, 150, 312 ], [ 23, 59, 87, 115, 123, 151, 312 ], [ 0, 4, 64, 124, 160, 164, 313 ], [ 1, 5, 65, 125, 161, 165, 313 ], [ 2, 6, 66, 126, 162, 166, 313 ], [ 3, 7, 67, 127, 163, 167, 313 ], [ 100, 132, 136, 200, 204, 228, 314 ], [ 101, 133, 137, 201, 205, 229, 314 ], [ 102, 134, 138, 202, 206, 230, 314 ], [ 103, 135, 139, 203, 207, 231, 314 ], [ 128, 172, 200, 244, 248, 268, 315 ], [ 129, 173, 201, 245, 249, 269, 315 ], [ 130, 174, 202, 246, 250, 270, 315 ], [ 131, 175, 203, 247, 251, 271, 315 ], [ 32, 48, 132, 148, 156, 248, 316 ], [ 33, 49, 133, 149, 157, 249, 316 ], [ 34, 50, 134, 150, 158, 250, 316 ], [ 35, 51, 135, 151, 159, 251, 316 ], [ 28, 52, 172, 180, 192, 264, 317 ], [ 29, 53, 173, 181, 193, 265, 317 ], [ 30, 54, 174, 182, 194, 266, 317 ], [ 31, 55, 175, 183, 195, 267, 317 ], [ 60, 176, 196, 212, 244, 260, 318 ], [ 61, 177, 197, 213, 245, 261, 318 ], [ 62, 178, 198, 214, 246, 262, 318 ], [ 63, 179, 199, 215, 247, 263, 318 ], [ 12, 16, 24, 32, 52, 232, 319 ], [ 13, 17, 25, 33, 53, 233, 319 ], [ 14, 18, 26, 34, 54, 234, 319 ], [ 15, 19, 27, 35, 55, 235, 319 ], [ 24, 64, 88, 124, 144, 264, 320 ], [ 25, 65, 89, 125, 145, 265, 320 ], [ 26, 66, 90, 126, 146, 266, 320 ], [ 27, 67, 91, 127, 147, 267, 320 ], [ 76, 112, 136, 216, 220, 276, 321 ], [ 77, 113, 137, 217, 221, 277, 321 ], [ 78, 114, 138, 218, 222, 278, 321 ], [ 79, 115, 139, 219, 223, 279, 321 ], [ 28, 44, 212, 256, 272, 284, 322 ], [ 29, 45, 213, 257, 273, 285, 322 ], [ 30, 46, 214, 258, 274, 286, 322 ], [ 31, 47, 215, 259, 275, 287, 322 ], [ 16, 36, 40, 60, 80, 280, 323 ], [ 17, 37, 41, 61, 81, 281, 323 ], [ 18, 38, 42, 62, 82, 282, 323 ], [ 19, 39, 43, 63, 83, 283, 323 ], [ 36, 84, 116, 176, 184, 196, 324 ], [ 37, 85, 117, 177, 185, 197, 324 ], [ 38, 86, 118, 178, 186, 198, 324 ], [ 39, 87, 119, 179, 187, 199, 324 ], [ 40, 116, 120, 152, 268, 284, 325 ], [ 41, 117, 121, 153, 269, 285, 325 ], [ 42, 118, 122, 154, 270, 286, 325 ], [ 43, 119, 123, 155, 271, 287, 325 ], [ 4, 8, 44, 72, 96, 216, 326 ], [ 5, 9, 45, 73, 97, 217, 326 ], [ 6, 10, 46, 74, 98, 218, 326 ], [ 7, 11, 47, 75, 99, 219, 326 ], [ 0, 12, 64, 104, 156, 252, 327 ], [ 1, 13, 65, 105, 157, 253, 327 ], [ 2, 14, 66, 106, 158, 254, 327 ], [ 3, 15, 67, 107, 159, 255, 327 ], [ 76, 96, 144, 208, 240, 272, 328 ], [ 77, 97, 145, 209, 241, 273, 328 ], [ 78, 98, 146, 210, 242, 274, 328 ], [ 79, 99, 147, 211, 243, 275, 328 ], [ 72, 140, 168, 196, 236, 280, 329 ], [ 73, 141, 169, 197, 237, 281, 329 ], [ 74, 142, 170, 198, 238, 282, 329 ], [ 75, 143, 171, 199, 239, 283, 329 ], [ 0, 1, 2, 3, 305, 307 ], [ 4, 5, 6, 7, 288 ], [ 8, 9, 10, 11, 297, 302 ], [ 12, 13, 14, 15, 296, 307 ], [ 16, 17, 18, 19, 300, 307 ], [ 20, 21, 22, 23, 289, 305 ], [ 24, 25, 26, 27, 292, 302 ], [ 28, 29, 30, 31, 290, 292 ], [ 32, 33, 34, 35, 292 ], [ 36, 37, 38, 39, 289, 303 ], [ 40, 41, 42, 43, 300, 303 ], [ 44, 45, 46, 47, 301 ], [ 48, 49, 50, 51, 292, 304 ], [ 52, 53, 54, 55, 302 ], [ 56, 57, 58, 59, 303 ], [ 60, 61, 62, 63, 289, 291 ], [ 64, 65, 66, 67, 298, 305 ], [ 68, 69, 70, 71, 307 ], [ 72, 73, 74, 75, 293, 297 ], [ 76, 77, 78, 79, 296, 305 ], [ 80, 81, 82, 83, 295, 307 ], [ 84, 85, 86, 87, 289, 308 ], [ 88, 89, 90, 91, 288, 295 ], [ 92, 93, 94, 95, 293, 303 ], [ 96, 97, 98, 99, 288, 302 ], [ 100, 101, 102, 103, 299, 301 ], [ 104, 105, 106, 107, 296, 297 ], [ 108, 109, 110, 111, 297, 298 ], [ 112, 113, 114, 115, 305 ], [ 116, 117, 118, 119, 308 ], [ 120, 121, 122, 123, 303, 306, 308 ], [ 124, 125, 126, 127, 288, 298 ], [ 128, 129, 130, 131, 291, 299 ], [ 132, 133, 134, 135, 298, 299 ], [ 136, 137, 138, 139, 301, 308 ], [ 140, 141, 142, 143, 293 ], [ 144, 145, 146, 147, 302, 305 ], [ 148, 149, 150, 151, 306 ], [ 152, 153, 154, 155, 294, 306 ], [ 156, 157, 158, 159, 298, 304 ], [ 160, 161, 162, 163, 294, 307 ], [ 164, 165, 166, 167, 294 ], [ 168, 169, 170, 171, 295 ], [ 172, 173, 174, 175, 300 ], [ 176, 177, 178, 179, 291, 304 ], [ 180, 181, 182, 183, 300, 302 ], [ 184, 185, 186, 187, 303, 304 ], [ 188, 189, 190, 191, 299 ], [ 192, 193, 194, 195, 290, 295 ], [ 196, 197, 198, 199, 291 ], [ 200, 201, 202, 203, 290 ], [ 204, 205, 206, 207, 290, 308 ], [ 208, 209, 210, 211, 288, 301 ], [ 212, 213, 214, 215, 289 ], [ 216, 217, 218, 219, 293, 301 ], [ 220, 221, 222, 223, 296 ], [ 224, 225, 226, 227, 293, 299 ], [ 228, 229, 230, 231, 298 ], [ 232, 233, 234, 235, 296, 300 ], [ 236, 237, 238, 239, 297 ], [ 240, 241, 242, 243, 294, 296 ], [ 244, 245, 246, 247, 291, 306 ], [ 248, 249, 250, 251, 299, 306 ], [ 252, 253, 254, 255, 297, 304 ], [ 256, 257, 258, 259, 289, 292 ], [ 260, 261, 262, 263, 304, 306 ], [ 264, 265, 266, 267, 292, 295 ], [ 268, 269, 270, 271, 290, 300 ], [ 272, 273, 274, 275, 294, 301 ], [ 276, 277, 278, 279, 293, 308 ], [ 280, 281, 282, 283, 291, 295 ], [ 284, 285, 286, 287, 290, 294 ] ], "Z": [ [ 4, 88, 96, 124, 208, 288 ], [ 5, 89, 97, 125, 209, 288 ], [ 6, 90, 98, 126, 210, 288 ], [ 7, 91, 99, 127, 211, 288 ], [ 20, 36, 60, 84, 212, 256, 289 ], [ 21, 37, 61, 85, 213, 257, 289 ], [ 22, 38, 62, 86, 214, 258, 289 ], [ 23, 39, 63, 87, 215, 259, 289 ], [ 28, 192, 200, 204, 268, 284, 290 ], [ 29, 193, 201, 205, 269, 285, 290 ], [ 30, 194, 202, 206, 270, 286, 290 ], [ 31, 195, 203, 207, 271, 287, 290 ], [ 60, 128, 176, 196, 244, 280, 291 ], [ 61, 129, 177, 197, 245, 281, 291 ], [ 62, 130, 178, 198, 246, 282, 291 ], [ 63, 131, 179, 199, 247, 283, 291 ], [ 24, 28, 32, 48, 256, 264, 292 ], [ 25, 29, 33, 49, 257, 265, 292 ], [ 26, 30, 34, 50, 258, 266, 292 ], [ 27, 31, 35, 51, 259, 267, 292 ], [ 72, 92, 140, 216, 224, 276, 293 ], [ 73, 93, 141, 217, 225, 277, 293 ], [ 74, 94, 142, 218, 226, 278, 293 ], [ 75, 95, 143, 219, 227, 279, 293 ], [ 152, 160, 164, 240, 272, 284, 294 ], [ 153, 161, 165, 241, 273, 285, 294 ], [ 154, 162, 166, 242, 274, 286, 294 ], [ 155, 163, 167, 243, 275, 287, 294 ], [ 80, 88, 168, 192, 264, 280, 295 ], [ 81, 89, 169, 193, 265, 281, 295 ], [ 82, 90, 170, 194, 266, 282, 295 ], [ 83, 91, 171, 195, 267, 283, 295 ], [ 12, 76, 104, 220, 232, 240, 296 ], [ 13, 77, 105, 221, 233, 241, 296 ], [ 14, 78, 106, 222, 234, 242, 296 ], [ 15, 79, 107, 223, 235, 243, 296 ], [ 8, 72, 104, 108, 236, 252, 297 ], [ 9, 73, 105, 109, 237, 253, 297 ], [ 10, 74, 106, 110, 238, 254, 297 ], [ 11, 75, 107, 111, 239, 255, 297 ], [ 64, 108, 124, 132, 156, 228, 298 ], [ 65, 109, 125, 133, 157, 229, 298 ], [ 66, 110, 126, 134, 158, 230, 298 ], [ 67, 111, 127, 135, 159, 231, 298 ], [ 100, 128, 132, 188, 224, 248, 299 ], [ 101, 129, 133, 189, 225, 249, 299 ], [ 102, 130, 134, 190, 226, 250, 299 ], [ 103, 131, 135, 191, 227, 251, 299 ], [ 16, 40, 172, 180, 232, 268, 300 ], [ 17, 41, 173, 181, 233, 269, 300 ], [ 18, 42, 174, 182, 234, 270, 300 ], [ 19, 43, 175, 183, 235, 271, 300 ], [ 44, 100, 136, 208, 216, 272, 301 ], [ 45, 101, 137, 209, 217, 273, 301 ], [ 46, 102, 138, 210, 218, 274, 301 ], [ 47, 103, 139, 211, 219, 275, 301 ], [ 8, 24, 52, 96, 144, 180, 302 ], [ 9, 25, 53, 97, 145, 181, 302 ], [ 10, 26, 54, 98, 146, 182, 302 ], [ 11, 27, 55, 99, 147, 183, 302 ], [ 36, 40, 56, 92, 120, 184, 303 ], [ 37, 41, 57, 93, 121, 185, 303 ], [ 38, 42, 58, 94, 122, 186, 303 ], [ 39, 43, 59, 95, 123, 187, 303 ], [ 48, 156, 176, 184, 252, 260, 304 ], [ 49, 157, 177, 185, 253, 261, 304 ], [ 50, 158, 178, 186, 254, 262, 304 ], [ 51, 159, 179, 187, 255, 263, 304 ], [ 0, 20, 64, 76, 112, 144, 305 ], [ 1, 21, 65, 77, 113, 145, 305 ], [ 2, 22, 66, 78, 114, 146, 305 ], [ 3, 23, 67, 79, 115, 147, 305 ], [ 120, 148, 152, 244, 248, 260, 306 ], [ 121, 149, 153, 245, 249, 261, 306 ], [ 122, 150, 154, 246, 250, 262, 306 ], [ 123, 151, 155, 247, 251, 263, 306 ], [ 0, 12, 16, 68, 80, 160, 307 ], [ 1, 13, 17, 69, 81, 161, 307 ], [ 2, 14, 18, 70, 82, 162, 307 ], [ 3, 15, 19, 71, 83, 163, 307 ], [ 84, 116, 120, 136, 204, 276, 308 ], [ 85, 117, 121, 137, 205, 277, 308 ], [ 86, 118, 122, 138, 206, 278, 308 ], [ 87, 119, 123, 139, 207, 279, 308 ], [ 0, 1, 2, 3, 313, 327 ], [ 4, 5, 6, 7, 313, 326 ], [ 8, 9, 10, 11, 326 ], [ 12, 13, 14, 15, 319, 327 ], [ 16, 17, 18, 19, 319, 323 ], [ 20, 21, 22, 23, 312 ], [ 24, 25, 26, 27, 319, 320 ], [ 28, 29, 30, 31, 317, 322 ], [ 32, 33, 34, 35, 316, 319 ], [ 36, 37, 38, 39, 323, 324 ], [ 40, 41, 42, 43, 323, 325 ], [ 44, 45, 46, 47, 322, 326 ], [ 48, 49, 50, 51, 316 ], [ 52, 53, 54, 55, 317, 319 ], [ 56, 57, 58, 59, 310, 312 ], [ 60, 61, 62, 63, 318, 323 ], [ 64, 65, 66, 67, 313, 320, 327 ], [ 68, 69, 70, 71, 309 ], [ 72, 73, 74, 75, 326, 329 ], [ 76, 77, 78, 79, 321, 328 ], [ 80, 81, 82, 83, 323 ], [ 84, 85, 86, 87, 312, 324 ], [ 88, 89, 90, 91, 320 ], [ 92, 93, 94, 95, 310 ], [ 96, 97, 98, 99, 326, 328 ], [ 100, 101, 102, 103, 314 ], [ 104, 105, 106, 107, 309, 327 ], [ 108, 109, 110, 111, 309, 310 ], [ 112, 113, 114, 115, 312, 321 ], [ 116, 117, 118, 119, 324, 325 ], [ 120, 121, 122, 123, 312, 325 ], [ 124, 125, 126, 127, 313, 320 ], [ 128, 129, 130, 131, 315 ], [ 132, 133, 134, 135, 310, 314, 316 ], [ 136, 137, 138, 139, 314, 321 ], [ 140, 141, 142, 143, 329 ], [ 144, 145, 146, 147, 320, 328 ], [ 148, 149, 150, 151, 312, 316 ], [ 152, 153, 154, 155, 325 ], [ 156, 157, 158, 159, 316, 327 ], [ 160, 161, 162, 163, 309, 313 ], [ 164, 165, 166, 167, 313 ], [ 168, 169, 170, 171, 311, 329 ], [ 172, 173, 174, 175, 315, 317 ], [ 176, 177, 178, 179, 318, 324 ], [ 180, 181, 182, 183, 317 ], [ 184, 185, 186, 187, 324 ], [ 188, 189, 190, 191, 311 ], [ 192, 193, 194, 195, 311, 317 ], [ 196, 197, 198, 199, 318, 324, 329 ], [ 200, 201, 202, 203, 314, 315 ], [ 204, 205, 206, 207, 311, 314 ], [ 208, 209, 210, 211, 328 ], [ 212, 213, 214, 215, 318, 322 ], [ 216, 217, 218, 219, 321, 326 ], [ 220, 221, 222, 223, 321 ], [ 224, 225, 226, 227, 310, 311 ], [ 228, 229, 230, 231, 309, 314 ], [ 232, 233, 234, 235, 319 ], [ 236, 237, 238, 239, 310, 329 ], [ 240, 241, 242, 243, 309, 328 ], [ 244, 245, 246, 247, 315, 318 ], [ 248, 249, 250, 251, 315, 316 ], [ 252, 253, 254, 255, 327 ], [ 256, 257, 258, 259, 322 ], [ 260, 261, 262, 263, 318 ], [ 264, 265, 266, 267, 317, 320 ], [ 268, 269, 270, 271, 315, 325 ], [ 272, 273, 274, 275, 322, 328 ], [ 276, 277, 278, 279, 311, 321 ], [ 280, 281, 282, 283, 323, 329 ], [ 284, 285, 286, 287, 322, 325 ] ] }, "distance": { "d": 6, "X": { "value": 6, "confidence": "upper_bound", "witness": [ 164, 165, 220, 221, 240, 241 ] }, "Z": { "value": 6, "confidence": "upper_bound", "witness": [ 68, 69, 160, 161, 164, 165 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Distance-amplified code: one [[4,2,2]] tensor-product amplification step (central three-term truncation of the chain-complex tensor product, arXiv:2609.37231 Eq. 1/Eq. 12-15) applied to the board's local-sat bilayer 6x6x2 G=21 w6 t2 model 0 entry, using a sparse independent-row presentation of its checks: n' = 4n + m_X + m_Z = 330, k' = 2k = 60, check weight w' = w+1 = 7. X/Z witnesses are the base witnesses tensored with the weight-2 [[4,2,2]] logical on the central register (weights 6/6); a 100000-trial fast-backend search (seed 5000) found nothing lighter (min weight 6). Base provenance: SAT search (research/local_sat.py build_local_cnf with the grid site list repeated 2 times, n_side=6, G=21, max_weight=6, t=2 detection, anchor radius 3.5, shared_t3 encoding, CaDiCaL 1.9.5 via python-sat) over bilayer 2D-local CSS codes: 2 qubits per site of a 6x6 grid (layers=2), each check anchored at a grid site and acting within radius 3.5 of it, so the interaction radius is at most 7.0 by construction. Model index 0 of the enumeration; distance is a witness-backed upper bound.", "references": [ "arXiv:2609.37231" ], "date": "2026-09-30", "notes": "Constructed and packaged with the Space Bunny Alpha 1.0 model.", "model": "Space Bunny Alpha 1.0" }, "family": "distance-amplified" }