Type Strategy Registry
14 sections
100%
Section 1 Core Data Model Design Section 2 Crate Scaffolding & Purity Enforcement Section 3 Primitive Type Definitions (int, float, bool, byte, char) Section 4 String Type Definition Section 5 Compound Type Definitions Section 6 Collection & Wrapper Type Definitions Section 7 Iterator & DoubleEndedIterator Type Definitions Section 8 Query API & Lookup Functions Section 9 Wire Type Checker (ori_types) Section 10 Wire Evaluator (ori_eval) Section 11 Wire ARC & Borrow Pass (ori_arc) Section 12 Wire LLVM Backend (ori_llvm) — OpStrategy Dispatch & Builtin Simplification Section 13 Migrate ori_ir & Legacy Consolidation Section 14 Enforcement Tests, Testing Matrix & Exit Criteria
Overview
Eliminate cross-phase drift permanently by creating a single, pure-data crate (ori_registry) that declares the complete behavioral specification of every builtin type — methods, operators, ownership, memory strategy — as const data that all compiler phases consume. No phase hard-codes type knowledge independently. One declaration per fact, one source of truth, structural enforcement via Rust's type system.
Completed
14 sections
Section 1 Complete
Core Data Model Design
86/86 tasks
86/86 tasks
Section 2 Complete
Crate Scaffolding & Purity Enforcement
63/63 tasks
63/63 tasks
Section 3 Complete
Primitive Type Definitions (int, float, bool, byte, char)
55/55 tasks
55/55 tasks
Section 4 Complete
String Type Definition
0/0 tasks
Section 5 Complete
Compound Type Definitions
111/111 tasks
111/111 tasks
Section 6 Complete
Collection & Wrapper Type Definitions
0/0 tasks
Section 7 Complete
Iterator & DoubleEndedIterator Type Definitions
Complete pure-data TypeDef declarations for Iterator<T> and DoubleEndedIterator<T>, including all adapter/consumer methods, DEI-only gating, and CollectionMethod enum mapping
0/0 tasks
Section 8 Complete
Query API & Lookup Functions
52/52 tasks
52/52 tasks
Section 9 Complete
Wire Type Checker (ori_types)
173/173 tasks
173/173 tasks
Section 10 Complete
Wire Evaluator (ori_eval)
63/63 tasks
63/63 tasks
Section 11 Complete
Wire ARC & Borrow Pass (ori_arc)
69/69 tasks
69/69 tasks
Section 12 Complete
Wire LLVM Backend (ori_llvm) — OpStrategy Dispatch & Builtin Simplification
95/95 tasks
95/95 tasks
Section 13 Complete
Migrate ori_ir & Legacy Consolidation
95/95 tasks
95/95 tasks
Section 14 Complete
Enforcement Tests, Testing Matrix & Exit Criteria
197/201 tasks
201/201 tasks