{"id":"20.3.2.a","row":17,"stored":{"file":"master_catalog.json","row":17,"construction":null,"columns_sha256":null},"parameters":{"n":20,"k":3,"d":2,"N":6,"r":3,"level":3},"gate":{"string":"0+12","human":"T0\u00b7CS12","monomials":[[0],[1,2]],"sk_key":[[0],[1,2]],"sk_fingerprint":"d319ab70add49eca","sk_canonical_frame":true,"relabelled_into_canonical_frame":true},"circuit":{"columns":[[3],[4],[5],[0,5],[3,5],[4,5],[0,1,3],[0,1,4],[1,3,4],[0,2,3],[0,2,4],[2,3,4],[0,3,4],[0,3,5],[0,4,5],[3,4,5],[0,1,2,3],[0,1,2,4],[1,2,3,4],[0,3,4,5]]},"distance":{"d":2,"is_exact":true,"upper":2,"witness":[0,6],"A_d":22,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,3],[1,1],[2,1],[3,2],[4,2]],"CZ":[[0,3],[0,4],[3,4]]},"rotation_powers":[[2,7],[3,7],[6,5],[8,3],[9,5],[11,3],[12,3],[15,3],[16,3],[17,3],[19,3]]},"metrics":{"gamma":2.736965594166206,"gamma_t":2.321928094887362,"gamma_rho":3.3219280948873626,"gamma_claim":2.736965594166206,"gamma_t_claim":2.321928094887362,"gamma_rho_claim":3.3219280948873626,"v_ex":2,"rate":0.15,"t_count":4,"poly_degree":2,"effective_width":3},"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-row051-symmetry-free","N":6,"d":2,"d_is_exact":true,"origin":"https://github.com/shraggy/Magic_state_factory_search at cae4982, outputs/factory_catalogue_l3.csv row 51","provenance":"symmetry-free l=3 parts=2+1 checks=3"}]},"references":[{"key":"nezami2022classification","short":"Nezami & Haah (2022)","full":"S. Nezami and J. Haah, \"Classification of small triorthogonal codes,\" Phys. Rev. A 106, 012437 (2022).","url":"https://doi.org/10.1103/PhysRevA.106.012437","date":"2022-07-28"}]}