{"id":"255.1.5.a","row":902,"stored":{"file":"master_catalog.json","row":902,"construction":null,"columns_sha256":null},"parameters":{"n":255,"k":1,"d":5,"N":17,"r":16,"level":3},"gate":{"string":"0","human":"T0","monomials":[[0]],"sk_key":[[0]],"sk_fingerprint":"bc179efd84e614ba","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,9],[0,2,12],[0,1,2,9,10,11,12],[3,15],[1,3,9,11,13,15],[0,2,3,12,13,14,15],[0,1,2,3,9,10,12,14,15],[0,4,10,12,13,14],[0,1,4,9,10,13,14,15],[0,2,4,10,13,16],[0,1,2,4,9,11,12,13,15,16],[3,4,9,10,11,14,15,16],[1,3,4,10,12,13,14,16],[2,3,4,9,10,11,12,13,14,15],[1,2,3,4,11,14],[5,9,11,12,15,16],[1,5,9,15,16],[2,5,9,10,11,12,13,14,16],[1,2,5,9,11,13,14,16],[3,5,11,14,15,16],[1,3,5,11,12,13,14,15,16],[2,3,5,10,11,14,16],[1,2,3,5,12,13,14,16],[0,4,5,9,10,12,14,15],[0,1,4,5,9,10,11,12,14],[2,4,5,9,12,13,14,16],[1,2,4,5,9,10,12,13,14,15,16],[3,4,5,9,10,11,12,13,15,16],[1,3,4,5,9,10,11,12,16],[0,2,3,4,5,9,11,12,13,14],[0,1,2,3,4,5,9,10,12,14,15],[6,10,11,14],[1,6,9,10,13,14,15],[2,6,10,11,15],[1,2,6,9,11,13],[0,3,6,9,13,16],[0,1,3,6,13,15,16],[0,2,3,6,9,15,16],[0,1,2,3,6,10,11,16],[0,4,6,9,10,13,14,15],[0,1,4,6,10,11,12,14,15],[2,4,6,9,10,13,14,16],[1,2,4,6,12,14,16],[0,3,4,6,9,12,13,15],[0,1,3,4,6,13,15],[2,3,4,6,9,12,14,16],[1,2,3,4,6,10,11,14,16],[5,6,9,10,11,12,13,14,15],[1,5,6,9,10,11,14],[0,2,5,6,9,11,14,15],[0,1,2,5,6,9,10,12,13,14],[0,3,5,6,9,14,16],[0,1,3,5,6,9,11,12,14,15,16],[2,3,5,6,9,10,12,16],[1,2,3,5,6,9,15,16],[0,4,5,6,10,11,13,14,16],[0,1,4,5,6,10,11,14,16],[0,2,4,5,6,11,12],[0,1,2,4,5,6,10,12,13],[0,3,4,5,6,9,11,13,14,15,16],[0,1,3,4,5,6,9,13,14,15,16],[0,2,3,4,5,6,9,10,11,12,13,14,15],[0,1,2,3,4,5,6,9,11,12,13,14,15],[7,9,11,12,14],[1,7,9,14,16],[0,2,7,9,10,11,12,13,14,16],[0,1,2,7,9,11,13,14],[3,7,10,12],[1,3,7,10,13,16],[0,2,3,7,12,14,16],[0,1,2,3,7,10,11,13,14],[4,7,11,12,13,14,15,16],[1,4,7,12,13,14],[2,4,7,10,11,12,15,16],[1,2,4,7,11,12],[0,3,4,7,10,11,15],[0,1,3,4,7,10,11,13,16],[0,2,3,4,7,11,15],[0,1,2,3,4,7,10,13,16],[5,7,9,10,11,12,13,14,16],[1,5,7,10,11,12,13,14],[2,5,7,9,10,11,13,15],[1,2,5,7,13,15,16],[3,5,7,9,13,14,15,16],[1,3,5,7,11,14,15],[2,3,5,7,9,12,14],[1,2,3,5,7,10,12,13,14,16],[4,5,7,10,13,14,15,16],[1,4,5,7,9,10,12,13,14],[0,2,4,5,7,10,12,13,14,16],[0,1,2,4,5,7,9,11,13,14,15],[0,3,4,5,7,9,14],[0,1,3,4,5,7,11,12,13,14,15,16],[2,3,4,5,7,9,12,13,15],[1,2,3,4,5,7,10,16],[6,7,9,10,11,12,13,15,16],[1,6,7,9,10,11],[2,6,7,9,11,14],[1,2,6,7,9,10,12,13,14,15,16],[0,3,6,7,9,10,11,12],[0,1,3,6,7,9,10,15,16],[0,2,3,6,7,9,11,15,16],[0,1,2,3,6,7,9,10,11,12],[4,6,7,9,14,15],[1,4,6,7,9,13,14,15,16],[0,2,4,6,7,9,10,12,13,14],[1,2,4,6,7,9,11,12,14,16],[3,4,6,7,11,12,14],[0,1,3,4,6,7,12,14,16],[0,2,3,4,6,7,10,11,15],[0,1,2,3,4,6,7,11,15,16],[5,6,7,9,12,13,15,16],[1,5,6,7,11,12],[0,2,5,6,7,9,12,13,15],[1,2,5,6,7,10,12,16],[0,3,5,6,7,14,15],[0,1,3,5,6,7,9,14,16],[2,3,5,6,7,13,15,16],[0,1,2,3,5,6,7,9,10,11,13],[4,5,6,7,9,10,12,13,14,15,16],[1,4,5,6,7,10,11,14,15],[2,4,5,6,7,9,10,12,13,15,16],[1,2,4,5,6,7,15],[3,4,5,6,7,9,10,11,12,13,15,16],[0,1,3,4,5,6,7,10,11,13,15],[0,2,3,4,5,6,7,9,10,11,12,15,16],[1,2,3,4,5,6,7,15],[0,8,9,11,13,14,15],[1,8,9,10,11,14,15,16],[2,8,9,14,15],[0,1,2,8,9,11,13,14,15,16],[0,3,8,9,13,16],[1,3,8,9,10,11,13],[2,3,8,9,11,13,14,16],[0,1,2,3,8,9,11,13,14],[4,8,13,15],[0,1,4,8,10,12,16],[2,4,8,11,14,15,16],[0,1,2,4,8,12,13,14],[0,3,4,8,9,12,14],[1,3,4,8,9,10,11,14,15,16],[0,2,3,4,8,9,11,12,14,16],[1,2,3,4,8,9,11,14,15],[0,5,8,9,10,13,14,16],[1,5,8,11,12,14],[0,2,5,8,9,11,12,13,15,16],[1,2,5,8,11,15],[0,3,5,8,10,11,12,13,14],[1,3,5,8,9,11,13,14,16],[0,2,3,5,8,14,15],[0,1,2,3,5,8,9,11,12,14,15,16],[4,5,8,10,12],[0,1,4,5,8,9,11,12,13,15,16],[0,2,4,5,8,11,15,16],[1,2,4,5,8,9,11,13],[0,3,4,5,8,10,12,13],[0,1,3,4,5,8,9,12,13,15,16],[2,3,4,5,8,11,14,15,16],[0,1,2,3,4,5,8,9,14],[6,8,9,13,16],[0,1,6,8,9,10,11,13,15],[2,6,8,9,11,12,14,15,16],[0,1,2,6,8,9,11,12,14],[0,3,6,8,10,16],[0,1,3,6,8,13,15],[0,2,3,6,8,10,11,12,15,16],[1,2,3,6,8,10,12,13],[0,4,6,8,9,10,12,13,15,16],[1,4,6,8,9,11,13,15],[2,4,6,8,9,10,11],[0,1,2,4,6,8,9,10,11,12,16],[0,3,4,6,8,9,11,13,15],[0,1,3,4,6,8,9,10,11,12,15,16],[0,2,3,4,6,8,9,12,13,14,16],[1,2,3,4,6,8,9,11,14],[5,6,8,9,10,15,16],[0,1,5,6,8,12],[0,2,5,6,8,9,11,15,16],[1,2,5,6,8,12],[0,3,5,6,8,9,12,13,14,16],[0,1,3,5,6,8,10,11,14,15],[2,3,5,6,8,9,10,11,12,16],[1,2,3,5,6,8,10,11,13,15],[4,5,6,8,9,11,13],[0,1,4,5,6,8,10,11,13,16],[2,4,5,6,8,9,10,13,14,16],[0,1,2,4,5,6,8,10,11,13,14],[0,3,4,5,6,8,10,13,14,15,16],[1,3,4,5,6,8,9,11,14,15],[0,2,3,4,5,6,8,11,14,15],[1,2,3,4,5,6,8,9,11,13,14,15,16],[7,8,10,11,13,14,16],[0,1,7,8,9,12,14,16],[0,2,7,8,12,13,14],[0,1,2,7,8,9,14],[3,7,8,9,11,13,14],[1,3,7,8,10,11,12,13,14],[0,2,3,7,8,9,10,12,16],[0,1,2,3,7,8,10,11,16],[4,7,8,12,13,14,15],[0,1,4,7,8,9,10,11,12,14],[2,4,7,8,10,11,13,15],[1,2,4,7,8,9,10,11],[0,3,4,7,8,10,11,14,15],[1,3,4,7,8,9,11,14],[2,3,4,7,8,12,13,14,15],[0,1,2,3,4,7,8,9,11,12,13,14],[5,7,8,9,10,11,12,14],[1,5,7,8,9,11,12,13,14],[2,5,7,8,9,10,12,13,15,16],[1,2,5,7,8,9,10,11,12,15,16],[0,3,5,7,8,9,11,15,16],[1,3,5,7,8,9,10,15,16],[2,3,5,7,8,9],[0,1,2,3,5,7,8,9],[4,5,7,8,9,11,12,13,14,15],[1,4,5,7,8,9,10,11,14],[0,2,4,5,7,8,9,12,14],[0,1,2,4,5,7,8,9,11,13,14,15],[0,3,4,5,7,8,10,12],[1,3,4,5,7,8,11,15],[0,2,3,4,5,7,8,10,11,12,14,15],[1,2,3,4,5,7,8,10,11,14],[0,6,7,8,10,11,16],[1,6,7,8,9,11,12,15,16],[2,6,7,8,14,15],[0,1,2,6,7,8,9,11,12,14],[0,3,6,7,8,10,13,14,15,16],[1,3,6,7,8,9,11,12,14,16],[2,3,6,7,8,11,14],[0,1,2,3,6,7,8,9,11,12,13,14,15],[4,6,7,8,9,10,11,14],[0,1,4,6,7,8,11,14],[2,4,6,7,8,9,14,15],[1,2,4,6,7,8,11,14,15],[0,3,4,6,7,8,10,11,12,15,16],[1,3,4,6,7,8,9,12,13,15,16],[2,3,4,6,7,8,12,13,14,16],[1,2,3,4,6,7,8,9,12,14,16],[5,6,7,8,9,10,12,16],[0,1,5,6,7,8,9,11,12,15,16],[0,2,5,6,7,8,9,10,11,13],[1,2,5,6,7,8,9,10,11,13,15],[0,3,5,6,7,8,10,11,13,16],[1,3,5,6,7,8,11,15,16],[2,3,5,6,7,8,10,12,13,14],[1,2,3,5,6,7,8,10,11,12,14,15],[0,4,5,6,7,8,10,11,13,14,16],[1,4,5,6,7,8,12,13,14,16],[2,4,5,6,7,8,10,12,16],[1,2,4,5,6,7,8,10,16],[3,4,5,6,7,8,10,11,13,14],[1,3,4,5,6,7,8,11,12,14],[2,3,4,5,6,7,8,10,12,13,14],[1,2,3,4,5,6,7,8,10,11,14]]},"distance":{"d":5,"is_exact":true,"upper":5,"witness":[5,41,88,184,203],"A_d":62442,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1]],"CZ":[[0,1],[0,4],[0,5],[0,6],[0,7],[0,11],[0,12],[0,13],[0,16]]},"rotation_powers":[[0,3],[1,3],[2,3],[3,3],[4,3],[5,7],[6,7],[15,5],[17,5],[163,3],[166,3],[168,3],[169,3],[180,3],[181,3],[184,3],[185,3],[187,3],[188,3],[189,3],[190,3],[191,3],[192,3],[194,3],[196,3],[199,3],[206,3],[207,3],[208,3],[209,3],[211,3],[216,3],[221,3],[226,3],[230,3],[233,3],[235,3],[236,3],[238,3],[239,3],[240,3],[242,3],[243,3],[244,3],[246,3],[247,3],[248,3],[249,3],[254,3]]},"metrics":{"gamma":3.442980622208573,"gamma_t":3.442980622208573,"gamma_rho":3.442980622208573,"gamma_claim":3.442980622208573,"gamma_t_claim":3.442980622208573,"gamma_rho_claim":3.442980622208573,"v_ex":1,"rate":0.00392156862745098,"t_count":1,"poly_degree":1,"effective_width":1},"provenance":{"regimes":["AI search"],"discovery":"AI search","strongest_claim":"found by an AI search campaign; a verified witness, not a maximum","sources":[{"regime":"AI search","file":"master_catalog/catalogue_new","label":"T0","N":17,"d":5,"d_is_exact":true,"origin":"frontier_campaign","provenance":"frontier_campaign \u00b7 catalogue.jsonl:368"},{"regime":"AI search","file":"master_catalog/catalogue_new","label":"T0","N":17,"d":5,"d_is_exact":true,"origin":"frontier_campaign","provenance":"frontier_campaign \u00b7 catalogue.jsonl:369"}]},"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"}]}