[[248,126,2]] · QEC Challenge

← back to the board

[[248,126,2]] d =

248

126

kd²/n

2.032

X/Z

Share this result

Distance

X/Z asymmetry 1 · d_X = 2, d_Z = 2 · w_X = 8, w_Z = 8 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)

d_X 2 · witness weight 2 (claimed upper_bound)

witness found by @mathysrennela · research/kit/surrogate.lightest_logical · found at 2000 trials · survived 2000 trials · 2026-10-12

witness operator (support, 2 qubits)

[98, 103]

d_Z 2 · witness weight 2 (claimed upper_bound)

witness found by @mathysrennela · research/kit/surrogate.lightest_logical · found at 2000 trials · survived 2000 trials · 2026-10-12

witness operator (support, 2 qubits)

[1, 5]

certificate exact, d = 2 · CryptoMiniSat 5.14.7 SAT

X: no logical < 2 exists; Z: no logical < 2 exists

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking

girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)

check weights H_X 8 · H_Z 8

qubit degrees H_X 4 · H_Z 4

trapping sets H_X (1,4)×248 (2,0)×124 (3,4)×10416 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_X

(1,4): 248 (2,0): 124 (2,4): 1488 (3,4): 10416 (3,8): 1984

trapping sets H_Z (1,4)×248 (2,0)×124 (3,4)×10416 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_Z

(1,4): 248 (2,0): 124 (2,4): 1488 (3,4): 10416 (3,8): 1984

Construction & provenance

authors Lee, Gideon

provenance literature baseline

construction Two-block group-algebra code C(a,b) over C124 = SmallGroup(124, 2) (order 124), elements numbered as in GAP Elements(SmallGroup(order,id)) with element 0 the identity. n = 2|G| = 248; H_X = [L(a)|R(b)], H_Z = [R(b)^T|L(a)^T]; a = {0, 3, 18, 23}, b = {0, 3, 12, 17} as element indices. Check weight 8. Parameters and blocks taken from the public code database of arXiv:2610.13880v1 (Lee, 'Bicycle Race'), github.com/gideonlsx/bicycle-race.

model Mimo-V2.6-Flash (claimed, not verified)

reference arXiv:2610.13880

date 2026-10-12

notes Parameters and construction taken from the public database of arXiv:2610.13880v1. Distance is an upper bound certified by the witnesses attached here. Parameters and blocks taken from the public code database of arXiv:2610.13880v1 (Lee, 'Bicycle Race'), github.com/gideonlsx/bicycle-race @ aed705a, CC BY 4.0; rebuilt here with the repo's own group data. Distance is an upper bound certified by the attached witnesses, not the paper's exact distance.

family generalized bicycle (a tag, not a ranking)

locality unrestricted (computed from the layout)

weight class weight ≤ 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[248,126,2]] — two-block group-algebra code over C124

Direction & hypothesis

Cell weight-8 x unrestricted, CSS board. The argument is coverage, not discovery: this code is published in arXiv:2610.13880v1 (Lee, "Bicycle Race"), and nothing on the board occupied this (n, k, d, w) point. It advances the four-axis Pareto frontier by moving into a cell that was empty at these parameters.

What was searched

Not a search for new codes. The arXiv:2610.13880v1 database (github.com/gideonlsx/bicycle-race @ aed705a, CC BY 4.0, 12,448 records) was rebuilt here from its group and block data, then screened against every CSS entry on main under the site's Pareto rule (n <=, k >=, d >=, w <= with at least one strict) within the same weight class. Records whose parameters the paper already tabulates, and candidates claimed by other open filings, were removed first. Distances were re-searched locally:

X side: research/kit/surrogate.lightest_logical at 2,000 trials
Z side: research/kit/surrogate.lightest_logical at 2,000 trials

Evidence trail

Witness-backed upper bound, not an exact distance. The attached X and Z operators were found by the searches above and re-checked by the verifier's own criteria (in ker(opposite) and outside rowspace(own)). verify/validate_candidate.py reports passed: true and board_advancing: true, with d_only_gain: false.

The paper states an exact distance for this record, verified there with a second exact engine plus GAP rebuild and independent upper-bound attacks. That exactness is not claimed here; the board records what the witness certifies.

