Leaderboard
One board per task. A task is a fixed circuit, physics package and cost table; every design on a board ran one syndrome-extraction round of that circuit, was replayed against the 23 rules and, where it passed, checked by the proved Lean checker (R10). Each row ranks its designs by running time; open a task for the full plot, where you can rank by anything and click a dot to step the programme in the studio.
BB [[144,12,12]]
One syndrome-extraction round of the bivariate-bicycle [[144,12,12]] code: 144 weight-6 checks, 864 two-qubit contacts.
Repetition code, distance 9
One syndrome-extraction round of the distance-9 repetition code: 8 weight-2 Z checks.
Five-qubit code [[5,1,3]]
One syndrome-extraction round of the [[5,1,3]] code: four weight-4 mixed-Pauli checks.
Steane code [[7,1,3]]
One syndrome-extraction round of the Steane code: three X and three Z weight-4 checks.
Surface code, distance 3 (17 qubits)
One syndrome-extraction round of the distance-3 rotated surface code: eight stabilizers on 9 data qubits.
Contributing a design from the studio (Verify → Contribute) arrives in phase 3 of the plan; until then the boards carry the study's seed entries.