{ "schema_version": "0.2", "name": "[[240,16,13]] CLP code (arXiv:2610.12782 Table I, weight 7)", "code_type": "CSS", "n": 240, "k": 16, "checks": { "X": [ [ 0, 30, 31, 120, 180, 216 ], [ 1, 11, 27, 121, 181, 222 ], [ 2, 21, 40, 122, 182, 207 ], [ 3, 17, 33, 123, 183, 203 ], [ 4, 42, 43, 124, 184, 228 ], [ 5, 20, 28, 125, 185, 214 ], [ 4, 6, 36, 126, 186, 213 ], [ 7, 14, 22, 127, 187, 209 ], [ 8, 23, 39, 128, 188, 233 ], [ 9, 24, 25, 129, 189, 220 ], [ 8, 10, 42, 130, 190, 194 ], [ 11, 33, 51, 131, 191, 219 ], [ 12, 19, 29, 132, 192, 205 ], [ 13, 29, 45, 133, 193, 215 ], [ 14, 53, 54, 134, 194, 237 ], [ 15, 32, 40, 135, 195, 226 ], [ 13, 16, 23, 136, 196, 200 ], [ 14, 17, 48, 137, 197, 225 ], [ 15, 18, 34, 138, 198, 211 ], [ 19, 26, 34, 139, 199, 221 ], [ 20, 35, 50, 140, 200, 239 ], [ 21, 36, 37, 141, 201, 231 ], [ 20, 22, 53, 142, 202, 206 ], [ 23, 45, 58, 143, 203, 230 ], [ 24, 31, 41, 144, 204, 217 ], [ 25, 41, 55, 145, 205, 227 ], [ 7, 26, 59, 146, 192, 206 ], [ 27, 44, 51, 147, 207, 236 ], [ 25, 28, 35, 148, 208, 212 ], [ 26, 29, 57, 149, 209, 235 ], [ 27, 30, 46, 150, 210, 223 ], [ 31, 38, 46, 151, 211, 232 ], [ 5, 32, 47, 152, 198, 212 ], [ 33, 48, 49, 153, 213, 238 ], [ 32, 34, 59, 154, 214, 218 ], [ 16, 35, 55, 155, 185, 215 ], [ 36, 43, 52, 156, 216, 229 ], [ 9, 37, 52, 157, 182, 217 ], [ 18, 19, 38, 158, 204, 218 ], [ 1, 39, 58, 159, 190, 219 ], [ 37, 40, 47, 160, 220, 224 ], [ 12, 38, 41, 161, 189, 221 ], [ 39, 42, 56, 162, 222, 234 ], [ 0, 43, 56, 163, 186, 223 ], [ 2, 15, 44, 164, 210, 224 ], [ 3, 45, 57, 165, 196, 225 ], [ 18, 44, 46, 166, 180, 226 ], [ 9, 28, 47, 167, 195, 227 ], [ 6, 48, 54, 168, 183, 228 ], [ 6, 21, 49, 169, 191, 229 ], [ 8, 16, 50, 170, 202, 230 ], [ 2, 49, 51, 171, 181, 231 ], [ 0, 24, 52, 172, 201, 232 ], [ 10, 50, 53, 173, 187, 233 ], [ 4, 10, 54, 174, 197, 234 ], [ 12, 13, 55, 175, 208, 235 ], [ 1, 30, 56, 176, 184, 236 ], [ 7, 17, 57, 177, 193, 237 ], [ 3, 11, 58, 178, 188, 238 ], [ 5, 22, 59, 179, 199, 239 ], [ 60, 90, 91, 120, 130, 193, 228 ], [ 61, 71, 87, 121, 136, 199, 233 ], [ 62, 81, 100, 122, 123, 202, 219 ], [ 63, 77, 93, 123, 132, 195, 215 ], [ 64, 102, 103, 124, 142, 205, 237 ], [ 65, 80, 88, 122, 125, 184, 226 ], [ 64, 66, 96, 126, 127, 208, 225 ], [ 67, 74, 82, 127, 138, 201, 221 ], [ 68, 83, 99, 128, 148, 211, 239 ], [ 69, 84, 85, 126, 129, 188, 231 ], [ 68, 70, 102, 125, 130, 204, 206 ], [ 71, 93, 111, 131, 133, 214, 230 ], [ 72, 79, 89, 120, 132, 191, 217 ], [ 73, 89, 105, 133, 144, 207, 227 ], [ 74, 113, 114, 134, 154, 192, 217 ], [ 75, 92, 100, 131, 135, 194, 236 ], [ 73, 76, 83, 129, 136, 210, 212 ], [ 74, 77, 108, 137, 139, 220, 235 ], [ 75, 78, 94, 121, 138, 197, 223 ], [ 79, 86, 94, 139, 150, 213, 232 ], [ 80, 95, 110, 140, 160, 198, 223 ], [ 81, 96, 97, 137, 141, 200, 238 ], [ 80, 82, 113, 135, 142, 216, 218 ], [ 83, 105, 118, 143, 145, 185, 226 ], [ 84, 91, 101, 124, 144, 203, 229 ], [ 85, 101, 115, 145, 156, 182, 219 ], [ 67, 86, 119, 146, 166, 204, 229 ], [ 87, 104, 111, 143, 147, 190, 206 ], [ 85, 88, 95, 141, 148, 222, 224 ], [ 86, 89, 117, 149, 151, 189, 231 ], [ 87, 90, 106, 128, 150, 209, 234 ], [ 91, 98, 106, 151, 162, 186, 225 ], [ 65, 92, 107, 152, 171, 210, 234 ], [ 93, 108, 109, 149, 153, 196, 212 ], [ 92, 94, 119, 147, 154, 180, 228 ], [ 76, 95, 115, 155, 157, 195, 236 ], [ 96, 103, 112, 134, 156, 183, 215 ], [ 69, 97, 112, 157, 168, 191, 230 ], [ 78, 79, 98, 158, 176, 183, 216 ], [ 61, 99, 118, 155, 159, 202, 218 ], [ 97, 100, 107, 153, 160, 181, 233 ], [ 72, 98, 101, 161, 163, 201, 238 ], [ 99, 102, 116, 140, 162, 187, 221 ], [ 60, 103, 116, 163, 173, 197, 235 ], [ 62, 75, 104, 164, 178, 187, 222 ], [ 63, 105, 117, 161, 165, 208, 224 ], [ 78, 104, 106, 159, 166, 184, 237 ], [ 69, 88, 107, 167, 169, 190, 207 ], [ 66, 108, 114, 146, 168, 193, 227 ], [ 66, 81, 109, 169, 177, 185, 203 ], [ 68, 76, 110, 167, 170, 180, 214 ], [ 62, 109, 111, 165, 171, 188, 239 ], [ 60, 84, 112, 172, 174, 196, 213 ], [ 70, 110, 113, 152, 173, 199, 232 ], [ 64, 70, 114, 174, 179, 189, 209 ], [ 72, 73, 115, 172, 175, 181, 220 ], [ 61, 90, 116, 170, 176, 192, 194 ], [ 67, 77, 117, 158, 177, 182, 205 ], [ 63, 71, 118, 175, 178, 198, 200 ], [ 65, 82, 119, 164, 179, 186, 211 ] ], "Z": [ [ 0, 60, 72, 120, 163, 172 ], [ 1, 61, 78, 121, 159, 176 ], [ 2, 62, 65, 122, 164, 171 ], [ 3, 62, 63, 123, 165, 178 ], [ 4, 64, 84, 124, 126, 174 ], [ 5, 65, 70, 125, 152, 179 ], [ 6, 66, 69, 126, 168, 169 ], [ 7, 66, 67, 127, 146, 177 ], [ 8, 68, 90, 128, 130, 170 ], [ 9, 69, 76, 129, 157, 167 ], [ 10, 60, 70, 130, 173, 174 ], [ 11, 71, 75, 121, 131, 178 ], [ 12, 63, 72, 132, 161, 175 ], [ 13, 71, 73, 133, 136, 175 ], [ 14, 74, 96, 127, 134, 137 ], [ 15, 75, 82, 135, 138, 164 ], [ 16, 61, 76, 136, 155, 170 ], [ 17, 77, 81, 123, 137, 177 ], [ 18, 67, 78, 138, 158, 166 ], [ 19, 77, 79, 132, 139, 158 ], [ 20, 80, 102, 125, 140, 142 ], [ 21, 81, 88, 122, 141, 169 ], [ 22, 64, 82, 127, 142, 179 ], [ 23, 83, 87, 128, 136, 143 ], [ 24, 73, 84, 129, 144, 172 ], [ 25, 83, 85, 129, 145, 148 ], [ 26, 86, 108, 139, 146, 149 ], [ 27, 87, 94, 121, 147, 150 ], [ 28, 68, 88, 125, 148, 167 ], [ 29, 89, 93, 132, 133, 149 ], [ 30, 79, 90, 120, 150, 176 ], [ 31, 89, 91, 120, 144, 151 ], [ 32, 92, 113, 135, 152, 154 ], [ 33, 93, 100, 123, 131, 153 ], [ 34, 74, 94, 138, 139, 154 ], [ 35, 95, 99, 140, 148, 155 ], [ 36, 85, 96, 126, 141, 156 ], [ 37, 95, 97, 141, 157, 160 ], [ 38, 98, 117, 151, 158, 161 ], [ 39, 99, 106, 128, 159, 162 ], [ 40, 80, 100, 122, 135, 160 ], [ 41, 101, 105, 144, 145, 161 ], [ 42, 91, 102, 124, 130, 162 ], [ 43, 101, 103, 124, 156, 163 ], [ 44, 104, 119, 147, 164, 166 ], [ 45, 105, 111, 133, 143, 165 ], [ 46, 86, 106, 150, 151, 166 ], [ 47, 107, 110, 152, 160, 167 ], [ 48, 97, 108, 137, 153, 168 ], [ 49, 107, 109, 153, 169, 171 ], [ 50, 110, 116, 140, 170, 173 ], [ 51, 92, 111, 131, 147, 171 ], [ 52, 112, 115, 156, 157, 172 ], [ 53, 103, 113, 134, 142, 173 ], [ 54, 112, 114, 134, 168, 174 ], [ 55, 115, 118, 145, 155, 175 ], [ 56, 98, 116, 162, 163, 176 ], [ 57, 109, 117, 149, 165, 177 ], [ 58, 104, 118, 143, 159, 178 ], [ 59, 114, 119, 146, 154, 179 ], [ 0, 46, 94, 110, 180, 223, 232 ], [ 1, 51, 100, 115, 181, 219, 236 ], [ 2, 37, 85, 117, 182, 224, 231 ], [ 3, 48, 96, 98, 183, 225, 238 ], [ 4, 56, 65, 106, 184, 186, 234 ], [ 5, 35, 83, 109, 185, 212, 239 ], [ 6, 43, 91, 119, 186, 228, 229 ], [ 7, 53, 102, 104, 187, 206, 237 ], [ 8, 58, 69, 111, 188, 190, 230 ], [ 9, 41, 89, 114, 189, 217, 227 ], [ 10, 39, 87, 107, 190, 233, 234 ], [ 11, 49, 72, 97, 181, 191, 238 ], [ 12, 26, 74, 116, 192, 221, 235 ], [ 13, 57, 60, 108, 193, 196, 235 ], [ 10, 14, 75, 116, 187, 194, 197 ], [ 15, 47, 63, 95, 195, 198, 224 ], [ 16, 45, 93, 112, 196, 215, 230 ], [ 17, 54, 78, 103, 183, 197, 237 ], [ 18, 32, 80, 118, 198, 218, 226 ], [ 19, 59, 61, 113, 192, 199, 218 ], [ 16, 20, 81, 118, 185, 200, 202 ], [ 21, 52, 67, 101, 182, 201, 229 ], [ 22, 50, 62, 99, 187, 202, 239 ], [ 3, 23, 84, 109, 188, 196, 203 ], [ 24, 38, 70, 86, 189, 204, 232 ], [ 12, 25, 64, 117, 189, 205, 208 ], [ 22, 26, 70, 87, 199, 206, 209 ], [ 2, 27, 73, 107, 181, 207, 210 ], [ 28, 55, 66, 105, 185, 208, 227 ], [ 7, 29, 90, 114, 192, 193, 209 ], [ 30, 44, 76, 92, 180, 210, 236 ], [ 18, 31, 68, 119, 180, 204, 211 ], [ 28, 32, 76, 93, 195, 212, 214 ], [ 6, 33, 79, 112, 183, 191, 213 ], [ 5, 34, 71, 110, 198, 199, 214 ], [ 13, 35, 63, 96, 200, 208, 215 ], [ 0, 36, 82, 98, 186, 201, 216 ], [ 24, 37, 72, 74, 201, 217, 220 ], [ 34, 38, 82, 99, 211, 218, 221 ], [ 11, 39, 62, 85, 188, 219, 222 ], [ 9, 40, 77, 115, 182, 195, 220 ], [ 19, 41, 67, 102, 204, 205, 221 ], [ 1, 42, 88, 104, 184, 190, 222 ], [ 30, 43, 78, 80, 184, 216, 223 ], [ 40, 44, 88, 105, 207, 224, 226 ], [ 17, 45, 66, 91, 193, 203, 225 ], [ 15, 46, 65, 83, 210, 211, 226 ], [ 25, 47, 73, 108, 212, 220, 227 ], [ 4, 48, 60, 94, 197, 213, 228 ], [ 36, 49, 84, 86, 213, 229, 231 ], [ 23, 50, 71, 97, 200, 230, 233 ], [ 21, 51, 69, 89, 191, 207, 231 ], [ 31, 52, 79, 113, 216, 217, 232 ], [ 8, 53, 61, 100, 194, 202, 233 ], [ 42, 54, 90, 92, 194, 228, 234 ], [ 29, 55, 77, 103, 205, 215, 235 ], [ 27, 56, 75, 95, 222, 223, 236 ], [ 14, 57, 64, 106, 209, 225, 237 ], [ 33, 58, 81, 101, 203, 219, 238 ], [ 20, 59, 68, 111, 206, 214, 239 ] ] }, "distance": { "d": 13, "X": { "value": 13, "confidence": "upper_bound", "witness": [ 0, 10, 60, 184, 186, 188, 194, 196, 222, 223, 228, 230, 233 ], "witness_provenance": { "found_by": [ "@MathysRennela" ], "date": "2026-10-12", "found_at_samples": 4000, "survived_samples": 4000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 11 ] } }, "Z": { "value": 13, "confidence": "upper_bound", "witness": [ 52, 69, 72, 80, 84, 88, 91, 95, 98, 120, 157, 172, 216 ], "witness_provenance": { "found_by": [ "@MathysRennela" ], "date": "2026-10-12", "found_at_samples": 4000, "survived_samples": 4000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 12 ] } } }, "provenance": { "authors": [ "Rajpurohit, Rajendra Prasad", "Lalitha, V.", "Garani, Shayan Srinivasa", "@MathysRennela" ], "construction": "Coset lifted product (CLP) code of arXiv:2610.12782, Definition III.1, 1x1 over 2x2 layout: a protograph A over F_2[G] acting by the LEFT coset action of G on the cosets G/H, and a protograph B over F_2[N_G(H)] acting by the RIGHT coset action of the normaliser on the same cosets. G = SmallGroup(360,99), H = (non-normal, core free), m = [G:H], n = 4m = 240. Elements are named by the polycyclic generating sequence f_1,...,f_r of SmallGroup(360,99), as in the paper's Appendix A. CSS commutation is automatic (L(g) and R(n) commute for every g in G and n in N_G(H), so each block of H_X H_Z^T is L R + R L = 0 over F_2); no search for it is needed. n, k and the check weight 7 reproduce the paper's Table I exactly. Literature baseline seeded from the published parameters: this entry is a REPRODUCTION built from the paper's printed data, not a new construction and not a new parameter set. The paper certifies d = 13 by integer program; this entry carries witness-backed upper bounds from our own randomized GF(2) search, which is a weaker claim.", "references": [ "arXiv:2610.12782", "arXiv:2606.17268" ], "date": "2026-10-12", "notes": "Literature baseline: a reproduction of the published parameters in arXiv:2610.12782 (Table I), not a new construction and not a new parameter set. The group, subgroup and protographs are the paper's Appendix A data, rebuilt from GAP SmallGroup(l,i); n, k and the check weight reproduce the paper exactly. Reproduced by Space Bunny Alpha 1.0. The distance here is a witness-backed upper bound from our own randomized GF(2) search, a weaker claim than the paper's integer-program certification. See the accompanying note for the full reproduction recipe.", "origin": "baseline", "novelty": "known_parameters", "model": "Space Bunny Alpha 1.0" }, "family": "2bga-coset" }