Learn

One path: the course inside the design tool, then the reference, then a real design stepped instruction by instruction. Every lesson opens the studio on its exercise and checks your work against the page's own verdicts; progress is kept in this browser by the course itself. Open the course.

The course

Part A · 6 lessons

What you are looking at

The map you will build on: sites, junctions, segments, loops and zones, and what one move costs.

Part B · 8 lessons

Programming by hand

Ions on the map: a CNOT, a Bell pair and a docked rotation, written by hand in the eleven verbs.

Part R · 9 lessons

The rules the machine must obey

Every rule the machine obeys, broken on purpose and repaired, or the honest reason it cannot be checked here.

Part C · 4 lessons

Circuits by hand

A syndrome round and a plaquette, scheduled by hand under all the rules, with the heat paid for.

Part D · 4 lessons

Architecture decisions with the compiler

Let the compiler do it, then judge an architecture from measured numbers on the leaderboard's tasks.

The reference

device language.arch.json — the architecture description languageOne document describes a machine: its trap graph, zones, wiring and the curves of its primitives. control IRTSIR — the control IRThe eleven verbs a programme is written in, and what each one costs. the rulesThe rules, and what the verifier can honestly say about eachAll 23 rules, what each one checks, and what the verifier can honestly say about it. physics and metalqccd/phys/ — the electrodes a device impliesFrom the graph to electrodes: the metal a device implies, and its design rules.

A real design

Every leaderboard entry is a worked example: the executing instruction is marked in the programme, the circuit statement it discharges beside it, and #step=N links any step. The fastest verified round of each task: