Compiler Roadmap
Where the Ori compiler is today, what ships next, and what's already done.
1%
1 In Progress
32 Planned
0 Shipped
Complete In Progress Planned
In Progress
1 sectionsPlanned
32 sections 2 Function Syntax Planned Implement function-related syntax proposals 0% 0/207 3 Bindings & Types Planned Implement binding syntax changes and type system simplifications across six approved proposals. 14% 22/161 4 Attributes & Comments Planned Implement approved attribute syntax changes and comment restrictions 0% 0/43 5 Control Flow Planned Complete control flow constructs 0% 0/151 6 Match Expressions Planned Full pattern matching support 0% 0/89 7 Pattern Evaluation Planned All patterns evaluate correctly 0% 0/168 8 Full Parser Support Planned Complete parser support for entire Ori spec grammar (parsing only — evaluator in Section 23) 0% 0/268 9 Type System Foundation Planned Fix type checking to properly use type annotations 0% 0/91 10 Complete Type Inference Planned Full Hindley-Milner type inference 0% 0/29 11 Traits and Implementations Planned Trait-based polymorphism 0% 0/408 12 Const Generics Planned Enable type parameters that are compile-time constant values 0% 0/132 13 Existential Types (impl Trait) Planned Enable returning opaque types that implement a trait without exposing concrete type 0% 0/57 14 Variadic Functions Planned Enable functions with variable number of arguments 0% 0/73 15 Conditional Compilation Planned Enable platform-specific code and feature flags 0% 0/144 16 Compile-Time Reflection Planned 0% 0/110 17 Compile-Time Struct Construction Planned 0% 0/87 18 Full Evaluator Support Planned Complete evaluator support for entire Ori spec semantics (parsing assumed working — see Section 0) 0% 0/73 19 Concurrency Extended Planned Complete concurrency support with Sendable trait, role-based channels, nursery pattern, and structured concurrency 0% 0/129 20 Async Support Planned Suspend-based concurrency via capabilities (verified 2026-03-29) 0% 0/51 21 Foreign Function Interface (FFI) Planned Enable Ori to call C libraries, system APIs, and JavaScript APIs (WASM target) 0% 0/160 22 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/273 23 AOT Compilation Planned 0% 0/227 24 Collections & Iteration Planned Collection methods, iterator traits, and Debug trait 0% 0/95 25 std.text — Comprehensive Text Processing Planned 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/137 26 Stdlib Modules Planned Standard library modules including validate, resilience, math, testing, time, json, fs 0% 0/243 27 Testing Framework Planned Configurable test enforcement with dependency-aware execution and incremental test execution during compilation 0% 0/148 28 Tooling Planned Developer experience 0% 0/169 29 Type Declarations Planned User-defined types 0% 0/139 30 Capabilities System Planned Effect tracking (moved earlier to unblock Section 8 cache and Section 11 FFI) 0% 0/178 31 Core Built-ins Planned Type conversions, assertions, I/O, and core built-in functions 0% 0/152 32 Option & Result Planned Option and Result type methods 0% 0/61 33 Module System Planned Multi-file compilation 0% 0/149
Shipped Completed
0 sections
Feature & Subsystem Plans
Deeper workstreams that run alongside the roadmap — performance engineering, memory-system upgrades, new language features, and backend work.
Active
Repr Opt Multi-Backend Representation Optimization & ARC Intelligence Active Arch Best Practices Compiler Architecture Best Practices Active Semantic Opt Semantic Optimization Pipeline Active Ai Os Platform Active AIMS Executable Seam Hardening Active AIMS Provenance Ledger Active AOT Mono Stdlib Completeness Active AOT Perf AOT Codegen Performance Active Backend Boundary Active Backend Conditional Test Disposition Active Benchmark Grind Lexer Active Bytecode Vm Active Call Site Method Generics Grammar Alignment Active Commit Push Durability Active Enum Layout SSOT Active Harness Dist Rollout Active Index Assignment Active Rosetta Stress Test Active Typeck Inference Completeness Active Workflow Engine Rework Active
Queued
Iter Ownership Iterator Element Ownership Protocol Queued FFI Boundary Safety FFI Boundary Safety — Deep FFI Part 2 Queued Auto Vectorization Queued Binary Generation Lifecycle Queued Cache Lifecycle Queued Capability Unification Generics Capability Unification & Generics Upgrade Queued Capset Queued Commit Push Session Isolation Queued Compiler Spec System Queued Context Sensitive Rule Delivery Queued Cross Plan Alignment Queued Fallible Let Binding Queued Labeled Block Queued Native Backend Queued Ori Fix Queued Ownership Opt Lessons Clang ARC Lessons: Logical Ownership and Physical Projection Optimizations Queued Rosetta Test Script Engine Queued Selected Type Import Constructors Queued Spec JSON Corpus Queued Typed Lambda Inferred Return Typed-Parameter Lambdas with Inferred Return Type Queued
Shipped
61 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 AIMS Burden Tracking Shipped AIMS RC Remarks Shipped Canonical Consumer Boundary Shipped Codegen Purity Codegen Purity: Hand-Written Assembly Quality at -O0 Shipped Completion Authority Completion Authority Gate Shipped Consolidate Shipped Dynamic Section Regrounding Shipped EH Personality Ori EH Personality Shipped Evolution Candidate Intel Package Shipped Evolution Empirical Redesign Shipped Functional Mission Lifecycle Shipped Fused Interner Ev14 Shipped Graph Driven Hygiene Shipped Graph Native Bug Relatedness Shipped Grind Exhaustion Forward Escalation Shipped Grind Hygiene Sweep Shipped Harness Distribution Shipped Hygiene Graph Seam Detection Shipped Idx Provenance Diagnostic Shipped Impl Hygiene Review Matrix Walk Shipped Impl Hygiene Review Run Lifecycle Shipped Impl Hygiene Rewrite V3 Shipped Impl Hygiene Rules As Data Shipped Installable Harness Shipped Intel Graph Deepening Shipped Intel Graph Precision Shipped Intel Package Dossier Rebuild Shipped Lang Intelligence Language Intelligence Graph Shipped Ledger Coordinate Migration Shipped Ledger Matrix Shipped Ledger Matrix Replacement Shipped Lex Error Test Contract Shipped Merkle Pool Merkle Pool Identity Shipped Odin Competitive Shipped Parser Perf Shipped Plan Bug Subsumption Plan-Bug Subsumption — `subsumes:` relationship type Shipped Plan Forward Coherence Shipped Query Intel Always Fresh Shipped Roadmap LLVM Verification Shipped Scip Emission Shipped Scripts First Restructure Scripts-First Restructure — rebuild scripts-first-workflow-architecture as JSON-routing-only + autonomous engine Shipped Section Review Workflow Shipped Test Runner Modernization Shipped Tracing Observability Hygiene Shipped Ub Safety Threat Model 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 Zeroed Plan Forensic Review 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.