856.5 ms (jones) / 651.6 ms (transport) · 1.0 ions per transport instruction · not buildable · up to 2 waveforms a cycle, no select bits, shims 0.3 ms at 1:1 / 4.2 ms at 1:16 · R10: Lean checker + tableau
a hub per check and per data qubit, a contact trap on each of the 864 Tanner edges: no device makes the contacts shorter. 856.5 ms at one ion per transport instruction -- under the random graphs (1,036 and 1,126 ms), over the torus (516.4). It runs under the one-waveform model (control.model simd_classes: one motion a cycle, the R22 split) on direct wiring, so its time is an upper bound for a direct machine. Before the R22 split it was 79.5 ms.