{"id":"255.43.3.a","row":920,"stored":{"file":"master_catalog.json","row":920,"construction":null,"columns_sha256":null},"parameters":{"n":255,"k":43,"d":3,"N":51,"r":8,"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","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","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]],"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]],"sk_fingerprint":"c7d53160731b0bb1","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,32,33,34,38,39,41,43],[0,32,33,35,37,38,39,40,41,44],[0,32,34,35,36,40,41,42,43,45],[0,32,36,37,41,42,44,45],[0,33,34,36,37,38,39,42,43,44,45],[0,33,35,36,38,39,40,42,45],[0,34,35,37,40,43,44],[1,31,32,33,34,35,38,39,40,43,44,45,46,47,48],[1,31,32,33,37,38,39,42,43,44,46,47],[1,31,33,34,35,37,39,40,41,43,45,46,48],[1,31,33,39,41,42,43,46],[1,32,34,35,38,40,41,42,44,45,47,48],[1,32,37,38,41,44,47],[1,34,35,37,40,42,45,48],[2,32,34,35,38,41,42,43,47],[2,32,34,39,43,45,47,49],[2,32,35,36,37,39,42,43,44,47,48],[2,32,36,37,38,41,43,44,45,47,48,49],[2,34,35,36,37,42,44,45,48,49],[2,34,36,37,38,39,41,44,48],[2,35,38,39,41,42,45,49],[3,31,32,35,36,41,43,46,47],[3,31,32,37,42,43,44,45,46,49],[3,31,33,34,35,38,40,42,43,44,46,48],[3,31,33,34,36,37,38,40,41,43,45,46,47,48,49],[3,32,33,34,35,37,38,40,45,48,49],[3,32,33,34,36,38,40,41,42,44,47,48],[3,35,36,37,41,42,44,45,47,49],[4,31,34,35,36,38,40,42,44,45,49,50],[4,31,34,35,38,40,45,50],[4,31,34,36,37,38,40,42,43,45,48,50],[4,31,34,37,38,40,43,44,45,48,49,50],[4,35,36,37,42,43,48],[4,35,37,43,44,48,49],[4,36,42,44,49],[5,31,32,33,34,38,43,44,46,47,48,49],[5,31,32,36,37,38,39,40,41,42,44,45,47,48,49,50],[5,31,33,37,45,48,50],[5,31,34,36,39,40,41,42,43,46,48],[5,32,33,36,38,39,40,41,42,44,47,49],[5,32,34,37,38,43,44,45,46,47,49,50],[5,33,34,36,37,39,40,41,42,43,45,46,50],[6,31,32,33,34,36,39,40,41,42,43,44,45,47,50],[6,31,32,34,35,36,37,38,40,41,43,45,47,48,49,50],[6,31,33,36,38,39,40,41,45,49,50],[6,31,35,36,37,40,41,42,44,45,48,50],[6,32,33,34,35,37,39,43,47,48],[6,32,34,38,42,43,44,47,49],[6,33,35,37,38,39,42,44,48,49],[7,31,32,33,34,36,37,39,43,46,47,48],[7,31,32,41,44,45,47,50],[7,31,33,34,35,36,38,42,43,44,46,49],[7,31,35,37,38,39,41,42,45,48,49,50],[7,32,33,34,35,36,38,41,42,43,45,46,47,49,50],[7,32,35,37,38,39,42,44,47,48,49],[7,33,34,36,37,39,41,43,44,45,46,48,50],[8,31,34,35,39,44,50],[8,31,34,37,38,39,41,43,45,46,48,49],[8,31,35,39,40,43,44,49,50],[8,31,37,38,39,40,41,45,46,48],[8,34,35,37,38,40,41,44,45,46,48,50],[8,34,40,43,49],[8,35,37,38,41,43,44,45,46,48,49,50],[9,31,32,33,35,36,37,38,39,41,42,44,47,50],[9,31,32,34,35,36,37,40,41,42,43,44,45,47,49,50],[9,31,33,34,37,38,40,45,46],[9,31,37,39,43,46,49],[9,32,33,35,36,38,41,42,43,44,46,47,49,50],[9,32,34,35,36,39,40,41,42,44,45,46,47,50],[9,33,34,38,39,40,43,45,49],[10,31,32,34,35,36,37,40,42,43,44,47,48,49,50],[10,31,32,34,35,40,41,43,45,46,47,48],[10,31,33,36,40,45,46,48,49],[10,31,33,37,40,41,42,44,48,50],[10,32,33,34,35,36,41,43,47,49],[10,32,33,34,35,37,42,43,44,45,46,47,50],[10,36,37,41,42,44,45,46,49,50],[11,31,32,33,36,37,40,41,43,46,47,49],[11,31,32,37,38,39,42,44,47,48,50],[11,31,33,34,35,37,39,40,41,42,43,44,45,48,50],[11,31,34,35,36,37,38,45,46,49],[11,32,33,34,35,38,40,41,43,45,47],[11,32,34,35,36,39,42,44,45,46,47,48,49,50],[11,33,36,38,39,40,41,42,43,44,46,48,49,50],[12,31,33,34,36,38,39,44,49,50],[12,31,33,35,37,40,41,43,44,45,46],[12,31,34,37,39,43,44,48,50],[12,31,35,36,38,40,41,44,45,46,48,49],[12,33,34,35,39,40,41,45,46,48,50],[12,33,36,37,38,43,48,49],[12,34,35,36,37,38,39,40,41,43,45,46,49,50],[13,31,32,33,34,35,37,41,42,44,45,46,47,49],[13,31,32,33,34,35,39,40,41,44,47,49,50],[13,31,34,36,37,39,43,45,48,49,50],[13,31,34,36,40,42,43,46,48,49],[13,32,33,35,36,37,40,41,43,44,45,47,48],[13,32,33,35,36,39,41,42,43,44,46,47,48,50],[13,37,39,40,42,45,46,50],[14,31,32,34,35,36,38,39,40,41,42,43,44,45,46,47,48,49],[14,31,32,35,36,38,39,43,44,47,50],[14,31,34,35,37,38,41,44,45,46],[14,31,35,37,38,40,42,44,48,49,50],[14,32,34,36,37,39,41,43,45,46,47,50],[14,32,36,37,39,40,42,43,47,48,49],[14,34,40,41,42,45,46,48,49,50],[15,31,32,33,35,36,39,44,47,48,49,50],[15,31,32,33,36,40,41,42,43,45,47,48,50],[15,31,32,35,36,37,39,40,41,42,43,46,47,48,49],[15,31,32,36,37,44,45,46,47,48],[15,33,35,37,39,45,46,49,50],[15,33,37,40,41,42,43,44,46,50],[15,35,39,40,41,42,43,44,45,49],[16,31,32,33,35,38,39,40,41,44,45,46,47,48,49],[16,31,32,42,43,45,47,49,50],[16,31,33,36,40,41,42,43,50],[16,31,35,36,38,39,44,46,48],[16,32,33,36,40,41,45,47,49],[16,32,35,36,38,39,42,43,44,45,46,47,48,49,50],[16,33,35,38,39,40,41,42,43,44,46,48,50],[17,31,32,33,34,35,37,38,39,40,44,46,47,48],[17,31,32,33,39,43,44,47,48,50],[17,31,33,34,36,37,39,44,45,46,49],[17,31,33,35,36,38,39,40,43,44,45,49,50],[17,32,34,36,37,43,45,46,47,48,49,50],[17,32,35,36,38,40,45,47,48,49],[17,34,35,37,38,40,43,46,50],[18,31,32,33,34,35,37,40,42,44,45,46,47],[18,31,32,33,39,40,41,43,47,50],[18,31,33,34,36,37,38,39,41,42,44,46],[18,31,33,35,36,38,43,45,50],[18,32,34,36,37,38,40,42,43,44,46,47,50],[18,32,35,36,38,39,40,41,45,47],[18,34,35,37,39,41,42,43,44,45,46,50],[19,31,32,34,36,39,43,44,45,47,48,50],[19,31,32,34,36,39,44,46,47],[19,31,33,35,36,37,38,39,42,43,44,50],[19,31,33,35,36,37,38,39,42,44,45,46,48],[19,32,33,34,35,37,38,42,43,46,47,50],[19,32,33,34,35,37,38,42,45,47,48],[19,43,45,46,48,50],[20,31,32,34,37,39,40,41,45,47,49,50],[20,31,32,35,36,37,40,43,44,45,46,47],[20,31,33,34,35,37,38,40,41,43,48,50],[20,31,33,36,37,38,39,40,44,46,48,49],[20,32,33,34,36,38,41,44,45,46,47,48,50],[20,32,33,35,38,39,43,45,47,48,49],[20,34,35,36,39,41,43,44,46,49,50],[21,31,32,33,35,36,37,38,41,43,45,46,47,49],[21,31,32,33,36,38,40,41,42,43,44,47,49,50],[21,31,32,35,36,37,39,40,41,42,45,47,48,49,50],[21,31,32,36,39,41,44,46,47,48,49],[21,33,35,37,38,39,43,44,45,48],[21,33,38,39,40,42,43,46,48,50],[21,35,37,40,42,44,45,46,50],[22,31,32,33,34,35,37,38,40,41,45,47,50],[22,31,32,34,35,37,38,40,42,43,47,48,50],[22,31,33,34,35,39,41,43,44,45,46,48,49],[22,31,34,35,39,42,44,46,49],[22,32,33,37,38,39,40,41,42,44,45,46,47,49,50],[22,32,37,38,39,40,43,44,46,47,48,49,50],[22,33,41,42,43,45,48],[23,31,32,33,34,35,36,37,41,42,44,46,47,49],[23,31,32,37,38,42,45,47,48,50],[23,31,33,34,35,36,37,40,41,43,44,48,49,50],[23,31,37,38,40,43,45,46],[23,32,33,34,35,36,38,40,41,42,43,44,45,47,49],[23,32,40,42,43,46,47,48,50],[23,33,34,35,36,38,41,44,45,46,48,49,50],[24,31,32,33,34,35,36,37,39,40,41,42,44,45,47,49,50],[24,31,32,36,37,45,46,47,48,49],[24,31,33,34,35,36,37,39,41,43,49,50],[24,31,36,37,40,42,43,44,46,48,49],[24,32,33,34,35,39,41,43,45,46,47,48,50],[24,32,40,42,43,44,45,47],[24,33,34,35,39,40,41,42,44,46,48,50],[25,31,32,33,34,35,36,38,40,41,42,45,46,47,49],[25,31,32,35,36,39,40,41,43,45,47,50],[25,31,33,37,39,40,41,42,44,45,48,49,50],[25,31,34,37,38,40,41,43,44,45,46,48],[25,32,33,35,36,37,42,43,44,47,48,49],[25,32,34,35,36,37,38,39,44,46,47,48,50],[25,33,34,38,39,42,43,46,49,50],[26,31,32,33,35,36,38,39,40,43,47,49,50],[26,31,32,33,35,36,38,39,41,45,46,47,48],[26,31,32,35,37,39,40,41,43,44,46,47,49],[26,31,32,35,37,39,44,45,47,48,50],[26,33,36,37,38,40,43,44,45,48,49],[26,33,36,37,38,41,44,46,50],[26,40,41,43,45,46,48,49,50],[27,31,32,33,36,38,40,43,44,45,46,47,49],[27,31,32,34,36,37,39,45,46,47],[27,31,33,34,36,39,41,42,44,45,50],[27,31,36,37,38,40,41,42,43,45,49,50],[27,32,33,37,41,42,44,46,47,50],[27,32,34,38,39,40,41,42,43,46,47,49,50],[27,33,34,37,38,39,40,43,44,49],[28,31,32,33,36,37,40,41,43,44,45,47,48,49,50],[28,31,32,33,38,39,40,41,42,43,45,46,47],[28,31,32,34,36,37,38,39,40,43,48,49,50],[28,31,32,34,40,42,43,44,46],[28,33,34,36,37,41,42,45,46,47,48,49,50],[28,33,34,38,39,41,44,45,47],[28,36,37,38,39,42,44,46,48,49,50],[29,32,33,34,35,36,37,38,44,45,48],[29,32,33,37,39,40,42,43,44,45,46,49,50],[29,32,34,35,36,37,38,41,42,45,46,47,49,50],[29,32,37,39,40,41,43,45,47,48],[29,33,34,35,36,38,39,40,41,43,44,47],[29,33,41,42,44,46,47,48,49,50],[29,34,35,36,38,39,40,42,43,46,48,49,50],[30,31,32,33,34,35,36,39,40,41,43,44,46,47,48],[30,31,32,34,36,37,38,41,42,43,47,48,49,50],[30,31,33,35,37,39,40,43,45,46,49],[30,31,38,42,43,44,45,50],[30,32,33,34,35,36,38,39,40,41,42,45,46,47,48,50],[30,32,34,36,37,41,44,45,47,48,49],[30,33,35,37,38,39,40,42,44,46,49,50],[31,32,33,34,35,36,37,38,42,47,49,50],[31,32,33,34,35,36,39,47,48,50],[31,32,33,34,35,38,41,42,46,47],[31,32,33,34,36,40,42,45,46,47,50],[31,32,33,35,37,40,43,46,47,48,49,50],[31,32,33,35,38,40,46,47,48,49],[31,32,33,37,38,42,46,48],[31,32,33,39,40,41,46,47,48],[31,32,34,36,37,38,41,43,44,45,46,47,48,50],[31,32,34,36,40,47,50],[31,32,35,38,41,42,44,46,47,49,50],[31,32,37,38,39,42,46,47,49],[31,33,34,35,36,38,40,41,44,45,49],[31,33,34,36,37,38,39,40,46,49],[31,33,34,37,38,40,42,50],[31,33,35,36,37,40,41,48,49,50],[31,33,35,38,39,40,46,48,49],[31,33,37,38,40,41,42,43,44,48],[31,34,35,36,37,41,46],[31,34,35,36,37,42,43,45,48,49],[31,34,38,39,40,41,42,47,48,49,50],[31,35,36,49,50],[31,36,37,38,41,48,50],[32,33,34,36,37,38,39,47,48,49],[32,33,34,42,46,47,48,50],[32,33,35,38,41,47,49],[32,33,36,39,40,47],[32,34,35,36,37,38,39,40,42,47,48],[32,34,35,40,41,42,46,47,48,49,50],[32,35,37,42,46,47,50],[33,34,35,36,38,39,41,42,46,48,49,50],[33,34,35,38,42,48],[33,34,37,39,40,41,46,47,49,50],[33,35,36,37,40,42,46,50],[33,38,40,49],[34,37,41,48,49],[34,38,39,40,41,42,46,48,50],[37,39,41,42,46,49,50]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,6],"A_d":10795,"certified":null},"clifford":{"kind":"required","correction":{"S":[[0,1],[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],[16,1],[17,1],[18,1],[19,1],[20,1],[21,1],[22,1],[23,1],[24,1],[25,1],[26,1],[27,1],[28,1],[29,1],[30,1],[31,1],[32,3],[33,3],[35,3],[37,3],[40,3],[42,3]],"CZ":[[31,32],[31,33],[31,34],[31,36],[31,38],[31,41],[32,33],[32,34],[32,35],[32,37],[32,44],[32,45],[32,49],[32,50],[33,34],[33,35],[33,36],[33,38],[33,44],[33,47],[33,48],[33,49],[33,50],[34,40],[34,43],[34,47],[34,50],[35,38],[35,39],[35,43],[35,44],[35,48],[35,49],[36,37],[36,40],[36,41],[36,42],[36,48],[36,49],[36,50],[37,40],[37,42],[37,44],[37,45],[37,46],[37,47],[37,49],[37,50],[38,39],[38,41],[38,42],[38,44],[38,45],[38,46],[38,47],[38,48],[39,40],[39,41],[39,42],[39,45],[39,48],[40,41],[40,45],[40,47],[40,48],[40,49],[41,43],[41,44],[41,45],[41,48],[41,50],[42,43],[42,47],[42,48]]},"rotation_powers":null},"metrics":{"gamma":1.6202835593828133,"gamma_t":null,"gamma_rho":1.6202835593828133,"gamma_claim":1.6202835593828133,"gamma_t_claim":null,"gamma_rho_claim":1.6202835593828133,"v_ex":43,"rate":0.16862745098039217,"t_count":null,"poly_degree":null,"effective_width":43},"provenance":{"regimes":["AI search: pure-T width campaign n=255, 511"],"discovery":"AI search","strongest_claim":"new [[n,k,d]] classes at n=255 and n=511 (the n=511 one the first at d=3 there) -- pure disjoint T^k, verified from columns. NOT rate records: both are strictly dominated by direct sums of the catalogued [[127,23,3]] (rho 5.5217) -- 2 copies give [[254,46,3]] and 4 give [[508,92,3]], each with FEWER inputs and MORE outputs than the row here. Beating the derived baseline needs k>=47 at n=255 and k>=93 at n=511.","sources":[{"regime":"AI search: pure-T width campaign n=255, 511","file":"magic-states-AI/master_catalogue/master_catalogue.jsonl","label":"msAI:c97941c549f0f533","N":51,"d":3,"d_is_exact":true,"origin":"magic-states-AI/master_catalogue/master_catalogue.jsonl","provenance":"merged from magic-states-AI/master_catalogue/master_catalogue.jsonl; the submitting file was a run scratchpad (/private/tmp/claude-501/-Users-shubhamjain-Documents-Claude-remote-magic-states-AI/25937cc1-0367-40c1-acc9-031067b831d4/scratchpad/msai_255_511.jsonl) and is not a path this repository or any other keeps","notes":"campaigns/2026-09-14_255_511_width"}]},"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"}]}