Dead ends

Direct sums of two board codes: rejected, CONTRIBUTING.md requires a single

connected Tanner graph and a connected stabilizer group.

Fitting a single-layer 2D layout to reach the local-2d cells: searched with

research/local2d/fold_layout.search_layout, best radii 10–13 against a ceiling of 4.0, so these codes stay unrestricted.

Hypergraph products of two parents from this pool: connectivity passes, but n

multiplies (two ~250-qubit parents give n = 80,010).

Tools

Model: Mimo-V2.6-Flash (self-reported, provenance.model), driving OpenCode. Rebuild: research/kit/group_algebra.build_2bga from the database's data/groups.jsonl Cayley table. Witness search: research/kit/surrogate (numpy backend, 2,000 trials/side screening) with the gf2_fast accelerator for longer runs. Gate: research/kit/coordination.py gate, which runs verify/validate_candidate.py unchanged. Search run by @mathysrennela.

Reproduction

from group_algebra import build_2bga
# a and b are element indices from github.com/gideonlsx/bicycle-race @ aed705a data/codes.jsonl
HX, HZ = build_2bga(mul, a, b)   # mul from data/groups.jsonl, n = 2|G| = 248

Parameters are also spelled out in provenance.construction of codes/248-126-2.json.

Parity checks

X-checks 124 (max weight 8) · Z-checks 124 (max weight 8)

H_X (124 checks, sparse supports)

