@@ -660,15 +660,25 @@ crates/
660660 knot-compiler/ Cranelift compiler producing native executables;
661661 CLI binary is `knot`
662662 knot-lsp/ Language server for editor integration (binary `knot-lsp`)
663+tools/
664+ migrate/ Schema-migration library (knot-migrate) used by the
665+ compiler's migration path
663666examples/ Example .knot programs
664667DESIGN.md Language specification
665−stdlib.md Standard library reference
668+knot.md Language reference (syntax, types, semantics)
669+stdlib.md Standard library reference (operators, types, units)
670+base.md `base` namespace reference (every builtin function)
671+AGENTS.md Contributor/agent guide (build, test, architecture)
666672```
667673
668674## Tests
669675
670676```sh
671−cargo test # All tests
672−cargo test -p knot # Frontend (parser/lexer) only
673−cargo test -p knot-compiler # Inference, codegen, etc.
677+cargo test # All tests (57 migrate + 18 runtime = 75)
678+cargo test -p knot-runtime # Runtime: SQLite, indexing, value repr
679+cargo test -p knot-migrate # Schema-migration logic
674680```
681+
682+Unit tests currently live in `knot-migrate` and `knot-runtime`; the
683+frontend/compiler/LSP are exercised end-to-end by building and running the
684+programs under [examples/](examples/).