Compiler Roadmap
33 sections. Click any section to view full details.
0 Completed
28 In Progress
5 Planned
27%
Blocking Tracks
Typeck Inference Completeness Typeck Inference Completeness: Empty-Container Phase-Contract + Body-Inference Gaps + Dispatch + Fallback LLVM Verify LLVM & AIMS Verification Tooling Enum SSOT Enum Layout SSOT & Take-Project Hardening Repr Opt Representation Optimization & ARC Intelligence Arch Best Practices Compiler Architecture Best Practices LLVM Isolation LLVM Worker Subprocess Isolation Hygiene Full-2 Implementation Hygiene Full Sweep #2 Test Health Test Suite Health: LCFail Elimination & Performance Optimization Semantic Opt Semantic Optimization Pipeline Journey Rework Code Journey Rework: From Broken Scoring to Real Bug-Finding aot-perf AOT Codegen Performance Deep Safety Deep Safety: Ori vs Rust for Systems Programming Project Reorganization Project Reorganization Locality SSOT Locality Representation Unification — SSOT for Escape Classification Iter Ownership Iterator Element Ownership Protocol Parser Perf Parser Frontend Performance & API Interp Perf Interpreter Performance Engineering ffi-boundary-safety FFI Boundary Safety — Deep FFI Part 2 ARC Opts Clang ARC Lessons: AIMS Optimization Enhancements Pkg Mgmt Package Management Rosetta Stress Rosetta Code Compiler Stress Test AIMS-10 AIMS-10: All Code Journeys to 10/10 Closure Ownership ApplyIndirect Closure Ownership Model Diag Tooling Diagnostic Tooling Improvements Fat Ptr Fat Pointer Hardening: All 17 Journeys to 10/10 Iter RC Iterator-Collection RC Ownership Contract JIT EH JIT Exception Handling macOS AOT Fixes macOS AOT Failure Investigation RC Elem Dec RC Header elem_dec_fn — Proper Element Cleanup for Fat Pointer Collections RC Integrity RC Integrity: Leak-Free Codegen & Matrix Regression Guard Plan Routing Unification Roadmap Plan Routing Unification Type Registry Type Strategy Registry Verify Roadmap Verify Roadmap Redesign — Cross-Plan Coherence Auditor Inline TPR Inline TPR Transport: Remove Sub-Agent Layer Codegen Purity Codegen Purity: Hand-Written Assembly Quality at -O0 lang-intelligence Language Intelligence Graph Merkle Pool Merkle Pool Identity EH Personality Ori EH Personality Value Semantics Value Semantics Optimization Ori UI Framework Ori-Native GPU-Accelerated UI Framework — Research & Design
Parallel Tracks
Complete In Progress Planned Active Track Queued Track
In Progress
28 sections
Section 0 In Progress
Full Parser Support
212/267 tasks
212/267 tasks
Section 1 In Progress
Type System Foundation
68/90 tasks
68/90 tasks
Section 2 In Progress
Complete Type Inference
18/29 tasks
18/29 tasks
Section 3 In Progress
Traits and Implementations
245/407 tasks
245/407 tasks
Section 4 In Progress
Module System
47/149 tasks
47/149 tasks
Section 5 In Progress
Type Declarations
53/139 tasks
53/139 tasks
Section 6 In Progress
Capabilities System
16/178 tasks
16/178 tasks
Section 7A In Progress
Core Built-ins
32/152 tasks
32/152 tasks
Section 7B In Progress
Option & Result
17/61 tasks
17/61 tasks
Section 7C In Progress
Collections & Iteration
46/95 tasks
46/95 tasks
Section 7D In Progress
Stdlib Modules
12/250 tasks
12/250 tasks
Section 8 In Progress
Pattern Evaluation
16/168 tasks
16/168 tasks
Section 9 In Progress
Match Expressions
35/86 tasks
35/86 tasks
Section 10 In Progress
Control Flow
37/137 tasks
37/137 tasks
Section 11 In Progress
Foreign Function Interface (FFI)
13/160 tasks
13/160 tasks
Section 12 In Progress
Variadic Functions
11/73 tasks
11/73 tasks
Section 13 In Progress
Conditional Compilation
16/144 tasks
16/144 tasks
Section 14 In Progress
Testing Framework
10/148 tasks
10/148 tasks
Section 15A In Progress
Attributes & Comments
11/43 tasks
11/43 tasks
Section 15B In Progress
Function Syntax
25/113 tasks
25/113 tasks
Section 15C In Progress
Literals & Operators
53/183 tasks
53/183 tasks
Section 15D In Progress
Bindings & Types
16/113 tasks
16/113 tasks
Section 18 In Progress
Const Generics
9/132 tasks
9/132 tasks
Section 19 In Progress
Existential Types (impl Trait)
2/57 tasks
2/57 tasks
Section 21A In Progress
LLVM Backend
85/251 tasks
85/251 tasks
Section 21B In Progress
AOT Compilation
69/226 tasks
69/226 tasks
Section 22 In Progress
Tooling
37/166 tasks
37/166 tasks
Section 23 In Progress
Full Evaluator Support
20/72 tasks
20/72 tasks
Planned
5 sections
Section 7E Not Started
std.text — Comprehensive Text Processing
0/130 tasks
0/130 tasks
Section 16 Not Started
Async Support
0/51 tasks
0/51 tasks
Section 17 Not Started
Concurrency Extended
0/129 tasks
0/129 tasks
Section 20 Not Started
Compile-Time Reflection
0/110 tasks
0/110 tasks
Section 20A Not Started
Compile-Time Struct Construction
0/87 tasks
0/87 tasks
Completed
0 sections
Current Test Results
Mar 5, 2026 7,252 Rust unit tests (workspace)
All Passing 87 Skipped
329 Runtime library (ori_rt)
All Passing
4,153 Ori spec (interpreter)
All Passing 42 Skipped
Total 11,734 passed 129 skipped
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 Want to contribute?
The roadmap lives in plans/roadmap/. Each section has detailed implementation tasks.