Compiler Roadmap
Where the Ori compiler is today, what ships next, and what's already done.
3%
12 In Progress
20 Planned
1 Shipped
Complete In Progress Planned
In Progress
12 sections 2 Stdlib Modules In Progress Standard library modules including validate, resilience, math, testing, time, json, fs 2% 5/246 3 std.text — Comprehensive Text Processing In Progress Implement std.text per the approved stdlib-text-api-proposal — a 7-layer text library covering Unicode properties, grapheme segmentation, display width, normalization, case folding, string similarity, text analysis (from Pretext), pluggable measurement, production-quality line breaking, bidi, confusable detection, encoding conversion, and high-level convenience functions. 0% 0/134 14 Bindings & Types In Progress Implement binding syntax changes and type system simplifications across six approved proposals. 16% 22/138 25 Full Parser Support In Progress Complete parser support for entire Ori spec grammar (parsing only — evaluator in Section 23) 0% 0/267 26 Type System Foundation In Progress Fix type checking to properly use type annotations 0% 0/90 27 Complete Type Inference In Progress Full Hindley-Milner type inference 0% 0/29 28 Traits and Implementations In Progress Trait-based polymorphism 0% 0/407 29 Module System In Progress Multi-file compilation 0% 0/149 30 Type Declarations In Progress User-defined types 0% 0/139 31 Capabilities System In Progress Effect tracking (moved earlier to unblock Section 8 cache and Section 11 FFI) 0% 0/178 32 Core Built-ins In Progress Type conversions, assertions, I/O, and core built-in functions 0% 0/152 33 Option & Result In Progress Option and Result type methods 0% 0/61
Planned
20 sections 4 Pattern Evaluation Planned All patterns evaluate correctly 0% 0/168 5 Match Expressions Planned Full pattern matching support 0% 0/89 6 Control Flow Planned Complete control flow constructs 0% 0/151 7 Foreign Function Interface (FFI) Planned Enable Ori to call C libraries, system APIs, and JavaScript APIs (WASM target) 0% 0/160 8 Variadic Functions Planned Enable functions with variable number of arguments 0% 0/73 9 Conditional Compilation Planned Enable platform-specific code and feature flags 0% 0/144 10 Testing Framework Planned Configurable test enforcement with dependency-aware execution and incremental test execution during compilation 0% 0/148 11 Attributes & Comments Planned Implement approved attribute syntax changes and comment restrictions 0% 0/43 12 Function Syntax Planned Implement function-related syntax proposals 0% 0/113 13 Literals & Operators Planned Implement string interpolation, spread operator, range step syntax, and pipe operator 0% 0/183 15 Async Support Planned Suspend-based concurrency via capabilities (verified 2026-03-29) 0% 0/51 16 Concurrency Extended Planned Complete concurrency support with Sendable trait, role-based channels, nursery pattern, and structured concurrency 0% 0/129 17 Const Generics Planned Enable type parameters that are compile-time constant values 0% 0/132 18 Existential Types (impl Trait) Planned Enable returning opaque types that implement a trait without exposing concrete type 0% 0/57 19 Compile-Time Reflection Planned 0% 0/110 20 Compile-Time Struct Construction Planned 0% 0/87 21 LLVM Backend Planned Cure LEAK:algorithmic-duplication on realize/walk* + emit_rc/ by consolidating scattered decision logic into the existing canonical decide_rc() pure function (compiler_repo/compiler/ori_arc/src/aims/realize/decide.rs:165); extend the function's call surface to receive proof-obligation metadata (filled in §21.20.2) without changing emission behavior. Refactor-only — no observable behavior change. RL-1..RL-34 coverage audit lands here per the GAP:spec-vs-realization blocker surfaced in Phase 1D. 0% 0/272 22 AOT Compilation Planned 0% 0/226 23 Tooling Planned Developer experience 0% 0/168 24 Full Evaluator Support Planned Complete evaluator support for entire Ori spec semantics (parsing assumed working — see Section 0) 0% 0/72
Shipped Completed
1 sections
Feature & Subsystem Plans
Deeper workstreams that run alongside the roadmap — performance engineering, memory-system upgrades, new language features, and backend work.
Active
Typeck Inference Completeness Typeck Inference Completeness: Empty-Container Phase-Contract + Body-Inference Gaps + Dispatch + Fallback Active Enum SSOT Enum Layout SSOT & Take-Project Hardening Active Repr Opt Representation Optimization & ARC Intelligence Active Arch Best Practices Compiler Architecture Best Practices Active Semantic Opt Semantic Optimization Pipeline Active AIMS Burden Tracking AIMS Burden Tracking — Perceus + Registry Active AOT Mono Completeness AOT Monomorphization Completeness Active AOT Perf AOT Codegen Performance Active Deep Safety Deep Safety: Ori vs Rust for Systems Programming Active Index Assignment Index and Field Assignment via Copy-on-Write Desugaring Active Rosetta Stress Test Active
Queued
Locality SSOT Locality Representation Unification — SSOT for Escape Classification Queued Iter Ownership Iterator Element Ownership Protocol Queued Parser Perf Parser Frontend Performance & API Queued Interp Perf Interpreter Performance Engineering Queued FFI Boundary Safety FFI Boundary Safety — Deep FFI Part 2 Queued ARC Opts Clang ARC Lessons: AIMS Optimization Enhancements Queued Capability Unification Generics Capability Unification & Generics Upgrade Queued Capset Named Capability Sets (capset) Queued Labeled Block Queued Native Backend Queued Typed Lambda Inferred Return Typed-Parameter Lambdas with Inferred Return Type Queued
Shipped
22 plans
AIMS-10 AIMS-10: All Code Journeys to 10/10 Shipped Closure Ownership ApplyIndirect Closure Ownership Model Shipped Diag Tooling Diagnostic Tooling Improvements Shipped Fat Ptr Fat Pointer Hardening: All 17 Journeys to 10/10 Shipped Iter RC Iterator-Collection RC Ownership Contract Shipped JIT EH JIT Exception Handling Shipped macOS AOT Fixes macOS AOT Failure Investigation Shipped Plan Routing Unification Roadmap Plan Routing Unification Shipped RC Elem Dec RC Header elem_dec_fn — Proper Element Cleanup for Fat Pointer Collections Shipped RC Integrity RC Integrity: Leak-Free Codegen & Matrix Regression Guard Shipped Type Registry Type Strategy Registry Shipped Verify Roadmap Verify Roadmap Redesign — Cross-Plan Coherence Auditor Shipped Codegen Purity Codegen Purity: Hand-Written Assembly Quality at -O0 Shipped Completion Authority Completion Authority Gate Shipped EH Personality Ori EH Personality Shipped Lang Intelligence Language Intelligence Graph Shipped Merkle Pool Merkle Pool Identity Shipped Plan Bug Subsumption Plan-Bug Subsumption — `subsumes:` relationship type Shipped Scripts First Restructure Scripts-First Restructure — rebuild scripts-first-workflow-architecture as JSON-routing-only + autonomous engine Shipped Value Semantics Value Semantics Optimization Shipped Website JSON Native Loaders website_repo Astro loaders → plan.json native (§35.7 / Decision 14) Shipped While Loop Shipped
Current Test Results
Feb 23, 2026 4,518 Rust unit tests (workspace)
All Passing 57 Skipped
57 Runtime library (ori_rt)
All Passing
360 Rust unit tests (ori_llvm)
All Passing 15 Skipped
878 AOT integration tests
All Passing 44 Skipped
PASSED WASM playground build
Passed
3,895 Ori spec (interpreter)
All Passing 42 Skipped
154 Ori spec (LLVM backend)
All Passing 10 Skipped3,773 LC Fail
Total 9,862 passed 168 skipped 3,773 LC fail
Language Proposals
Design decisions and rationale for language features. Proposals go through draft review before approval or rejection.
139 approved 37 drafts 7 rejected
View all proposals Follow along
The compiler is developed in the open — releases, changelog, and source live on GitHub.