{"id":"20.4.2.b","row":20,"stored":{"file":"master_catalog.json","row":20,"construction":null,"columns_sha256":null},"parameters":{"n":20,"k":4,"d":2,"N":7,"r":3,"level":3},"gate":{"string":"0+123","human":"T0\u00b7CCZ123","monomials":[[0],[1,2,3]],"sk_key":[[0],[1,2,3]],"sk_fingerprint":"8297f0773a61313f","sk_canonical_frame":true,"relabelled_into_canonical_frame":true},"circuit":{"columns":[[4],[6],[1,5],[2,5],[3,5],[0,4],[0,5],[0,6],[4,5],[4,6],[5,6],[1,2,5],[1,3,5],[2,3,5],[0,4,5],[0,4,6],[0,5,6],[4,5,6],[1,2,3,5],[0,4,5,6]]},"distance":{"d":2,"is_exact":true,"upper":2,"witness":[0,5],"A_d":34,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,2],[2,2],[3,2],[5,1]],"CZ":[[1,2],[1,3],[2,3]]},"rotation_powers":[[0,3],[1,3],[2,3],[3,3],[4,3],[6,5],[14,3],[15,3],[16,3],[17,3],[18,3]]},"metrics":{"gamma":2.321928094887362,"gamma_t":1.5145731728297582,"gamma_rho":2.736965594166206,"gamma_claim":2.321928094887362,"gamma_t_claim":1.5145731728297582,"gamma_rho_claim":2.736965594166206,"v_ex":3,"rate":0.2,"t_count":7,"poly_degree":3,"effective_width":4},"provenance":{"regimes":["borrowed-identity search: symmetry-free"],"discovery":"pre-existing","strongest_claim":"found by the symmetry-free, targeted-output borrowed-identity search of Singh, Gidney and Jones (arXiv:2606.28518; borrowed_identities/), which solves for the check couplings of a chosen output; a verified witness, not a maximum","sources":[{"regime":"borrowed-identity search: symmetry-free","file":"borrowed_identities/circuits/circuits_l3.json","label":"l3-row087-symmetry-free","N":7,"d":2,"d_is_exact":true,"origin":"https://github.com/shraggy/Magic_state_factory_search at cae4982, outputs/factory_catalogue_l3.csv row 87","provenance":"symmetry-free l=3 parts=3+1 checks=3"}]},"references":[{"key":"bravyi2012magic","short":"Bravyi & Haah (2012)","full":"S. Bravyi and J. Haah, \"Magic-state distillation with low overhead,\" Phys. Rev. A 86, 052329 (2012).","url":"https://doi.org/10.1103/PhysRevA.86.052329","date":"2012-11-27"}]}