the Forge
✓ 10/10 examples verified · rustc 1.97.1 · 2026-08-03Status
This page is the site grading its own homework.
Every fenced code example in the curriculum and corpus, and every committed example file, is compiled by the Forge in CI on every push and re-verified weekly against the newest stable toolchain. 3/3 error walkthroughs fail exactly as documented: the deliberately broken examples must produce the exact compiler error the lesson teaches, or the build does not ship.
rustc 1.97.1 (8bab26f4f 2026-07-14)
| example | mode | time | verdict |
|---|---|---|---|
| corpus/error-handling.md#1 | check | 86 ms | pass |
| corpus/error-handling.md#2 | check | 46 ms | pass |
| examples/borrowing/err-1.rs | compile-fail | 335 ms | pass |
| examples/borrowing/main-1.rs | check | 76 ms | pass |
| examples/error-handling/main-1.rs | check | 30 ms | pass |
| examples/hello-rust/main-1.rs | check | 33 ms | pass |
| examples/ownership/err-1.rs | compile-fail | 223 ms | pass |
| examples/ownership/main-1.rs | check | 49 ms | pass |
| examples/structs-enums/err-1.rs | compile-fail | 260 ms | pass |
| examples/structs-enums/main-1.rs | check | 33 ms | pass |
Provenance
Every push to main runs the vocabulary gates, the Forge, the drift checker, a compile check, and clippy; only then does it deploy. This binary was built from commit 6c6f266.
The shape of it
Browser ──HTTP──▶ Fly app learnrust-ai (axum + Leptos SSR/hydration)
├─ server fns ──sqlx──▶ Fly Postgres (progress, stats)
└─ search ─ Voyage embed ─▶ Qdrant (.internal)
Browser ──direct──▶ play.rust-lang.org/execute (run code live)Decisions, each one inspectable
- Leptos SSR over a SPA: HTML first, wasm hydration second.
src/app.rs - The curriculum is one validated data file; the build fails on a dangling prerequisite.
curriculum.toml,build.rs - The skill tree is pre-rendered SVG: zero layout code ships to the browser.
build.rs - Examples are committed files, compiled by the Forge; the bytes shown are the bytes verified.
examples/,tools/forge/ - Live code runs on the official Playground rather than a homegrown sandbox.
src/playground.rs - House style is enforced by the compiler and CI, not by asking nicely.
build.rs,.github/workflows/fly-deploy.yml