[0, 3, 102, 107, 124, 127, 236, 241] [1, 5, 104, 109, 125, 129, 234, 239] [2, 7, 106, 111, 126, 131, 240, 245] [0, 3, 102, 107, 124, 127, 236, 241] [4, 9, 108, 113, 128, 133, 238, 243] [1, 5, 104, 109, 125, 129, 234, 239] [6, 11, 110, 115, 130, 135, 244, 247] [2, 7, 106, 111, 126, 131, 240, 245] [8, 13, 112, 117, 132, 137, 242, 246] [4, 9, 108, 113, 128, 133, 238, 243] [10, 15, 114, 119, 125, 129, 134, 139] [6, 11, 110, 115, 130, 135, 244, 247] [12, 17, 116, 121, 124, 127, 136, 141] [8, 13, 112, 117, 132, 137, 242, 246] [14, 19, 118, 122, 128, 133, 138, 143] [10, 15, 114, 119, 125, 129, 134, 139] [16, 21, 120, 123, 126, 131, 140, 145] [12, 17, 116, 121, 124, 127, 136, 141] [0, 3, 18, 23, 132, 137, 142, 147] [14, 19, 118, 122, 128, 133, 138, 143] [1, 5, 20, 25, 130, 135, 144, 149] [16, 21, 120, 123, 126, 131, 140, 145] [2, 7, 22, 27, 136, 141, 146, 151] [0, 3, 18, 23, 132, 137, 142, 147] [4, 9, 24, 29, 134, 139, 148, 153] [1, 5, 20, 25, 130, 135, 144, 149] [6, 11, 26, 31, 140, 145, 150, 155] [2, 7, 22, 27, 136, 141, 146, 151] [8, 13, 28, 33, 138, 143, 152, 157] [4, 9, 24, 29, 134, 139, 148, 153] [10, 15, 30, 35, 144, 149, 154, 159] [6, 11, 26, 31, 140, 145, 150, 155] [12, 17, 32, 37, 142, 147, 156, 161] [8, 13, 28, 33, 138, 143, 152, 157] [14, 19, 34, 39, 148, 153, 158, 163] [10, 15, 30, 35, 144, 149, 154, 159] [16, 21, 36, 41, 146, 151, 160, 165] [12, 17, 32, 37, 142, 147, 156, 161] [18, 23, 38, 43, 152, 157, 162, 167] [14, 19, 34, 39, 148, 153, 158, 163] [20, 25, 40, 45, 150, 155, 164, 169] [16, 21, 36, 41, 146, 151, 160, 165] [22, 27, 42, 47, 156, 161, 166, 171] [18, 23, 38, 43, 152, 157, 162, 167] [24, 29, 44, 49, 154, 159, 168, 173] [20, 25, 40, 45, 150, 155, 164, 169] [26, 31, 46, 51, 160, 165, 170, 175] [22, 27, 42, 47, 156, 161, 166, 171] [28, 33, 48, 53, 158, 163, 172, 177] [24, 29, 44, 49, 154, 159, 168, 173] [30, 35, 50, 55, 164, 169, 174, 179] [26, 31, 46, 51, 160, 165, 170, 175] [32, 37, 52, 57, 162, 167, 176, 181] [28, 33, 48, 53, 158, 163, 172, 177] [34, 39, 54, 59, 168, 173, 178, 183] [30, 35, 50, 55, 164, 169, 174, 179] [36, 41, 56, 61, 166, 171, 180, 185] [32, 37, 52, 57, 162, 167, 176, 181] [38, 43, 58, 63, 172, 177, 182, 187] [34, 39, 54, 59, 168, 173, 178, 183] [40, 45, 60, 65, 170, 175, 184, 189] [36, 41, 56, 61, 166, 171, 180, 185] [42, 47, 62, 67, 176, 181, 186, 191] [38, 43, 58, 63, 172, 177, 182, 187] [44, 49, 64, 69, 174, 179, 188, 193] [40, 45, 60, 65, 170, 175, 184, 189] [46, 51, 66, 71, 180, 185, 190, 195] [42, 47, 62, 67, 176, 181, 186, 191] [48, 53, 68, 73, 178, 183, 192, 197] [44, 49, 64, 69, 174, 179, 188, 193] [50, 55, 70, 75, 184, 189, 194, 199] [46, 51, 66, 71, 180, 185, 190, 195] [52, 57, 72, 77, 182, 187, 196, 201] [48, 53, 68, 73, 178, 183, 192, 197] [54, 59, 74, 79, 188, 193, 198, 203] [50, 55, 70, 75, 184, 189, 194, 199] [56, 61, 76, 81, 186, 191, 200, 205] [52, 57, 72, 77, 182, 187, 196, 201] [58, 63, 78, 83, 192, 197, 202, 207] [54, 59, 74, 79, 188, 193, 198, 203] [60, 65, 80, 85, 190, 195, 204, 209] [56, 61, 76, 81, 186, 191, 200, 205] [62, 67, 82, 87, 196, 201, 206, 211] [58, 63, 78, 83, 192, 197, 202, 207] [64, 69, 84, 89, 194, 199, 208, 213] [60, 65, 80, 85, 190, 195, 204, 209] [66, 71, 86, 91, 200, 205, 210, 215] [62, 67, 82, 87, 196, 201, 206, 211] [68, 73, 88, 93, 198, 203, 212, 217] [64, 69, 84, 89, 194, 199, 208, 213] [70, 75, 90, 95, 204, 209, 214, 219] [66, 71, 86, 91, 200, 205, 210, 215] [72, 77, 92, 97, 202, 207, 216, 221] [68, 73, 88, 93, 198, 203, 212, 217] [74, 79, 94, 99, 208, 213, 218, 223] [70, 75, 90, 95, 204, 209, 214, 219] [76, 81, 96, 101, 206, 211, 220, 225] [72, 77, 92, 97, 202, 207, 216, 221] [78, 83, 98, 103, 212, 217, 222, 227] [74, 79, 94, 99, 208, 213, 218, 223] [80, 85, 100, 105, 210, 215, 224, 229] [76, 81, 96, 101, 206, 211, 220, 225] [82, 87, 102, 107, 216, 221, 226, 231] [78, 83, 98, 103, 212, 217, 222, 227] [84, 89, 104, 109, 214, 219, 228, 233] [80, 85, 100, 105, 210, 215, 224, 229] [86, 91, 106, 111, 220, 225, 230, 235] [82, 87, 102, 107, 216, 221, 226, 231] [88, 93, 108, 113, 218, 223, 232, 237] [84, 89, 104, 109, 214, 219, 228, 233] [90, 95, 110, 115, 224, 229, 234, 239] [86, 91, 106, 111, 220, 225, 230, 235] [92, 97, 112, 117, 222, 227, 236, 241] [88, 93, 108, 113, 218, 223, 232, 237] [94, 99, 114, 119, 228, 233, 238, 243] [90, 95, 110, 115, 224, 229, 234, 239] [96, 101, 116, 121, 226, 231, 240, 245] [92, 97, 112, 117, 222, 227, 236, 241] [98, 103, 118, 122, 232, 237, 242, 246] [94, 99, 114, 119, 228, 233, 238, 243] [100, 105, 120, 123, 230, 235, 244, 247] [96, 101, 116, 121, 226, 231, 240, 245] [98, 103, 118, 122, 232, 237, 242, 246] [100, 105, 120, 123, 230, 235, 244, 247]

