{"id":"252.46.3.a","row":897,"stored":{"file":"master_catalog.json","row":897,"construction":null,"columns_sha256":null},"parameters":{"n":252,"k":46,"d":3,"N":59,"r":13,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25+26+27+28+29+30+31+32+33+34+35+36+37+38+39+40+41+42+43+44+45","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16\u00b7T17\u00b7T18\u00b7T19\u00b7T20\u00b7T21\u00b7T22\u00b7T23\u00b7T24\u00b7T25\u00b7T26\u00b7T27\u00b7T28\u00b7T29\u00b7T30\u00b7T31\u00b7T32\u00b7T33\u00b7T34\u00b7T35\u00b7T36\u00b7T37\u00b7T38\u00b7T39\u00b7T40\u00b7T41\u00b7T42\u00b7T43\u00b7T44\u00b7T45","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45]],"sk_fingerprint":"b477c3509325edc9","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,16,20,46,48],[0,16,47],[0,16,47,48],[0,20,46,47],[0,20,46,47,48],[0,48],[1,16,18,20,47,48,51,52],[1,16,18,22,46,47,50,51],[1,16,20,22,47,49,51],[1,16,46,47,48,49,50,51,52],[1,18,20,46,49,50],[1,18,22,48,49,52],[1,20,22,46,48,50,52],[2,16,20,21,22,46,48,49,50,51],[2,16,20,22,46,47,51,52],[2,16,21,46,50,51],[2,16,46,47,48,49,51,52],[2,20,21,22,47,50,52],[2,20,22,48,49],[2,21,47,48,49,50,52],[3,16,18,20,21,46,48,49,51,52],[3,16,18,20,21,46,49,51],[3,16,18,22,47,48,49,50,51],[3,16,18,22,47,49,50,51,52],[3,20,21,22,46,47,48,50],[3,20,21,22,46,47,50,52],[3,48,52],[4,16,20,21,47,49,50,51],[4,16,20,22,46,47,48,49,52],[4,16,21,46,51,52],[4,16,22,48,50],[4,20,21,22,47,48,49,51],[4,20,46,47,49,50,52],[4,21,22,46,48,50,51,52],[5,16,18,20,21,46,48,51],[5,16,18,22,47,50],[5,16,20,22,47,48,49,52],[5,16,21,46,49,50,51,52],[5,18,20,48,49,50,52],[5,18,21,22,46,47,49,51,52],[5,20,21,22,46,47,48,50,51],[6,16,20,21,46,47,48,51],[6,16,20,21,46,47,49,50,51],[6,16,20,21,47,48,50,51,52],[6,16,20,21,47,49,51,52],[6,46,48,49,52],[6,46,50,52],[6,48,49,50],[7,16,18,20,21,22,46,47,48,49,50,52],[7,16,18,20,22,46,48,49,50],[7,16,20,21,46,47,49],[7,16,20,46,49,52],[7,18,21,22,47,48,50],[7,18,22,48,50,52],[7,21,47,52],[8,16,17,20,21,22,47,48,50,52],[8,16,17,20,46,47,49,51],[8,16,17,21,46,47,48,49],[8,16,17,22,47,50,51,52],[8,20,21,48,51],[8,20,22,46,49,50,52],[8,21,22,46,48,49,50,51,52],[9,16,19,20,21,22,46,47,49,50],[9,16,19,20,46,47,48,50,51,52],[9,16,20,21,47,49,50,52],[9,16,20,22,47,48,50,51],[9,19,21,46,48,49,51],[9,19,22,46,52],[9,21,22,48,49,51,52],[10,16,17,20,21,22,47,51],[10,16,17,22,47,48,49],[10,16,20,21,22,46,49,51,52],[10,16,22,46,48,52],[10,17,20,21,46,47,48,51,52],[10,17,46,47,49,52],[10,20,21,48,49,51],[11,16,19,20,21,22,46,47,48,49,50],[11,16,19,20,46,47,49,50,51,52],[11,16,21,22,47,49],[11,16,47,48,49,51,52],[11,19,20,21,22,46,50,51,52],[11,19,20,46,48,50],[11,21,22,48,51,52],[12,17,19,20,46,47,50,51,52],[12,17,19,21,46,47,48,52],[12,17,20,22,47,48,49,50,51,52],[12,17,21,22,47,49,52],[12,19,20,21,22,46,49,50,51],[12,19,22,46,48,49],[12,20,21,48,50,51],[13,16,18,21,22,48,49,50,51,52],[13,16,18,21,46,47,48,49,50,51],[13,16,18,22,47,48,49,50],[13,16,18,46,48,49,50,52],[13,21,22,46,51],[13,21,47,51,52],[13,22,46,47,52],[14,16,17,19,20,22,46,47,48,49,51],[14,16,17,19,21,22,46,47,50],[14,16,19,20,22,46,49],[14,16,19,21,22,46,48,50,51],[14,17,20,21,47,49,50],[14,17,47,48,51],[14,20,21,48,49,50,51],[15,20,21,22,47,48,52],[15,20,21,46,48,51,52],[15,20,22,46,50],[15,20,47,50,51],[15,21,22,48,50,51,52],[15,21,46,47,48,50,52],[15,22,46,47,51],[16,17,19,49,52],[16,17,19,52],[16,17,21,49,51],[16,17,21,50,51],[16,18,22,49,50,51,52],[16,18,22,49,50,52],[16,20,21,50,52],[16,20,22,49,51,52],[16,21,22,50,51,52],[16,49,50],[16,51,52],[17,50],[18,51],[19,49],[20,21,22,49,50,51],[0,16,20,46,54],[23,39,53],[23,39,53,54],[0,16,20,39,46,53],[0,16,20,39,46,53,54],[23,54],[24,39,41,43,53,54,57,58],[0,16,20,23,24,41,43,45,46,53,56,57],[24,39,43,45,53,55,57],[0,16,20,23,24,43,46,53,54,55,56,57,58],[0,16,20,23,24,39,41,46,55,56],[24,41,45,54,55,58],[0,16,20,23,24,39,45,46,54,56,58],[0,16,20,23,25,44,45,46,54,55,56,57],[0,16,20,23,25,45,46,53,57,58],[0,16,20,23,25,43,44,46,56,57],[0,16,20,23,25,43,46,53,54,55,57,58],[25,43,44,45,53,56,58],[25,43,45,54,55],[25,44,53,54,55,56,58],[0,16,20,23,26,41,44,46,54,55,57,58],[0,16,20,23,26,41,44,46,55,57],[26,39,41,45,53,54,55,56,57],[26,39,41,45,53,55,56,57,58],[0,16,20,23,26,39,44,45,46,53,54,56],[0,16,20,23,26,39,44,45,46,53,56,58],[26,54,58],[27,39,43,44,53,55,56,57],[0,16,20,23,27,45,46,53,54,55,58],[0,16,20,23,27,43,44,46,57,58],[27,39,45,54,56],[27,43,44,45,53,54,55,57],[0,16,20,23,27,39,46,53,55,56,58],[0,16,20,23,27,39,43,44,45,46,54,56,57,58],[0,16,20,23,28,41,44,46,54,57],[28,39,41,45,53,56],[28,39,43,45,53,54,55,58],[0,16,20,23,28,43,44,46,55,56,57,58],[28,41,43,54,55,56,58],[0,16,20,23,28,39,41,43,44,45,46,53,55,57,58],[0,16,20,23,28,39,44,45,46,53,54,56,57],[0,16,20,23,29,44,46,53,54,57],[0,16,20,23,29,44,46,53,55,56,57],[29,39,43,44,53,54,56,57,58],[29,39,43,44,53,55,57,58],[0,16,20,23,29,39,43,46,54,55,58],[0,16,20,23,29,39,43,46,56,58],[29,54,55,56],[0,16,20,23,30,41,44,45,46,53,54,55,56,58],[0,16,20,23,30,41,45,46,54,55,56],[0,16,20,23,30,44,46,53,55],[0,16,20,23,30,46,55,58],[30,41,44,45,53,54,56],[30,41,45,54,56,58],[30,44,53,58],[31,39,40,43,44,45,53,54,56,58],[0,16,20,23,31,40,46,53,55,57],[0,16,20,23,31,40,43,44,46,53,54,55],[31,39,40,45,53,56,57,58],[31,43,44,54,57],[0,16,20,23,31,39,45,46,55,56,58],[0,16,20,23,31,39,43,44,45,46,54,55,56,57,58],[0,16,20,23,32,42,44,45,46,53,55,56],[0,16,20,23,32,42,46,53,54,56,57,58],[32,39,43,44,53,55,56,58],[32,39,43,45,53,54,56,57],[0,16,20,23,32,39,42,43,44,46,54,55,57],[0,16,20,23,32,39,42,43,45,46,58],[32,44,45,54,55,57,58],[33,39,40,43,44,45,53,57],[33,39,40,45,53,54,55],[0,16,20,23,33,44,45,46,55,57,58],[0,16,20,23,33,43,45,46,54,58],[0,16,20,23,33,39,40,44,46,53,54,57,58],[0,16,20,23,33,39,40,43,46,53,55,58],[33,43,44,54,55,57],[0,16,20,23,34,42,44,45,46,53,54,55,56],[0,16,20,23,34,42,46,53,55,56,57,58],[34,39,44,45,53,55],[34,39,53,54,55,57,58],[0,16,20,23,34,39,42,44,45,46,56,57,58],[0,16,20,23,34,39,42,46,54,56],[34,44,45,54,57,58],[0,16,20,23,35,39,40,42,46,53,56,57,58],[0,16,20,23,35,39,40,42,43,44,46,53,54,58],[35,40,43,45,53,54,55,56,57,58],[35,40,44,45,53,55,58],[0,16,20,23,35,39,42,44,45,46,55,56,57],[0,16,20,23,35,39,42,43,45,46,54,55],[35,43,44,54,56,57],[36,39,41,44,45,54,55,56,57,58],[0,16,20,23,36,41,43,44,46,53,54,55,56,57],[36,39,41,45,53,54,55,56],[0,16,20,23,36,41,43,46,54,55,56,58],[0,16,20,23,36,39,43,44,45,46,57],[36,44,53,57,58],[0,16,20,23,36,39,43,45,46,53,58],[0,16,20,23,37,40,42,45,46,53,54,55,57],[0,16,20,23,37,40,42,43,44,45,46,53,56],[0,16,20,23,37,42,45,46,55],[0,16,20,23,37,42,43,44,45,46,54,56,57],[37,40,43,44,53,55,56],[37,40,53,54,57],[37,43,44,54,55,56,57],[38,43,44,45,53,54,58],[0,16,20,23,38,39,44,46,54,57,58],[0,16,20,23,38,39,45,46,56],[38,43,53,56,57],[38,44,45,54,56,57,58],[0,16,20,23,38,39,43,44,46,53,54,56,58],[0,16,20,23,38,39,43,45,46,53,57],[39,40,42,55,58],[39,40,42,58],[39,40,44,55,57],[39,40,44,56,57],[39,41,45,55,56,57,58],[39,41,45,55,56,58],[39,43,44,56,58],[39,43,45,55,57,58],[39,44,45,56,57,58],[39,55,56],[39,57,58],[40,56],[41,57],[42,55],[43,44,45,55,56,57]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,4],"A_d":5208,"certified":null},"clifford":{"kind":"required","correction":{"S":[[0,2],[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1],[15,1],[17,2],[18,1],[19,3],[20,2],[21,2],[22,2],[23,1],[24,1],[25,1],[26,1],[27,1],[28,1],[29,1],[30,1],[31,1],[32,1],[33,1],[34,1],[35,1],[36,1],[37,1],[38,1],[39,1],[40,2],[41,1],[42,3],[43,3],[44,2],[45,2],[46,1]],"CZ":[[0,16],[0,20],[0,39],[0,41],[0,43],[0,45],[0,46],[16,19],[16,21],[16,39],[16,41],[16,43],[16,45],[16,47],[16,48],[16,50],[16,51],[17,19],[17,21],[17,49],[17,51],[17,52],[18,22],[18,46],[18,47],[18,48],[19,20],[19,22],[19,49],[19,50],[20,21],[20,22],[20,39],[20,41],[20,43],[20,45],[20,49],[20,50],[20,51],[21,22],[21,49],[21,50],[21,52],[22,46],[22,51],[23,39],[23,41],[23,43],[23,45],[39,41],[39,42],[39,43],[39,44],[39,45],[39,46],[39,53],[39,54],[39,56],[39,57],[40,42],[40,44],[40,55],[40,57],[40,58],[41,43],[41,45],[41,46],[41,53],[41,54],[42,43],[42,45],[42,55],[42,56],[43,44],[43,46],[43,55],[43,56],[43,57],[44,45],[44,55],[44,56],[44,58],[45,46],[45,57]]},"rotation_powers":null},"metrics":{"gamma":1.5481236725326084,"gamma_t":null,"gamma_rho":1.5481236725326084,"gamma_claim":1.5481236725326084,"gamma_t_claim":null,"gamma_rho_claim":1.5481236725326084,"v_ex":46,"rate":0.18253968253968253,"t_count":null,"poly_degree":null,"effective_width":46},"provenance":{"regimes":["AI search: graph gluing"],"discovery":"AI search","strongest_claim":"found by an AI search that glues catalogued small factories along a graph of paired-column contractions; exact distance verified from columns; a verified witness, not a maximum","sources":[{"regime":"AI search: graph gluing","file":"master_catalog/imports/2026-09-18_graph_gluing_d3/factories.json","label":"graph gluing [[252,46,3]]","N":59,"d":3,"d_is_exact":true,"origin":null,"provenance":"AI search: graph gluing -- two [[127,23,3]] glued along K2 by 1 paired-column contraction(s) (independent ports); construction and witness in master_catalog/imports/2026-09-18_graph_gluing_d3/witnesses/graph_path_n252_k46_d3.json","notes":"Exact A3=5208 independently counted; details in master_catalog/imports/2026-09-18_graph_gluing_d3/README.md. General gluing has prior art; publication novelty is not asserted."}]},"references":[{"key":"jain2026symmetry","short":"Jain et al. (2026)","full":"S. P. Jain, A. Wills, and S. Singh, \"Symmetry and AI-assisted discovery of magic-state factories,\" arXiv:2610.06535 (2026).","url":"https://arxiv.org/abs/2610.06535","date":"2026-10-05"}]}