stab_12_2_2
[[12,2,2]] engineering not started[[12,2,2]] CSS code
Description
CSS code that admits a logical CS gate via application of physical T and T^{\dagger} gates. A stabilizer tableau for the code is given by \cite[Fig. 6]{arxiv:2303.15615} \begin{align} \begin{array}{cccccccccccc} X & X & X & X & …
Introduced in: arxiv:2303.15615
Rationale
Re-scored 2026-05-24: `hasCodeDistance_two_of_anticommute_witness` (Framework/Core/CSS/CSSDistance.lean, PR #34) is now exercised by 3 codes (FourQubit_4_2_2, CSS_4_1_2, Iceberg/N) and provides a proven, reusable distance-2 closer for small CSS detection codes. Effort bumped +1 to reflect the marginal-cost reduction; reuse remains 10. Previous rationale: [[12,2,2]] small CSS detection code. Direct instance.
Scoring composite 7.90
Reuse
10/10 ×0.25
Canon
3/10 ×0.15
Hardware
3/10 ×0.15
Tract
10/10 ×0.15
Prereq
10/10 ×0.2
Effort
10/10 ×0.1