stab_10_1_2
[[10,1,2]] engineering not started[[10,1,2]] Vasmer-Kubica code
Description
A stabilizer code obtained by morphing the [[15,1,3]] quantum Reed-Muller code on a subset whose child code is the [[8,3,2]] smallest interesting color code \cite{arxiv:2112.01446}. This is the smallest code that implements a fault-…
Introduced in: arxiv:2112.01446
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: [[10,1,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