Concepts

What it is, and why it is that way

Every subsystem in the kit gets a page: what it does today, the invariant it protects, and the reasoning that produced it. Read them in order for the tour, or jump to the one you are about to change. The full reference lives in docs/CONCEPTS.md in the repo.