H_Z (124 checks, sparse supports)

[0, 3, 12, 17, 124, 127, 142, 147] [1, 5, 10, 15, 125, 129, 144, 149] [2, 7, 16, 21, 126, 131, 146, 151] [0, 3, 12, 17, 124, 127, 142, 147] [4, 9, 14, 19, 128, 133, 148, 153] [1, 5, 10, 15, 125, 129, 144, 149] [6, 11, 20, 25, 130, 135, 150, 155] [2, 7, 16, 21, 126, 131, 146, 151] [8, 13, 18, 23, 132, 137, 152, 157] [4, 9, 14, 19, 128, 133, 148, 153] [10, 15, 24, 29, 134, 139, 154, 159] [6, 11, 20, 25, 130, 135, 150, 155] [12, 17, 22, 27, 136, 141, 156, 161] [8, 13, 18, 23, 132, 137, 152, 157] [14, 19, 28, 33, 138, 143, 158, 163] [10, 15, 24, 29, 134, 139, 154, 159] [16, 21, 26, 31, 140, 145, 160, 165] [12, 17, 22, 27, 136, 141, 156, 161] [18, 23, 32, 37, 142, 147, 162, 167] [14, 19, 28, 33, 138, 143, 158, 163] [20, 25, 30, 35, 144, 149, 164, 169] [16, 21, 26, 31, 140, 145, 160, 165] [22, 27, 36, 41, 146, 151, 166, 171] [18, 23, 32, 37, 142, 147, 162, 167] [24, 29, 34, 39, 148, 153, 168, 173] [20, 25, 30, 35, 144, 149, 164, 169] [26, 31, 40, 45, 150, 155, 170, 175] [22, 27, 36, 41, 146, 151, 166, 171] [28, 33, 38, 43, 152, 157, 172, 177] [24, 29, 34, 39, 148, 153, 168, 173] [30, 35, 44, 49, 154, 159, 174, 179] [26, 31, 40, 45, 150, 155, 170, 175] [32, 37, 42, 47, 156, 161, 176, 181] [28, 33, 38, 43, 152, 157, 172, 177] [34, 39, 48, 53, 158, 163, 178, 183] [30, 35, 44, 49, 154, 159, 174, 179] [36, 41, 46, 51, 160, 165, 180, 185] [32, 37, 42, 47, 156, 161, 176, 181] [38, 43, 52, 57, 162, 167, 182, 187] [34, 39, 48, 53, 158, 163, 178, 183] [40, 45, 50, 55, 164, 169, 184, 189] [36, 41, 46, 51, 160, 165, 180, 185] [42, 47, 56, 61, 166, 171, 186, 191] [38, 43, 52, 57, 162, 167, 182, 187] [44, 49, 54, 59, 168, 173, 188, 193] [40, 45, 50, 55, 164, 169, 184, 189] [46, 51, 60, 65, 170, 175, 190, 195] [42, 47, 56, 61, 166, 171, 186, 191] [48, 53, 58, 63, 172, 177, 192, 197] [44, 49, 54, 59, 168, 173, 188, 193] [50, 55, 64, 69, 174, 179, 194, 199] [46, 51, 60, 65, 170, 175, 190, 195] [52, 57, 62, 67, 176, 181, 196, 201] [48, 53, 58, 63, 172, 177, 192, 197] [54, 59, 68, 73, 178, 183, 198, 203] [50, 55, 64, 69, 174, 179, 194, 199] [56, 61, 66, 71, 180, 185, 200, 205] [52, 57, 62, 67, 176, 181, 196, 201] [58, 63, 72, 77, 182, 187, 202, 207] [54, 59, 68, 73, 178, 183, 198, 203] [60, 65, 70, 75, 184, 189, 204, 209] [56, 61, 66, 71, 180, 185, 200, 205] [62, 67, 76, 81, 186, 191, 206, 211] [58, 63, 72, 77, 182, 187, 202, 207] [64, 69, 74, 79, 188, 193, 208, 213] [60, 65, 70, 75, 184, 189, 204, 209] [66, 71, 80, 85, 190, 195, 210, 215] [62, 67, 76, 81, 186, 191, 206, 211] [68, 73, 78, 83, 192, 197, 212, 217] [64, 69, 74, 79, 188, 193, 208, 213] [70, 75, 84, 89, 194, 199, 214, 219] [66, 71, 80, 85, 190, 195, 210, 215] [72, 77, 82, 87, 196, 201, 216, 221] [68, 73, 78, 83, 192, 197, 212, 217] [74, 79, 88, 93, 198, 203, 218, 223] [70, 75, 84, 89, 194, 199, 214, 219] [76, 81, 86, 91, 200, 205, 220, 225] [72, 77, 82, 87, 196, 201, 216, 221] [78, 83, 92, 97, 202, 207, 222, 227] [74, 79, 88, 93, 198, 203, 218, 223] [80, 85, 90, 95, 204, 209, 224, 229] [76, 81, 86, 91, 200, 205, 220, 225] [82, 87, 96, 101, 206, 211, 226, 231] [78, 83, 92, 97, 202, 207, 222, 227] [84, 89, 94, 99, 208, 213, 228, 233] [80, 85, 90, 95, 204, 209, 224, 229] [86, 91, 100, 105, 210, 215, 230, 235] [82, 87, 96, 101, 206, 211, 226, 231] [88, 93, 98, 103, 212, 217, 232, 237] [84, 89, 94, 99, 208, 213, 228, 233] [90, 95, 104, 109, 214, 219, 234, 239] [86, 91, 100, 105, 210, 215, 230, 235] [92, 97, 102, 107, 216, 221, 236, 241] [88, 93, 98, 103, 212, 217, 232, 237] [94, 99, 108, 113, 218, 223, 238, 243] [90, 95, 104, 109, 214, 219, 234, 239] [96, 101, 106, 111, 220, 225, 240, 245] [92, 97, 102, 107, 216, 221, 236, 241] [98, 103, 112, 117, 222, 227, 242, 246] [94, 99, 108, 113, 218, 223, 238, 243] [100, 105, 110, 115, 224, 229, 244, 247] [96, 101, 106, 111, 220, 225, 240, 245] [102, 107, 116, 121, 124, 127, 226, 231] [98, 103, 112, 117, 222, 227, 242, 246] [104, 109, 114, 119, 125, 129, 228, 233] [100, 105, 110, 115, 224, 229, 244, 247] [106, 111, 120, 123, 126, 131, 230, 235] [102, 107, 116, 121, 124, 127, 226, 231] [108, 113, 118, 122, 128, 133, 232, 237] [104, 109, 114, 119, 125, 129, 228, 233] [1, 5, 110, 115, 130, 135, 234, 239] [106, 111, 120, 123, 126, 131, 230, 235] [0, 3, 112, 117, 132, 137, 236, 241] [108, 113, 118, 122, 128, 133, 232, 237] [4, 9, 114, 119, 134, 139, 238, 243] [1, 5, 110, 115, 130, 135, 234, 239] [2, 7, 116, 121, 136, 141, 240, 245] [0, 3, 112, 117, 132, 137, 236, 241] [8, 13, 118, 122, 138, 143, 242, 246] [4, 9, 114, 119, 134, 139, 238, 243] [6, 11, 120, 123, 140, 145, 244, 247] [2, 7, 116, 121, 136, 141, 240, 245] [8, 13, 118, 122, 138, 143, 242, 246] [6, 11, 120, 123, 140, 145, 244, 247]

Code ID 248-126-2 · download JSON · raw on GitHub