Repetition code, distance 9 on QCCD — every architecture, ranked

One syndrome-extraction round of the Repetition code, distance 9 compiled onto every architecture, shipped and from the study's families; the circuit checked in stim, every program checked against the 20 rules and, where it passed, by the proved Lean checker (R10). Each dot is a design; pick what to rank by, click a dot for its numbers and the steps in the design tool where each claim can be checked.