{"id":"128.12.4.a","row":743,"stored":{"file":"master_catalog.json","row":743,"construction":null,"columns_sha256":null},"parameters":{"n":128,"k":12,"d":4,"N":20,"r":8,"level":3},"gate":{"string":"0,1,2+3,4,5+6,7,8+9,10,11","human":"CCZ0,1,2\u00b7CCZ3,4,5\u00b7CCZ6,7,8\u00b7CCZ9,10,11","monomials":[[0,1,2],[3,4,5],[6,7,8],[9,10,11]],"sk_key":[[0,1,2],[3,4,5],[6,7,8],[9,10,11]],"sk_fingerprint":"404f490b1a045768","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[19],[12,19],[13,19],[0,12,13,19],[14,19],[3,12,14,19],[13,14,19],[0,3,12,13,14,19],[15,19],[12,15,19],[13,15,19],[0,12,13,15,19],[1,14,15,19],[1,3,12,14,15,19],[1,13,14,15,19],[0,1,3,12,13,14,15,19],[16,19],[12,16,19],[4,13,16,19],[0,4,12,13,16,19],[14,16,19],[3,12,14,16,19],[4,13,14,16,19],[0,3,4,12,13,14,16,19],[15,16,19],[12,15,16,19],[4,13,15,16,19],[0,4,12,13,15,16,19],[1,14,15,16,19],[1,3,12,14,15,16,19],[1,4,13,14,15,16,19],[0,1,3,4,12,13,14,15,16,19],[17,19],[12,17,19],[13,17,19],[0,12,13,17,19],[14,17,19],[3,12,14,17,19],[13,14,17,19],[0,3,12,13,14,17,19],[5,15,17,19],[5,12,15,17,19],[5,13,15,17,19],[0,5,12,13,15,17,19],[1,5,14,15,17,19],[1,3,5,12,14,15,17,19],[1,5,13,14,15,17,19],[0,1,3,5,12,13,14,15,17,19],[2,16,17,19],[2,12,16,17,19],[2,4,13,16,17,19],[0,2,4,12,13,16,17,19],[2,14,16,17,19],[2,3,12,14,16,17,19],[2,4,13,14,16,17,19],[0,2,3,4,12,13,14,16,17,19],[2,5,15,16,17,19],[2,5,12,15,16,17,19],[2,4,5,13,15,16,17,19],[0,2,4,5,12,13,15,16,17,19],[1,2,5,14,15,16,17,19],[1,2,3,5,12,14,15,16,17,19],[1,2,4,5,13,14,15,16,17,19],[0,1,2,3,4,5,12,13,14,15,16,17,19],[18,19],[12,18,19],[13,18,19],[6,12,13,18,19],[14,18,19],[9,12,14,18,19],[13,14,18,19],[6,9,12,13,14,18,19],[15,18,19],[12,15,18,19],[13,15,18,19],[6,12,13,15,18,19],[7,14,15,18,19],[7,9,12,14,15,18,19],[7,13,14,15,18,19],[6,7,9,12,13,14,15,18,19],[16,18,19],[12,16,18,19],[10,13,16,18,19],[6,10,12,13,16,18,19],[14,16,18,19],[9,12,14,16,18,19],[10,13,14,16,18,19],[6,9,10,12,13,14,16,18,19],[15,16,18,19],[12,15,16,18,19],[10,13,15,16,18,19],[6,10,12,13,15,16,18,19],[7,14,15,16,18,19],[7,9,12,14,15,16,18,19],[7,10,13,14,15,16,18,19],[6,7,9,10,12,13,14,15,16,18,19],[17,18,19],[12,17,18,19],[13,17,18,19],[6,12,13,17,18,19],[14,17,18,19],[9,12,14,17,18,19],[13,14,17,18,19],[6,9,12,13,14,17,18,19],[11,15,17,18,19],[11,12,15,17,18,19],[11,13,15,17,18,19],[6,11,12,13,15,17,18,19],[7,11,14,15,17,18,19],[7,9,11,12,14,15,17,18,19],[7,11,13,14,15,17,18,19],[6,7,9,11,12,13,14,15,17,18,19],[8,16,17,18,19],[8,12,16,17,18,19],[8,10,13,16,17,18,19],[6,8,10,12,13,16,17,18,19],[8,14,16,17,18,19],[8,9,12,14,16,17,18,19],[8,10,13,14,16,17,18,19],[6,8,9,10,12,13,14,16,17,18,19],[8,11,15,16,17,18,19],[8,11,12,15,16,17,18,19],[8,10,11,13,15,16,17,18,19],[6,8,10,11,12,13,15,16,17,18,19],[7,8,11,14,15,16,17,18,19],[7,8,9,11,12,14,15,16,17,18,19],[7,8,10,11,13,14,15,16,17,18,19],[6,7,8,9,10,11,12,13,14,15,16,17,18,19]]},"distance":{"d":4,"is_exact":true,"upper":4,"witness":[0,1,2,3],"A_d":83387,"certified":null},"clifford":{"kind":"none","correction":{"S":[],"CZ":[]},"rotation_powers":[]},"metrics":{"gamma":1.707518749639422,"gamma_t":null,"gamma_rho":2.0,"gamma_claim":1.707518749639422,"gamma_t_claim":null,"gamma_rho_claim":2.0,"v_ex":8,"rate":0.09375,"t_count":null,"poly_degree":null,"effective_width":12},"provenance":{"regimes":["AI search: punctured r=7 simplex parents"],"discovery":"AI search","strongest_claim":"found by the 48 < n < 128 AI campaigns, from punctured r=7 simplex parents with free-row appending; a verified witness, not a maximum","sources":[{"regime":"AI search: punctured r=7 simplex parents","file":"magic-states-AI/campaign_48to128/found/n128_ccz4_d4_parent.json","label":"9","N":20,"d":4,"d_is_exact":true,"origin":null,"provenance":"n128_ccz4_d4_parent.json[0]"}]},"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"}]}