{"id":"155.17.3.a","row":776,"stored":{"file":"master_catalog.json","row":776,"construction":null,"columns_sha256":null},"parameters":{"n":155,"k":17,"d":3,"N":27,"r":10,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16]],"sk_fingerprint":"54780f2effb2fd97","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,12,16,17],[0,12,14,18],[1,11,12,14,16,19],[1,11,12,20],[2,12,14,15,16,21],[2,12,14,15,16,22],[3,11,12,23],[4,12,14,15,16,24],[11,12,16,25],[3,12,15,19,21,23],[5,15,16,26],[1,11,12,20,22,24],[12,14,16,18,21,22,23,25],[6,12,14,15,16,20,22,25],[7,14,16,17,20,24,25,26],[8,15,16,21,24,26],[5,11,14,17,18,19,21,26],[9,12,14,15,16,18,20,23,26],[12,14,16,18,21,22],[12,17,21,22,23,25],[3,14,16,17,20,23,24,26],[16,17,19,21,22,24,25,26],[15,17,19,21,22,23,24],[8,11,16,17,18,20,21,22,24,26],[12,14,16,20,21,22,24,25,26],[12,15,16,18,19,21,23,24,26],[9,11,12,18,22,23,26],[12,14,16,17,19,20],[7,12,14,15,16,20,24,25],[7,14,16,19,20,21,22,23,25],[15,17,19,22,25],[4,11,14,18,22,23,24],[12,15,16,18,19,22,23,24,26],[2,12,16,19,21,22,23,24,26],[10,12,16,17,18,20,21,22,24,25,26],[11,12,14,18,19,20,21,22,23,24,26],[4,11,12,22,24,25],[4,12,14,18,23,25],[16,23,25],[11,14,15,17,20,21,23],[11,12,14,18,21,22,25],[3,12,14,15,16,17,19,20,21,24,26],[12,14,15,18,20,21,22,23,26],[11,12,16,18,21,22,23,24,26],[10,12,14,17,18,19,21,22,23,24,26],[12,14,16,17,19,20,21,22,23,25],[11,12,16,22,23,24],[11,17,18,20,21,22,23,24,25,26],[11,12,14,15,16,17,24,25],[11,14,15,17,20,24,25],[11,14,16,18,21,22,23],[2,12,16,19,23,24,26],[7,12,15,17,26],[3,11,12,14,16,17,20,24,26],[12,14,15,19,20,22,23,24,25,26],[11,14,16,18,19,20,22,23,26],[11,15,16,18,24,25],[14,15,16,21,22,24],[1,11,12,14,16,19,22,24],[11,12,15,17,19,20,21,23],[7,12,15,19,21,22,23,24],[11,13,14,15,16,18,21,22,23,26],[7,12,14,15,16,17,19,20,21,22,23,25,26],[11,14,16,17,18,19,20,21,22,23,24,26],[11,14,16,18,22,24,25],[12,17,18,19,20,21,22,24,26],[12,20,24,25,26],[12,14,16,17,18,20,21,22,23,24,26],[6,11,12,17,19,21,26],[11,13,15,18,19,20,23,26],[8,14,15,19,20,21,22,23,25,26],[9,12,15,17,22,23,24,25,26],[11,12,15,18,21,25],[11,15,16,17,18,21,22,23,24,26],[0,11,12,15,16,18,21,22,23,24],[4,11,12,15,16,18,22,23],[2,14,15,19,21,23,24,26],[11,14,15,18,22,23,24,26],[4,15,16,18,23,24,25],[11,12,16,17,19,21,23,25,26],[10,14,16,19,22,23,24],[12,17,18,21,22,23,24,25,26],[12,14,16,24,26],[2,14,15,19,22,23,24,26],[12,14,16,17,18,19,21,22,24,25,26],[0,11,12,14,15,17,21,22,23,24],[11,12,15,18,19,20,21,23,24,26],[16,18,21],[8,11,14,17,18,19,21,23,25,26],[10,12,16,17,18,21,26],[9,11,12,14,16,17,20,23,24,25,26],[6,11,12,15,16,17,19,20,22,25],[11,17,25,26],[11,13,15,19,21,22,24],[13,18,20,21,22,23,24,26],[5,15,16,20,25,26],[10,20,22,24,25],[2,21,22],[11,14,16,17,19,21,23,24,25],[0,11,15,17,18,21,22,23,24],[12,14,16,19,20,23,24,25,26],[6,11,14,15,16,17,19,20,21,22,25,26],[6,15,16,20,21,22,25,26],[9,11,14,15,16,20,22],[14,18,19,21,22,23,24,26],[15,22,23,24,25],[6,11,14,17,19],[11,13,14,15,16,20,24],[10,12,14,17,18,19,20,21,23,25,26],[6,12,14,21,26],[13,14,16,18,19,23,24,26],[7,17,19,21,22,23,24,26],[3,11,14,15,16,17,19,20,21,23,24,26],[8,11,14,15,16,17,18,19,23,24,25],[0,11,14,15,16,21,22,23,24],[5,11,14,17,18,19,20,21,25,26],[9,11,15,17,18,24,25],[1,14,16,19,20],[14,15,16,24,25],[11,14,15,17,18,19,20,22,23],[11,17,22,23,24,26],[5,11,14,15,16,17,18,19,21],[11,15,16,17,18,21,25,26],[0,14,16,17,18],[1,22,24],[14,19,20,21,23,24,25],[11,15,16,17,18,20,21,22,23,24,25],[3,11,15,19,21],[16,19,20,21,23,25,26],[16,18,20,23,24,26],[4,11,14,15,16,22,25],[1,14,16,19,20,22,24],[8,14,16,19,20,22,23,24,25],[16,17,18,19,22,23,24],[5,11,14,15,16,17,18,19,20,21,25],[14,15,16,21,23],[13,14,16,19,20,21,22],[14,19,20,21,24],[16,17,18,19,20,23,25],[8,11,15,17,18,20,22],[14,17,18,19,21,22,25],[16,21,24],[16,21,22,23,25],[15,18,22],[9,14,16,17,18,20,22,24,25],[11,21,23,24,25],[10,14,16,19,20,23,25],[16,18,21,22,23,24,25],[16,17,20],[5,20,25],[14,17,18,20,21,22,23],[16,17,20,21,23,24,25],[16,17,18,21,22,23,25],[16,19,23],[16,17,18,19,20,21,22]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,123],"A_d":1085,"certified":null},"clifford":{"kind":"powers","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,3]],"CZ":[]},"rotation_powers":[[1,7],[2,5],[3,3],[5,5],[6,5],[7,5],[9,5],[10,5],[11,3],[13,5],[14,7],[15,7],[17,7],[20,7],[34,5],[37,3],[39,7],[40,5],[56,3],[60,3],[61,7],[62,3],[65,7],[70,3],[72,3],[73,7],[75,3],[76,3],[77,3],[83,3],[84,3],[85,3],[86,3],[89,3],[90,3],[91,3],[92,3],[93,3],[97,3],[98,3],[99,3],[100,3],[101,3],[104,3],[108,3],[109,3],[110,3],[112,3],[116,3],[118,3],[119,3],[121,3],[124,3],[125,3],[127,3],[128,3],[129,3],[130,3],[132,3],[134,3],[138,3],[142,3],[143,3],[146,3],[147,3],[149,3],[151,3],[152,3]]},"metrics":{"gamma":2.011821454812376,"gamma_t":null,"gamma_rho":2.011821454812376,"gamma_claim":2.011821454812376,"gamma_t_claim":null,"gamma_rho_claim":2.011821454812376,"v_ex":17,"rate":0.10967741935483871,"t_count":null,"poly_degree":null,"effective_width":17},"provenance":{"regimes":["AI search"],"discovery":"AI search","strongest_claim":"found by an AI search campaign; a verified witness, not a maximum","sources":[{"regime":"AI search","file":"master_catalog/catalogue_new","label":"T0.T1.T2.T3.T4.T5.T6.T7.T8.T9.T10.T11.T12.T13.T14.T15.T16","N":27,"d":3,"d_is_exact":true,"origin":"frontier_campaign","provenance":"frontier_campaign \u00b7 catalogue.jsonl:226"}]},"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"}]}