{ "schema_version": "0.2", "name": "[[284,58,6]] reduction of [[336,58,6]]", "code_type": "CSS", "n": 284, "k": 58, "checks": { "X": [ [ 0, 2, 3, 7, 9, 16 ], [ 0, 1, 5, 10, 11, 22 ], [ 2, 4, 6, 12, 14, 24 ], [ 1, 4, 18, 20, 36 ], [ 7, 13, 15, 27, 29, 53 ], [ 3, 8, 31, 33, 59 ], [ 8, 10, 21, 38, 40, 71 ], [ 5, 23, 42, 44, 77 ], [ 12, 19, 46, 48, 82 ], [ 6, 13, 25, 50, 51, 89 ], [ 16, 28, 30, 56, 57, 101 ], [ 9, 17, 34, 63, 103 ], [ 18, 35, 64, 65, 113 ], [ 19, 66, 68 ], [ 22, 39, 41, 75, 130 ], [ 11, 45, 74, 81, 132 ], [ 24, 47, 49, 85, 87 ], [ 14, 26, 52, 86, 152 ], [ 27, 93, 95, 139 ], [ 15, 28, 54, 97, 99, 164 ], [ 17, 31, 58, 104, 106, 171 ], [ 32, 60, 108, 109, 174 ], [ 36, 116, 118 ], [ 20, 37, 69, 117, 122, 188 ], [ 32, 38, 70, 123, 125, 196 ], [ 21, 39, 72, 202 ], [ 42, 76, 133, 134, 211 ], [ 23, 43, 78, 136, 138, 216 ], [ 46, 67, 141, 143 ], [ 47, 83, 145, 147 ], [ 26, 50, 88, 153, 154 ], [ 25, 90, 155, 157, 234 ], [ 53, 94, 96, 149, 224 ], [ 29, 55, 100, 144, 163, 221 ], [ 56, 98, 138, 167, 228 ], [ 30, 102, 134, 168 ], [ 59, 105, 107, 135, 173, 214 ], [ 33, 61, 110, 140, 217 ], [ 34, 62, 175, 176, 244 ], [ 43, 64, 112, 158, 178, 180 ], [ 35, 114, 172, 183 ], [ 37, 66, 119, 190, 257 ], [ 67, 192, 194, 260 ], [ 71, 124, 126, 166, 195 ], [ 40, 73, 96, 128, 163, 201 ], [ 127, 129, 170, 194, 207 ], [ 41, 74, 131, 164, 190, 208 ], [ 77, 135, 191, 213, 259 ], [ 44, 79, 197, 214, 261 ], [ 45, 80, 139, 217, 269 ], [ 82, 110, 142, 144, 185, 251 ], [ 48, 84, 148, 181, 221, 247 ], [ 85, 109, 146, 149, 225, 255 ], [ 49, 86, 106, 150, 172, 226 ], [ 89, 107, 231 ], [ 51, 91, 111, 175, 232 ], [ 52, 92, 158, 235, 236, 268 ], [ 60, 93, 156, 160 ], [ 94, 161, 171, 237, 238 ], [ 55, 97, 119, 189, 239, 258 ], [ 54, 98, 223, 240, 267 ], [ 101, 122, 166, 197, 263 ], [ 57, 170, 188, 254 ], [ 103, 118, 169, 187, 236, 255 ], [ 62, 104, 212, 219, 266 ], [ 58, 105, 115, 242 ], [ 61, 99, 108, 165 ], [ 63, 111, 177, 218, 251 ], [ 113, 129, 179, 181, 206 ], [ 65, 115, 126, 184, 201, 247 ], [ 116, 157, 182, 185, 210, 252 ], [ 117, 154, 186, 202, 253 ], [ 189, 191, 232 ], [ 68, 120, 159, 195, 235, 259 ], [ 69, 121, 196, 261, 262 ], [ 78, 123, 137, 198 ], [ 70, 124, 199, 211, 264 ], [ 73, 88, 230 ], [ 72, 127, 203, 239, 265 ], [ 130, 159, 177, 206 ], [ 75, 152, 210, 227, 262 ], [ 87, 132, 151, 176, 209, 228 ], [ 80, 133, 160, 258, 279 ], [ 76, 84, 145, 212, 267 ], [ 79, 136, 161, 204, 215 ], [ 81, 140, 218, 224, 263 ], [ 90, 141, 156, 193, 219, 248 ], [ 142, 270, 271 ], [ 83, 146, 242, 250, 272 ], [ 92, 153, 229, 241, 245 ], [ 91, 147, 155, 222, 233, 246 ], [ 95, 162, 186, 220, 254, 270 ], [ 100, 173, 241, 252 ], [ 168, 233, 260, 274, 280 ], [ 102, 169, 180, 200 ], [ 174, 187, 215, 243, 253 ], [ 137, 178, 193, 203, 245 ], [ 112, 179, 246, 257, 276, 277 ], [ 114, 182, 205, 248, 278 ], [ 121, 198, 230, 256, 273 ], [ 120, 183, 192, 199, 249 ], [ 125, 150, 162, 200, 227, 237 ], [ 128, 205, 213, 225, 266, 268 ], [ 208, 234, 243, 274 ], [ 131, 143, 209, 220, 276 ], [ 151, 216, 226, 280 ], [ 148, 207, 223, 231, 269, 273 ], [ 165, 238, 240, 275, 282 ], [ 167, 184, 244, 250, 279 ], [ 204, 264, 265, 275, 281 ], [ 222, 229, 271, 272, 282, 283 ], [ 249, 256, 277, 278, 281, 283 ] ], "Z": [ [ 0, 1, 2, 4 ], [ 2, 6, 7, 13 ], [ 0, 3, 8, 10 ], [ 7, 15, 16, 28 ], [ 3, 9, 17, 31 ], [ 10, 21, 22, 39 ], [ 6, 14, 26, 50 ], [ 9, 16, 30, 102, 103, 169 ], [ 18, 35, 36, 114, 116, 182 ], [ 4, 12, 19, 20, 37, 66 ], [ 11, 22, 41, 74 ], [ 1, 5, 18, 23, 43, 64 ], [ 19, 46, 67, 68, 120, 192 ], [ 14, 24, 49, 86 ], [ 27, 53, 94, 95, 162, 237 ], [ 15, 29, 55, 97 ], [ 28, 54, 56, 98 ], [ 31, 58, 59, 105 ], [ 8, 32, 33, 38, 61, 108 ], [ 17, 34, 62, 104 ], [ 38, 70, 71, 124 ], [ 21, 40, 73, 88, 154, 202 ], [ 23, 44, 79, 136 ], [ 5, 11, 42, 45, 80, 133 ], [ 46, 82, 142, 143, 220, 270 ], [ 12, 24, 47, 48, 84, 145 ], [ 47, 83, 85, 146 ], [ 25, 51, 91, 155 ], [ 26, 52, 92, 153 ], [ 13, 25, 27, 90, 93, 156 ], [ 29, 53, 96, 163 ], [ 32, 60, 123, 137, 156, 193 ], [ 34, 63, 111, 175 ], [ 64, 112, 113, 179 ], [ 35, 58, 65, 106, 115, 172 ], [ 66, 68, 119, 189, 191, 259 ], [ 37, 69, 121, 256, 257, 277 ], [ 40, 71, 126, 201 ], [ 39, 72, 127, 129, 130, 206 ], [ 41, 75, 157, 208, 210, 234 ], [ 74, 131, 132, 209 ], [ 44, 77, 135, 214 ], [ 43, 78, 137, 178 ], [ 45, 81, 140, 217 ], [ 67, 127, 141, 193, 194, 203 ], [ 48, 82, 144, 221 ], [ 81, 85, 87, 132, 149, 224 ], [ 49, 87, 151, 226 ], [ 86, 150, 152, 227 ], [ 51, 89, 107, 135, 191, 232 ], [ 80, 93, 139, 160 ], [ 97, 119, 164, 190 ], [ 54, 99, 165, 240 ], [ 55, 100, 203, 239, 241, 245 ], [ 57, 101, 122, 188 ], [ 105, 173, 229, 241, 242, 272 ], [ 60, 109, 146, 160, 250, 279 ], [ 65, 113, 181, 247 ], [ 63, 103, 116, 118, 185, 251 ], [ 20, 36, 117, 118, 187, 253 ], [ 117, 186, 188, 254 ], [ 69, 122, 197, 261 ], [ 121, 123, 196, 198 ], [ 120, 124, 195, 199 ], [ 52, 75, 130, 152, 159, 235 ], [ 133, 211, 239, 258, 264, 265 ], [ 42, 76, 77, 212, 213, 266 ], [ 83, 147, 222, 272 ], [ 84, 148, 223, 267 ], [ 50, 88, 89, 230, 231, 273 ], [ 155, 233, 234, 274 ], [ 90, 157, 182, 248 ], [ 91, 111, 177, 179, 206, 246 ], [ 92, 158, 178, 245 ], [ 79, 94, 161, 197, 224, 263 ], [ 96, 128, 149, 225 ], [ 163, 201, 221, 247 ], [ 99, 108, 164, 174, 208, 243 ], [ 100, 144, 185, 252 ], [ 138, 151, 216, 228 ], [ 56, 101, 126, 166, 167, 184 ], [ 76, 134, 145, 147, 168, 233 ], [ 70, 102, 125, 134, 200, 211 ], [ 30, 57, 168, 170, 194, 260 ], [ 158, 169, 180, 236 ], [ 106, 150, 171, 237 ], [ 173, 210, 214, 252, 261, 262 ], [ 33, 59, 107, 217, 231, 269 ], [ 109, 174, 187, 255 ], [ 110, 140, 218, 251 ], [ 175, 189, 232, 244, 258, 279 ], [ 62, 141, 143, 176, 209, 219 ], [ 112, 162, 180, 200, 220, 276 ], [ 114, 183, 249, 278 ], [ 115, 184, 242, 250 ], [ 125, 196, 227, 262 ], [ 72, 202, 204, 215, 253, 265 ], [ 129, 148, 181, 207 ], [ 131, 190, 257, 276 ], [ 213, 235, 259, 268 ], [ 172, 183, 192, 226, 260, 280 ], [ 153, 154, 186, 229, 270, 271 ], [ 161, 204, 238, 275 ], [ 104, 171, 212, 238, 240, 267 ], [ 78, 98, 138, 198, 223, 273 ], [ 61, 110, 142, 165, 271, 282 ], [ 167, 176, 228, 244 ], [ 159, 166, 177, 195, 218, 263 ], [ 95, 139, 170, 207, 254, 269 ], [ 225, 236, 255, 268 ], [ 205, 219, 248, 266 ], [ 136, 215, 216, 243, 274, 280 ], [ 199, 249, 264, 281 ], [ 73, 128, 205, 230, 256, 278 ], [ 222, 246, 277, 283 ], [ 275, 281, 282, 283 ] ] }, "distance": { "d": 6, "X": { "value": 6, "confidence": "upper_bound", "witness": [ 81, 128, 149, 217, 230, 231 ], "witness_provenance": { "found_by": [ "@dorakingx" ], "date": "2026-09-20", "found_at_samples": 20000, "survived_samples": 20000000, "tool": "gf2_fast RIS ladder (verify/gf2_fast.cpp), both sides searched jointly", "seeds": [ 777001, 777138, 777275, 777412, 777549 ] } }, "Z": { "value": 6, "confidence": "upper_bound", "witness": [ 62, 90, 91, 155, 175, 219 ], "witness_provenance": { "found_by": [ "@dorakingx" ], "date": "2026-09-20", "found_at_samples": 4000, "survived_samples": 20000000, "tool": "gf2_fast RIS in the packaging search; the ladder searched both sides jointly", "seeds": [ 7, 777001, 777138, 777275, 777412, 777549 ] } } }, "provenance": { "authors": [ "@dorakingx" ], "construction": "Reduction of the board's codes/336-58-6.json ([[336,58,6]]) by 52 qubits at unchanged k, unchanged check-weight class and unchanged locality class, by one move applied to a fixpoint: graft a qubit away using a low-weight element of the stabilizer ROW SPACE. Let S be an element of the row space of H_X with support T and let a be in T. Replace one generator of the subset summing to S by S itself -- the span is unchanged, that generator being S plus the rest of the subset -- and add S into every other X row meeting a, so that a survives only in S. Then apply the CNOT fan-out from a to T\\{a}, which acts on the check matrices as H_X[:, b] ^= H_X[:, a] and H_Z[:, a] ^= H_Z[:, b] for each b in T\\{a}. Only S still meets a, so the first substitution turns S into the weight-1 stabilizer X_a and leaves every other X row alone; the second zeroes column a of H_Z, because commutation forces every Z row to meet T an even number of times. Qubit a is then disentangled and is deleted: n -> n-1, k unchanged, and the Z rows only LOSE an index, so their weights and support diameters cannot rise. The weight of S separates three regimes, and the difference is entirely in the clearing step R ^= S. |S| = 1: nothing is added anywhere, so the weights, the radius AND THE DISTANCE are all preserved exactly, and no distance search is needed -- this is the row-space form of the weight-1 stabilizer cleanup of Liang, Eberhardt and Chen (arXiv:2504.08887 Sec. III D step 4), which the implementation in research/local2d/boundary_engine.py applies only to literal weight-1 generator ROWS. |S| = 2: R loses a and toggles one other index, so its weight changes by 0 or -2 and can never rise. |S| >= 3: R can grow, so every touched row is checked against the code's weight class and its locality radius, measured in the source's own layout. This generalises the capped merge-graft I introduced with [[454,8,17]], which only ever built S from the generators a single qubit happens to lie in. Here the accepted grafts were |S| = 4: 4. Low-weight row-space elements are enumerated as sums of at most three checks with a connected overlap pattern. Every graft with |S| >= 2 was accepted only if k was unchanged and a bit-packed RIS search found nothing lighter than 6, screened once and confirmed twice with independent seeds; those in-loop rungs are a filter, not the evidence. QUBIT POSITIONS ARE THE SOURCE'S: every surviving qubit keeps the coordinate it has in codes/336-58-6.json, so the layout is inherited rather than re-derived, and the reduction only deletes. The surviving qubits' indices into the source numbering are [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13]... (full list implied by the coordinates in this file).", "references": [ "arXiv:2504.08887" ], "date": "2026-09-20", "notes": "Derived from codes/336-58-6.json, not an independent construction; the source's authors are @msilve160 and the reduction is mine. The gate reports no exact duplicate and no WL-equivalent entry. It dominates [[336,58,6]] on (n, k, d, w), which therefore leaves the frontier of every cell the two share. Distance is a witness-backed upper bound: the deepest null result is 20000000 fresh-seed RIS trials. Literature novelty is unverified.", "model": "Claude Opus 5 (Claude Code)", "origin": "submission", "novelty": "unknown" }, "family": "topological" }