{"id":"157.29.3.a","row":782,"stored":{"file":"master_catalog.json","row":782,"construction":null,"columns_sha256":null},"parameters":{"n":157,"k":29,"d":3,"N":38,"r":9,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25+26+27+28","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16\u00b7T17\u00b7T18\u00b7T19\u00b7T20\u00b7T21\u00b7T22\u00b7T23\u00b7T24\u00b7T25\u00b7T26\u00b7T27\u00b7T28","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28]],"sk_fingerprint":"944bc573b650cccf","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[5,6,8,11,12,14,15,17,21,22,23,25,26,27,29,35,36],[17,32],[0,1,3,4,5,7,9,13,14,16,18,20,22,24,25,35,37],[4,7,8,10,13,15,16,17,18,19,20,21,24,25,27,28,29,30,35],[4,5,6,7,10,11,12,13,14,15,16,18,19,20,23,24,25,28,29,30,34,36],[0,1,3,4,5,7,9,13,15,16,17,18,20,24,29,31,34,35,37],[14,31,33,34],[26,32,33,34],[0,1,3,4,5,6,9,11,12,15,17,18,19,22,23,25,26,30,35,36,37],[22,31,32,35],[15,31,33,35],[4,5,10,18,28,33],[4,6,8,10,11,12,18,21,22,23,25,27,28,36],[29],[0,1,3,4,8,9,17,18,19,21,22,25,26,27,29,30,32,35,37],[0,2,4,6,12,14,15,17,18,21,22,23,26,28,29,30,34,37],[13,15,16,20,22,23,25,27,29,30,31,32,33,34,37],[0,1,2,3,4,5,6,11,13,14,17,20,26,28,29,30,32,34,37],[1,2,5,8,9,10,12,13,14,15,18,19,20,22,23,25,29,30,33,36],[1,2,8,9,10,11,14,16,18,19,21,24,27,31,32,35,37],[1,3,4,13,15,18,20,22,23,31,32,33,34,35],[0,3,6,8,10,12,15,17,18,19,21,22,23,24,25,26,28,31,32,34,37],[0,1,6,8,10,11,15,16,17,19,21,22,23,26,27,28,29,30,32,33],[12,34,35,36],[1,3,5,9,16,18,21,24,25,27,29,30,31,33,35,36,37],[27,30],[0,2,4,8,10,12,13,14,15,17,20,21,22,24,25,26,28,32,35,37],[1,5,6,11,12,15,16,20,21,22,23,24,25,27,29,31,32,34,35],[1,2,4,8,9,11,13,14,18,19,21,24,27,30,32,33,35,36,37],[20,31,34,37],[0,2,3,4,6,8,10,12,13,14,15,16,17,21,22,23,24,25,26,27,28,30,32,33,34,35,37],[0,1,6,8,9,10,11,12,15,17,18,19,22,23,25,26,28,30,32,36,37],[0,1,2,3,4,5,6,10,11,13,14,17,20,23,26,28,29,32,34,37],[1,2,6,9,10,11,12,15,16,17,18,22,23,25,26,27,28,32,36],[2,4,6,8,10,11,14,15,17,21,29,31,33,34,36,37],[2,5,7,8,9,10,17,18,19,20,21,23,24,26,27,28,29,30,31,32,35,36,37],[0,1,2,4,6,7,9,12,14,18,20,21,22,23,25,26,27,28,29,30,31,32],[0,1,2,6,7,9,10,11,12,15,17,18,20,22,25,26,28,30,33,34,35,36],[0,2,3,4,7,8,10,11,14,15,17,20,21,27,29,30,32,33,35,36],[2,31,33,34,35,37],[0,1,2,3,4,5,8,10,12,14,16,17,19,22,23,24,25,34,36,37],[1,2,7,8,9,10,11,15,17,18,20,32,33,35,36,37],[1,4,6,7,8,10,13,15,17,19,21,26,27,30,33,34,36,37],[0,1,2,3,4,5,6,10,11,13,15,20,22,25,26,30,34,37],[5,6,11,12,15,17,18,21,22,23,26,27,28,30,36],[0,1,2,3,4,5,6,8,10,11,13,15,17,18,20,22,29,32,35,37],[28,31,32,34],[0,2,3,5,7,8,11,15,17,19,20,21,27,28,29,31,34,36],[0,3,4,7,9,11,12,13,17,18,21,22,23,25,26,27,28,30,32],[1,4,10,11,12,15,16,20,21,23,24,25,27,28,29,30,31,32,33,34,35,37],[2,8,9,10,12,13,14,18,19,20,22,23,25,28,29,30,31,32,33,34,36],[18,32,33,35],[0,1,2,3,4,8,10,12,13,14,17,18,20,21,22,23,25,26,27,28,29,30,34,35,36,37],[0,1,3,4,5,6,8,9,11,12,15,17,18,19,22,23,25,26,29,35,36,37],[0,2,3,5,6,12,13,14,15,16,17,21,22,23,24,26,27,32,33],[1,6,16,20,22,24,25,33,34,35,36,37],[3,4,13,16,18,24,25,27,29,30,31,34,35,36,37],[0,3,4,5,6,8,9,13,15,17,18,19,21,22,23,24,25,26,28,32,33,35,37],[0,1,3,4,6,8,9,11,12,15,17,18,19,22,23,24,25,26,28,31,32,33,37],[1,31,34,36],[3,5,10,11,12,13,16,18,21,24,25,27,29,30,33,36,37],[2,6,7,10,11,12,14,18,20,22,23,24,25,26,27,28,29,34,35,37],[0,3,4,5,7,9,11,12,13,17,18,22,23,25,27,30,31,32,34,35,36],[2,3,5,6,7,10,11,12,14,15,21,24,25,26,27,28,29,31,32,34,37],[0,1,3,4,5,7,9,13,15,16,17,18,20,24,29,31,33,36,37],[2,5,6,7,9,10,11,12,14,15,16,18,24,26,28,30,31,32,33,35],[1,3,4,5,6,7,8,9,10,11,12,13,18,19,20,21,22,23,26,27,28,30,32,35,36,37],[1,2,6,7,9,10,11,12,14,18,20,21,22,23,25,26,27,28,29,31,35,36,37],[1,4,5,6,7,8,9,10,13,15,19,21,26,27,28,30,31,34,35,37],[0,5,9,10,17,18,19,21,23,24,26,28,29,32,34,35,36,37],[6,31,33,37],[0,3,5,6,8,9,10,16,17,18,19,21,24,26,27,28,29,31,33,35,36,37],[8,32,34,37],[1,2,7,8,9,10,13,15,17,18,19,20,24,27,29,30],[5,7,8,9,10,16,17,18,21,24,26,28,29,31,32,33,36,37],[1,2,6,9,10,13,15,17,18,20,23,24,29,30,31,32,33,34],[0,31,32,33,35,37],[1,2,3,5,6,13,15,20,21,23,26,27,28,30,32,36],[0,1,2,3,7,9,10,13,15,16,17,18,20,24,29,30,31,33,34,35],[5,6,8,11,12,14,15,17,21,22,23,25,26,27,29,31,35,36],[0,1,3,4,5,7,9,13,14,16,18,20,22,24,25,33,35,37],[4,7,8,10,13,15,16,17,18,19,20,21,24,25,27,28,29,30,31,32,33,35],[4,5,6,7,10,11,12,13,14,15,16,18,19,20,23,24,25,28,29,30,36],[0,1,3,4,5,6,9,11,12,15,17,18,19,22,23,25,26,30,36,37],[4,5,10,18,28,32,35],[4,6,8,10,11,12,18,21,22,23,25,27,28,31,34,35,36],[29,32,34,35],[25,33,34,35],[0,1,3,4,8,9,17,18,19,21,22,25,26,27,29,30,31,33,34,37],[0,2,4,6,12,14,15,17,18,21,22,23,26,28,29,30,34,36,37],[13,15,16,20,22,23,25,27,29,30,33,34,36,37],[0,1,2,3,4,5,6,11,13,14,17,20,26,28,29,30,31,32,33,34,36,37],[24,32,33,36],[1,2,5,8,9,10,12,13,14,15,18,19,20,22,23,25,29,30,31,33,34],[4,31,32,33,34],[1,2,8,9,10,11,14,16,18,19,21,24,27,31,32,33,34,35,36,37],[1,3,4,13,15,18,20,22,23,35,36],[0,3,6,8,10,12,15,17,18,19,21,22,23,24,25,26,28,32,34,35,36,37],[21,32,35,36],[0,1,6,8,10,11,15,16,17,19,21,22,23,26,27,28,29,30,32,35,36],[5,31,32,33,35,36],[1,3,5,9,16,18,21,24,25,27,29,30,32,33,34,37],[11,31,33,34,35,36],[9,32,33,34,35,36],[27,30,37],[0,2,4,8,10,12,13,14,15,17,20,21,22,24,25,26,28,31,35],[1,5,6,11,12,15,16,20,21,22,23,24,25,27,29,32,33,34,35,37],[1,2,4,8,9,11,13,14,18,19,21,24,27,30,35,36],[0,1,6,8,9,10,11,12,15,17,18,19,22,23,25,26,28,30,32,33,34,36],[0,1,2,3,4,5,6,10,11,13,14,17,20,23,26,28,29,31,33],[1,2,6,9,10,11,12,15,16,17,18,22,23,25,26,27,28,31,32,35,36,37],[2,4,6,8,10,11,14,15,17,21,29,31,32,33,34,35,36],[2,5,7,8,9,10,17,18,19,20,21,23,24,26,27,28,29,30,31,32,33,36],[0,1,2,4,6,7,9,12,14,18,20,21,22,23,25,26,27,28,29,30,33,35,37],[0,1,2,6,7,9,10,11,12,15,17,18,20,22,25,26,28,30,33,36,37],[0,2,3,4,7,8,10,11,14,15,17,20,21,27,29,30,31,33,34,36,37],[0,1,2,3,4,5,8,10,12,14,16,17,19,22,23,24,25,32,33,35,36],[1,2,7,8,9,10,11,15,17,18,20,31,32,33,35,36,37],[1,4,6,7,8,10,13,15,17,19,21,26,27,30,32,33,34,36,37],[0,1,2,3,4,5,6,10,11,13,15,20,22,25,26,30,33,34,37],[5,6,11,12,15,17,18,21,22,23,26,27,28,30,31,32,33,36],[0,1,2,3,4,5,6,8,10,11,13,15,17,18,20,22,29,32,34,35,37],[0,2,3,5,7,8,11,15,17,19,20,21,27,28,29,33,36],[0,3,4,7,9,11,12,13,17,18,21,22,23,25,26,27,28,30,33,34],[0,2,3,4,6,8,10,12,13,14,15,16,17,21,22,23,24,25,26,27,28,30,33],[1,4,10,11,12,15,16,20,21,23,24,25,27,28,29,30,33,34,37],[2,8,9,10,12,13,14,18,19,20,22,23,25,28,29,30,32,34,35,36],[0,1,2,3,4,8,10,12,13,14,17,18,20,21,22,23,25,26,27,28,29,30,31,36,37],[0,1,3,4,5,6,8,9,11,12,15,17,18,19,22,23,25,26,29,32,34,36,37],[0,2,3,5,6,12,13,14,15,16,17,21,22,23,24,26,27,32,34,35],[1,6,16,20,22,24,25,31,32,36,37],[3,4,13,16,18,24,25,27,29,30,31,34,35,37],[0,3,4,5,6,8,9,13,15,17,18,19,21,22,23,24,25,26,28,31,33,35,36,37],[0,1,3,4,6,8,9,11,12,15,17,18,19,22,23,24,25,26,28,31,36,37],[10,32,34,36],[13,33,34,36],[3,5,10,11,12,13,16,18,21,24,25,27,29,30,31,32,34,37],[2,6,7,10,11,12,14,18,20,22,23,24,25,26,27,28,29,31,34,36,37],[0,3,4,5,7,9,11,12,13,17,18,22,23,25,27,30,31,34],[2,3,5,6,7,10,11,12,14,15,21,24,25,26,27,28,29,31,32,33,34,35,36,37],[2,5,6,7,9,10,11,12,14,15,16,18,24,26,28,30,31,32,33,34,36],[1,3,4,5,6,7,8,9,10,11,12,13,18,19,20,21,22,23,26,27,28,30,31,34,37],[1,2,6,7,9,10,11,12,14,18,20,21,22,23,25,26,27,28,29,33,34,37],[1,4,5,6,7,8,9,10,13,15,19,21,26,27,28,30,31,32,33,36,37],[27,37],[0,5,9,10,17,18,19,21,23,24,26,28,29,31,34,35,36],[16,32,33,37],[0,3,5,6,8,9,10,16,17,18,19,21,24,26,27,28,29,33,34,35,36],[3,33,34,37],[23,31,32,33,34,37],[1,2,7,8,9,10,13,15,17,18,19,20,24,27,29,30,31,35,37],[5,7,8,9,10,16,17,18,21,24,26,28,29,31,33,35,36],[1,2,6,9,10,13,15,17,18,20,23,24,29,30,31,32,34,35,37],[1,2,3,5,6,13,15,20,21,23,26,27,28,30,32,34,35,36,37],[19,31,32,34,35,37],[0,1,2,3,7,9,10,13,15,16,17,18,20,24,29,30,37],[7,32,33,34,35,37]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,3,44],"A_d":1230,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,3],[1,2],[2,2],[3,3],[5,2],[6,2],[7,2],[8,2],[9,2],[10,2],[11,1],[12,2],[13,3],[14,2],[15,3],[16,3],[17,3],[18,2],[19,1],[20,2],[21,2],[22,2],[23,2],[24,3],[25,2],[26,2],[27,2],[28,2],[29,1],[30,1],[31,1],[32,1],[33,2],[35,2],[36,1],[37,1]],"CZ":[[0,1],[0,2],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,12],[0,14],[0,18],[0,20],[0,21],[0,22],[0,23],[0,25],[0,26],[0,27],[0,28],[0,29],[0,30],[0,32],[0,33],[0,37],[1,3],[1,4],[1,5],[1,7],[1,9],[1,13],[1,15],[1,16],[1,17],[1,18],[1,20],[1,24],[1,29],[1,32],[1,35],[1,37],[2,3],[2,4],[2,6],[2,8],[2,10],[2,12],[2,13],[2,14],[2,15],[2,16],[2,17],[2,21],[2,22],[2,23],[2,24],[2,25],[2,26],[2,27],[2,28],[2,30],[2,33],[2,35],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,12],[3,14],[3,18],[3,20],[3,21],[3,22],[3,23],[3,25],[3,26],[3,27],[3,28],[3,29],[3,30],[3,32],[3,33],[3,37],[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[4,12],[4,14],[4,18],[4,20],[4,21],[4,22],[4,23],[4,25],[4,26],[4,27],[4,28],[4,29],[4,30],[4,31],[4,32],[4,36],[4,37],[5,7],[5,9],[5,13],[5,15],[5,16],[5,17],[5,18],[5,20],[5,24],[5,29],[5,32],[5,35],[5,37],[6,8],[6,10],[6,12],[6,13],[6,14],[6,15],[6,16],[6,17],[6,21],[6,22],[6,23],[6,24],[6,25],[6,26],[6,27],[6,28],[6,30],[6,33],[6,35],[7,9],[7,13],[7,15],[7,16],[7,17],[7,18],[7,20],[7,24],[7,29],[7,32],[7,35],[7,37],[8,10],[8,12],[8,13],[8,14],[8,15],[8,16],[8,17],[8,21],[8,22],[8,23],[8,24],[8,25],[8,26],[8,27],[8,28],[8,30],[8,33],[8,35],[9,13],[9,15],[9,16],[9,17],[9,18],[9,20],[9,24],[9,29],[9,32],[9,35],[9,37],[10,12],[10,13],[10,14],[10,15],[10,16],[10,17],[10,21],[10,22],[10,23],[10,24],[10,25],[10,26],[10,27],[10,28],[10,30],[10,33],[10,35],[12,13],[12,14],[12,15],[12,16],[12,17],[12,21],[12,22],[12,23],[12,24],[12,25],[12,26],[12,27],[12,28],[12,30],[12,33],[12,35],[13,14],[13,18],[13,20],[13,21],[13,22],[13,23],[13,25],[13,26],[13,27],[13,28],[13,29],[13,30],[13,32],[13,33],[13,37],[14,15],[14,16],[14,17],[14,21],[14,22],[14,23],[14,24],[14,25],[14,26],[14,27],[14,28],[14,30],[14,33],[14,35],[15,18],[15,20],[15,21],[15,22],[15,23],[15,25],[15,26],[15,27],[15,28],[15,29],[15,30],[15,32],[15,33],[15,37],[16,18],[16,20],[16,21],[16,22],[16,23],[16,25],[16,26],[16,27],[16,28],[16,29],[16,30],[16,32],[16,33],[16,37],[17,18],[17,20],[17,21],[17,22],[17,23],[17,25],[17,26],[17,27],[17,28],[17,29],[17,30],[17,32],[17,33],[17,37],[18,20],[18,24],[18,29],[18,32],[18,35],[18,37],[20,24],[20,29],[20,32],[20,35],[20,37],[21,22],[21,23],[21,24],[21,25],[21,26],[21,27],[21,28],[21,30],[21,33],[21,35],[22,23],[22,24],[22,25],[22,26],[22,27],[22,28],[22,30],[22,33],[22,35],[23,24],[23,25],[23,26],[23,27],[23,28],[23,30],[23,33],[23,35],[24,25],[24,26],[24,27],[24,28],[24,29],[24,30],[24,32],[24,33],[24,37],[25,26],[25,27],[25,28],[25,30],[25,33],[25,35],[26,27],[26,28],[26,30],[26,33],[26,35],[27,28],[27,30],[27,33],[27,35],[28,30],[28,33],[28,35],[29,32],[29,35],[29,37],[30,33],[30,35],[31,33],[31,36],[32,35],[32,37],[33,35],[33,36],[35,37]]},"rotation_powers":[[1,5],[2,5],[3,5],[4,3],[5,7],[6,5],[9,3],[10,3],[12,3],[15,5],[16,7],[18,5],[19,7],[20,3],[21,5],[22,5],[23,5],[24,5],[26,3],[27,5],[28,3],[35,3],[36,3],[38,3],[39,3],[41,5],[43,7],[44,3],[45,5],[49,7],[51,3],[53,3],[54,3],[57,3],[59,3],[60,3],[62,3],[63,3],[65,3],[66,3],[67,3],[68,3],[69,5],[73,3],[74,3],[75,3],[76,3],[79,3],[80,3],[81,7],[82,5],[83,5],[85,3],[87,3],[90,3],[92,3],[95,3],[96,3],[97,3],[99,3],[101,3],[104,3],[106,3],[108,3],[109,3],[112,3],[113,3],[115,3],[117,3],[118,3],[121,3],[122,3],[123,3],[125,3],[128,3],[129,3],[132,3],[134,3],[135,3],[136,3],[137,3],[145,3],[147,3],[150,3],[151,3],[152,3],[154,3],[156,3]]},"metrics":{"gamma":1.5373485193847718,"gamma_t":null,"gamma_rho":1.5373485193847718,"gamma_claim":1.5373485193847718,"gamma_t_claim":null,"gamma_rho_claim":1.5373485193847718,"v_ex":29,"rate":0.18471337579617833,"t_count":null,"poly_degree":null,"effective_width":29},"provenance":{"regimes":["AI search (gamma frontier): from Wills parent codes"],"discovery":"AI search","strongest_claim":"built from one of Wills's parent codes (weighted Reed-Muller, restricted-light or one-heavy) by searched punctures, paired-column contractions or logical-pair checks, in the pure-T distillation-exponent release (gamma = log(n/k)/log d, n < 1000); a verified witness, not a maximum -- only the release's own frontier points are the lowest gamma it knows","sources":[{"regime":"AI search (gamma frontier): from Wills parent codes","file":"gamma_frontier_release/protocols/paired_column_contraction_157_29_3_973bf059080a.json","label":"paired_column_contraction_157_29_3_973bf059080a","N":38,"d":3,"d_is_exact":true,"origin":"Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=48), with searched graph punctures; 3 paired-column contractions","provenance":"gamma frontier release record paired_column_contraction_157_29_3_973bf059080a (source catalogue id paired_column_contraction_157_29_3_973bf059080a); construction: Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=48), with searched graph punctures; 3 paired-column contractions; matrix 973bf059080a286d...; the release states d=3 (exact), gamma=1.5373485193847718 (exact)","notes":"matrix gamma_frontier_release/matrices/973bf059080a286d51ceb588d1b92f85ae87e6f75bdc8c55833addec27782c1f.matrix"}]},"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"}]}