Honest Scope and Roadmap

Honest Scope & Roadmap

This page states what's real and checkable today vs. what's aspirational, following the project's own discipline (see goal.md's "Honest correction" notes referenced in Design Philosophy).

Shipped and checkable

Ownership/affine, concurrency primitives, sandbox/stop, effects inference, struct/enum/match/generics, Option/Result prelude, Vector/Matrix linalg (compiled), str/tcp/connect/listen/ accept (compiled), box/&/* (compiled), deterministic RNG, identity/role/claim, structured diagnostics, the UI engine (emit-ui/ serve), project scaffolding (init), the GBNF artifact, the benchmark harness.

Interpreter-only (rejected at compile time, not mis-compiled)

spawn/join/thread/chan/send/recv, sandbox, and struct/enum/match over affine-containing payloads, plus every db/json/http builtin, identity (oidc_validate_token/check_role/ extract_claim), transact, and workflow — none of these is in codegen.rs's PHASE4_BUILTINS/PHASE5_BUILTINS/STR_CRYPTO_BUILTINS/ RAND_BUILTINS allowlists, so nirdosha build/emit-llvm names the specific unsupported builtin and stops, rather than silently miscompiling it. A program that never actually uses one compiles normally. See Architecture's note on check_supported — grep that function for the current ground truth, not this list, if the two ever drift.

Aspirational, not built

Row 10's full ambition (reproducible builds, content-addressed source, capability manifests at the kernel boundary, a signed provenance chain) — a future implementation pass extending the deterministic-RNG foundation, not a current claim. See Design Philosophy row 10.

Open follow-ups

• Per-size monomorphization of the det/kalman runtime kernels (see Benchmarks for the performance gap this would close).
• bench/'s real-LLM integration (see LLM Integration — the harness ships with mock models today).
• UI DSL's paginate/searchable/sortable DSL keys (nirdosha serve --db already provides real sorting/search/pagination unconditionally per struct — see The UI Engine — these two keys specifically remain parsed but inert).

For precise syntax and semantics, the compiler sources under compiler/ are the authoritative reference.

Where the live roadmap lives

• PUBLIC_ROADMAP.md — the scannable version.
• ROADMAP.md — the full internal tracker with verification detail.