{"id":"64.15.4.a","row":477,"stored":{"file":"master_catalog.json","row":477,"construction":null,"columns_sha256":null},"parameters":{"n":64,"k":15,"d":4,"N":22,"r":7,"level":3},"gate":{"string":"0,1,2+0,3,4+0,5,6+1,7,8+1,9,10+2,11,12+2,13,14+3,7,11+3,9,13+4,8,12+4,10,14+5,7,14+5,9,12+6,8,13+6,10,11","human":"CCZ0,1,2\u00b7CCZ0,3,4\u00b7CCZ0,5,6\u00b7CCZ1,7,8\u00b7CCZ1,9,10\u00b7CCZ2,11,12\u00b7CCZ2,13,14\u00b7CCZ3,7,11\u00b7CCZ3,9,13\u00b7CCZ4,8,12\u00b7CCZ4,10,14\u00b7CCZ5,7,14\u00b7CCZ5,9,12\u00b7CCZ6,8,13\u00b7CCZ6,10,11","monomials":[[0,1,2],[0,3,4],[0,5,6],[1,7,8],[1,9,10],[2,11,12],[2,13,14],[3,7,11],[3,9,13],[4,8,12],[4,10,14],[5,7,14],[5,9,12],[6,8,13],[6,10,11]],"sk_key":[[0,1,2],[0,3,4],[0,5,6],[1,7,8],[1,9,10],[2,11,12],[2,13,14],[3,7,11],[3,9,13],[4,8,12],[4,10,14],[5,7,14],[5,9,12],[6,8,13],[6,10,11]],"sk_fingerprint":"b1d054800d7277f3","sk_canonical_frame":true,"relabelled_into_canonical_frame":true},"circuit":{"columns":[[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21],[0,1,3,5,8,10,11,12,13,14,15,16,17,18,19,20],[0,1,4,6,7,9,11,12,13,14,15,16,17,18,19,21],[0,1,11,12,13,14,15,16,17,18,19],[0,2,3,6,7,8,9,10,12,14,15,16,17,18,20,21],[0,3,8,10,12,14,15,16,17,18,20],[0,6,7,9,12,14,15,16,17,18,21],[0,12,14,15,16,17,18],[0,2,4,5,7,8,9,10,11,13,15,16,17,19,20,21],[0,5,8,10,11,13,15,16,17,19,20],[0,4,7,9,11,13,15,16,17,19,21],[0,11,13,15,16,17,19],[0,2,7,8,9,10,15,16,17,20,21],[0,8,10,15,16,17,20],[0,7,9,15,16,17,21],[0,15,16,17],[1,2,3,4,5,6,7,10,12,13,15,16,18,19,20,21],[1,3,5,10,12,13,15,16,18,19,20],[1,4,6,7,12,13,15,16,18,19,21],[1,12,13,15,16,18,19],[2,3,6,7,10,12,15,16,18,20,21],[3,10,12,15,16,18,20],[6,7,12,15,16,18,21],[12,15,16,18],[2,4,5,7,10,13,15,16,19,20,21],[5,10,13,15,16,19,20],[4,7,13,15,16,19,21],[13,15,16,19],[2,7,10,15,16,20,21],[10,15,16,20],[7,15,16,21],[1,2,3,4,5,6,8,9,11,14,15,17,18,19,20,21],[1,3,5,8,11,14,15,17,18,19,20],[1,4,6,9,11,14,15,17,18,19,21],[1,11,14,15,17,18,19],[2,3,6,8,9,14,15,17,18,20,21],[3,8,14,15,17,18,20],[6,9,14,15,17,18,21],[14,15,17,18],[2,4,5,8,9,11,15,17,19,20,21],[5,8,11,15,17,19,20],[4,9,11,15,17,19,21],[11,15,17,19],[2,8,9,15,17,20,21],[8,15,17,20],[9,15,17,21],[1,2,3,4,5,6,15,18,19,20,21],[1,3,5,15,18,19,20],[1,4,6,15,18,19,21],[1,15,18,19],[2,3,6,15,18,20,21],[3,15,18,20],[6,15,18,21],[2,4,5,15,19,20,21],[5,15,19,20],[4,15,19,21],[2,15,20,21],[15],[15,16],[15,17],[15,18],[15,19],[15,20],[15,21]]},"distance":{"d":4,"is_exact":true,"upper":4,"witness":[0,1,2,3],"A_d":10416,"certified":null},"clifford":{"kind":"none","correction":{"S":[],"CZ":[]},"rotation_powers":[]},"metrics":{"gamma":1.0465547021957409,"gamma_t":null,"gamma_rho":null,"gamma_claim":1.0465547021957409,"gamma_t_claim":null,"gamma_rho_claim":null,"v_ex":null,"rate":0.234375,"t_count":null,"poly_degree":null,"effective_width":15},"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":"/private/tmp/claude-501/-Users-shubhamjain-Documents-Claude-remote-magic-states-AI/25937cc1-0367-40c1-acc9-031067b831d4/scratchpad/msai_for_merge.jsonl","label":"msAI:55796b859b730c13","N":22,"d":4,"d_is_exact":true,"origin":"magic-states-AI/master_catalogue/master_catalogue.jsonl","provenance":"magic-states-AI/master_catalogue/master_catalogue.jsonl","notes":"gamma_campaign"}]},"references":[{"key":"rengaswamy2020optimality","short":"Rengaswamy et al. (2020)","full":"N. Rengaswamy, R. Calderbank, M. Newman, and H. D. Pfister, \"On Optimality of CSS Codes for Transversal T,\" IEEE J. Sel. Areas Inf. Theory 1, 499 (2020).","url":"https://doi.org/10.1109/JSAIT.2020.3012914","date":"2020-08"},{"key":"vuillot2022quantum","short":"Vuillot & Breuckmann (2022)","full":"C. Vuillot and N. P. Breuckmann, \"Quantum Pin Codes,\" IEEE Trans. Inf. Theory 68, 5955 (2022).","url":"https://doi.org/10.1109/TIT.2022.3170846","date":"2022-09"},{"key":"gong2026magic","short":"Gong et al. (2026)","full":"A. Gong, C. A. Pattison, P. Rall, and A. Wills, \"Magic State Distillation via Codes over Binary Extension Fields,\" arXiv:2608.09727 (2026).","url":"https://arxiv.org/abs/2608.09727","date":"2026-08-10"}]}