{"id":"72.4.4.a","row":514,"stored":{"file":"master_catalog.json","row":514,"construction":null,"columns_sha256":null},"parameters":{"n":72,"k":4,"d":4,"N":13,"r":9,"level":3},"gate":{"string":"01+23","human":"CS01\u00b7CS23","monomials":[[0,1],[2,3]],"sk_key":[[0,1],[2,3]],"sk_fingerprint":"4c6da188308a72a6","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[2,3,4,5,6],[2,3,7,8,9],[2,3,10,11,12],[0,4,5,6,7],[0,4,5,6,8],[0,4,5,6,9],[0,7,8,9,10],[0,7,8,9,11],[0,7,8,9,12],[0,4,10,11,12],[0,5,10,11,12],[0,6,10,11,12],[3,4,7,8,9],[3,5,7,8,9],[3,6,7,8,9],[3,4,5,6,10],[3,4,5,6,11],[3,4,5,6,12],[3,7,10,11,12],[3,8,10,11,12],[3,9,10,11,12],[2,3,4,7,10],[2,3,5,8,11],[2,3,6,9,12],[1,4,5,7,10],[1,4,7,8,10],[1,5,6,8,11],[1,5,8,9,11],[1,4,7,10,11],[1,4,6,9,12],[1,6,7,9,12],[1,6,9,10,12],[1,5,8,11,12],[2,3,4,6,7,10],[2,3,4,7,9,10],[2,3,4,5,8,11],[2,3,5,7,8,11],[2,3,5,8,10,11],[2,3,5,6,9,12],[2,3,6,8,9,12],[2,3,4,7,10,12],[2,3,6,9,11,12],[2,3,6,8,10],[2,3,4,9,11],[2,3,5,7,12],[2,4,6,8,10],[2,6,8,9,10],[2,4,5,9,11],[2,4,7,9,11],[2,6,8,10,11],[2,5,6,7,12],[2,5,7,8,12],[2,5,7,10,12],[2,4,9,11,12],[0,1,5,6,8,10],[0,1,6,7,8,10],[0,1,4,6,9,11],[0,1,4,8,9,11],[0,1,4,9,10,11],[0,1,4,5,7,12],[0,1,5,7,9,12],[0,1,6,8,10,12],[0,1,5,7,11,12],[2,3,4,5,6,7,9,10,11],[2,3,5,6,7,8,9,10,11],[2,3,4,5,6,8,9,10,12],[2,3,4,5,7,8,9,10,12],[2,3,4,5,6,7,8,11,12],[2,3,4,6,7,8,9,11,12],[2,3,4,6,7,8,10,11,12],[2,3,5,6,7,9,10,11,12],[2,3,4,5,8,9,10,11,12]]},"distance":{"d":4,"is_exact":true,"upper":4,"witness":[0,1,6,15],"A_d":2160,"certified":null},"clifford":{"kind":"required","correction":{"S":[[0,3],[1,3],[2,2],[3,2],[4,3],[5,3],[6,3],[7,3],[8,3],[9,3],[10,3],[11,3],[12,3]],"CZ":[[0,1],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[2,12],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11],[3,12]]},"rotation_powers":null},"metrics":{"gamma":2.084962500721156,"gamma_t":1.7924812503605783,"gamma_rho":2.584962500721156,"gamma_claim":2.084962500721156,"gamma_t_claim":1.7924812503605783,"gamma_rho_claim":2.584962500721156,"v_ex":2,"rate":0.05555555555555555,"t_count":6,"poly_degree":2,"effective_width":4},"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/AI results","label":"CS01.CS23","N":13,"d":4,"d_is_exact":true,"origin":"factory_records/headline","provenance":"factory_records/headline/n72_k4_d4_CS01-CS23.json"},{"regime":"AI search","file":"master_catalog/AI results","label":"CS01.CS23","N":13,"d":4,"d_is_exact":true,"origin":"ai_campaign/circuits","provenance":"ai_campaign/circuits/n72_k4_d4_tau6_P90_it03.json"},{"regime":"AI search","file":"master_catalog/catalogue_new","label":"CS01.CS23","N":13,"d":4,"d_is_exact":true,"origin":"factory_records/headline","provenance":"factory_records/headline \u00b7 catalogue.jsonl:293"},{"regime":"AI search","file":"master_catalog/catalogue_new","label":"CS01.CS23","N":13,"d":4,"d_is_exact":true,"origin":"ai_campaign/circuits","provenance":"ai_campaign/circuits \u00b7 catalogue.jsonl:294"}]},"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"}]}