{"id":"20.3.2.b","row":16,"stored":{"file":"master_catalog.json","row":16,"construction":null,"columns_sha256":null},"parameters":{"n":20,"k":3,"d":2,"N":6,"r":3,"level":3},"gate":{"string":"01+02+012","human":"CS01\u00b7CS02\u00b7CCZ012","monomials":[[0,1],[0,2],[0,1,2]],"sk_key":[[0,1],[0,1,2],[0,2]],"sk_fingerprint":"13527f42f8bf9c4c","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,4],[1,4],[2,4],[0,1,2,4],[0,3,4],[0,1,3,4],[0,2,3,4],[0,1,2,3,4],[0,5],[1,5],[2,5],[0,1,2,5],[0,3,5],[0,1,3,5],[0,2,3,5],[0,1,2,3,5],[4,5],[0,4,5],[1,2,4,5],[0,1,2,4,5]]},"distance":{"d":2,"is_exact":true,"upper":2,"witness":[0,1],"A_d":30,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,3],[2,3],[4,2],[5,2]],"CZ":[[1,2],[1,4],[1,5],[2,4],[2,5]]},"rotation_powers":[[0,7],[1,3],[2,5],[4,7],[5,7],[10,3],[11,3],[14,3],[15,3],[16,3],[19,3]]},"metrics":{"gamma":2.736965594166206,"gamma_t":2.736965594166206,"gamma_rho":null,"gamma_claim":2.736965594166206,"gamma_t_claim":2.736965594166206,"gamma_rho_claim":null,"v_ex":null,"rate":0.15,"t_count":3,"poly_degree":2,"effective_width":3},"provenance":{"regimes":["symmetry-SAT search"],"discovery":"pre-existing","strongest_claim":"found by the symmetry-slot or ansatz-free SAT search (symmetry_sat_search/); a verified witness, not a maximum","sources":[{"regime":"symmetry-SAT search","file":"symmetry_sat_search/catalog/factories.json","label":"CS12_CS13_CCZ123 (N=6)","N":6,"d":2,"d_is_exact":true,"origin":null,"provenance":"archived symmetry-reduced CP-SAT binary-matrix export"}]},"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"}]}