{"id":"20.5.2.b","row":22,"stored":{"file":"master_catalog.json","row":22,"construction":null,"columns_sha256":null},"parameters":{"n":20,"k":5,"d":2,"N":6,"r":1,"level":3},"gate":{"string":"012+013+023+124","human":"CCZ012\u00b7CCZ013\u00b7CCZ023\u00b7CCZ124","monomials":[[0,1,2],[0,1,3],[0,2,3],[1,2,4]],"sk_key":[[0,1,2],[0,1,3],[0,2,3],[1,2,4]],"sk_fingerprint":"e4a39b24c6d5f655","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[1,5],[0,1,5],[2,5],[0,2,5],[0,3,5],[1,3,5],[2,3,5],[0,1,2,3,5],[4,5],[0,4,5],[1,4,5],[0,1,4,5],[2,4,5],[0,2,4,5],[1,2,4,5],[0,1,2,4,5],[0,3,4,5],[0,1,3,4,5],[0,2,3,4,5],[0,1,2,3,4,5]]},"distance":{"d":2,"is_exact":true,"upper":2,"witness":[0,1],"A_d":190,"certified":null},"clifford":{"kind":"required","correction":{"S":[[0,2],[1,3],[2,3],[4,2],[5,2]],"CZ":[[0,1],[0,2],[0,3],[1,4],[1,5],[2,4],[2,5]]},"rotation_powers":null},"metrics":{"gamma":2.0,"gamma_t":0.8624964762500651,"gamma_rho":null,"gamma_claim":2.0,"gamma_t_claim":0.8624964762500651,"gamma_rho_claim":null,"v_ex":null,"rate":0.25,"t_count":11,"poly_degree":3,"effective_width":5},"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":"CCZ123_CCZ124_CCZ134_CCZ235 (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"}]}