{"id":"63.8.3.a","row":459,"stored":{"file":"master_catalog.json","row":459,"construction":null,"columns_sha256":null},"parameters":{"n":63,"k":8,"d":3,"N":18,"r":10,"level":3},"gate":{"string":"0+12+123+145+146+157+245+267","human":"T0\u00b7CS12\u00b7CCZ123\u00b7CCZ145\u00b7CCZ146\u00b7CCZ157\u00b7CCZ245\u00b7CCZ267","monomials":[[0],[1,2],[1,2,3],[1,4,5],[1,4,6],[1,5,7],[2,4,5],[2,6,7]],"sk_key":[[0],[1,2],[1,2,3],[1,4,5],[1,4,6],[1,5,7],[2,4,5],[2,6,7]],"sk_fingerprint":"b70ae6343fafcf7f","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,8],[0,9],[0,8,9],[0,10],[0,8,10],[0,9,10],[0,8,9,10],[11],[8,11],[9,11],[8,9,11],[10,11],[8,10,11],[9,10,11],[8,9,10,11],[1,2,3,4,5,6,7,16],[3,5,12,16],[2,3,5,7,13,16],[1,2,3,4,5,6,12,13,16],[3,4,5,14,16],[3,5,6,7,12,14,16],[3,5,6,13,14,16],[2,3,4,5,7,12,13,14,16],[1,3,6,7,15,16],[1,2,3,4,12,15,16],[2,3,4,7,13,15,16],[2,3,6,12,13,15,16],[2,3,14,15,16],[1,2,3,4,6,7,12,14,15,16],[3,4,6,13,14,15,16],[1,2,3,7,12,13,14,15,16],[2,4,6,7,17],[1,4,5,6,12,17],[1,2,5,6,13,17],[1,2,6,7,12,13,17],[1,2,5,6,7,14,17],[1,6,12,14,17],[4,6,13,14,17],[1,4,5,6,7,12,13,14,17],[2,5,15,17],[1,2,7,12,15,17],[4,7,13,15,17],[2,4,5,12,13,15,17],[1,2,4,14,15,17],[1,2,4,5,7,12,14,15,17],[1,2,5,7,13,14,15,17],[12,13,14,15,17],[2,16,17],[2,12,16,17],[1,13,16,17],[12,13,16,17],[1,2,14,16,17],[1,12,14,16,17],[1,2,13,14,16,17],[12,13,14,16,17],[15,16,17],[1,2,12,15,16,17],[2,13,15,16,17],[12,13,15,16,17],[1,14,15,16,17],[12,14,15,16,17],[13,14,15,16,17],[12,13,14,15,16,17]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,2],"A_d":291,"certified":null},"clifford":{"kind":"required","correction":{"S":[[0,1],[1,1],[2,3]],"CZ":[[1,3],[1,6],[1,7],[1,15],[2,3],[2,4],[2,5],[2,14],[2,15]]},"rotation_powers":null},"metrics":{"gamma":1.8784544884470498,"gamma_t":null,"gamma_rho":null,"gamma_claim":1.8784544884470498,"gamma_t_claim":null,"gamma_rho_claim":null,"v_ex":null,"rate":0.12698412698412698,"t_count":null,"poly_degree":null,"effective_width":8},"provenance":{"regimes":["AI search: generalised triorthogonal search 55<=n<=64"],"discovery":"AI search","strongest_claim":"found by the AI-assisted public search for generalised triorthogonal protocols at lengths 55-64; a verified witness, not a maximum","sources":[{"regime":"AI search: generalised triorthogonal search 55<=n<=64","file":"data/protocols/index.json","label":"release record 81033","N":18,"d":3,"d_is_exact":true,"origin":"search_public_release_adam","provenance":"record 81033 of the released catalogue, stored length 63","notes":"re-verified against factorylib/verification.py in audit_ours/results/audit_report.json; declared d_Z=3"}]},"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"}]}