The AI-native systems language.
Where the compiler, runtime, and agent tooling are unified primitives.
Rust proved memory safety without garbage collection is possible. Polonis proves it is possible with the features Rust still has on its roadmap — Polonius Alpha-grade borrow checking, first-class subtypes, comptime, and native AI primitives — built in from day one.
We are not a Rust fork. We are what Rust would be if it started today.
Polonis treats the AI agent as a first-class user of the compiler.
Every error ships with a machine-readable fix plan.
Agents submit semantic operations, not text diffs.
Not libraries — language primitives with type-level dimension checking.
Authority verified at compile time, not runtime.
Polonius Alpha-grade from day one. Lending iterators work out of the box.
Async, errors, and resources as one system. No runtime lock-in.
Why code exists, and how fast it must run — inline in the source.
Agent state checkpoints to JSON and restores with exact fidelity.
Polonis is defined by nine RFCs. They are public and under active revision.
Polonis is in active design. The compiler is not yet available. The RFCs define the language; implementation follows.