Merge pull request #64 from upstat-io/dev

sync: docs, blog, plans, and fix COW/LLVM codegen issues

Author: elucidsoft

blog/building-ori-from-scratch.md

@@ -54,7 +54,7 @@ pub(super) fn erase_proj_increments(
                         // Erase entirely.
                         erased.push(idx);
                     }
-                    // If count > 1, we'd reduce by 1 — but for 0.1-alpha,
+                    // If count > 1, we'd reduce by 1 — but for 2026,
                     // single-count incs are the common case. Multi-count
                     // would need an edit-in-place, handled in a future pass.
                     claimed.insert(field, proj_var);

compiler/ori_arc/src/expand_reuse/analysis.rs

@@ -235,7 +235,7 @@ pub enum ArcTerminator {
         default: ArcBlockId,
     },
 
-    /// Call that may unwind (post-0.1-alpha, for panic/effect support).
+    /// Call that may unwind (post-2026, for panic/effect support).
     /// On success, jumps to `normal`; on unwind, jumps to `unwind`.
     Invoke {
         dst: ArcVarId,
@@ -250,7 +250,7 @@ pub enum ArcTerminator {
         unwind: ArcBlockId,
     },
 
-    /// Resume unwinding (post-0.1-alpha).
+    /// Resume unwinding (post-2026).
     Resume,
 
     /// Marks a block as unreachable (e.g., after exhaustive match).

compiler/ori_arc/src/ir/mod.rs

@@ -35,7 +35,7 @@ impl ArcLowerer<'_> {
             FunctionExpKind::Recurse => self.lower_exp_recurse(props, span),
             FunctionExpKind::Cache => self.lower_exp_cache(props, span),
             FunctionExpKind::Catch => self.lower_exp_catch(props, ty, span),
-            // Post-0.1-alpha — rejected by type checker (E2040), never reaches lowerer
+            // Post-2026 — rejected by type checker (E2040), never reaches lowerer
             FunctionExpKind::Parallel
             | FunctionExpKind::Spawn
             | FunctionExpKind::Timeout

compiler/ori_arc/src/lower/constructs.rs

@@ -184,6 +184,13 @@ pub fn compute_cow_annotations(
                 total_cow_ops += 1;
                 let receiver = args[0];
                 let mode = state.cow_mode(receiver);
+                tracing::debug!(
+                    block_idx,
+                    receiver = receiver.raw(),
+                    ?mode,
+                    receiver_uniqueness = %state.get(receiver),
+                    "COW Invoke annotation"
+                );
                 if mode != CowMode::Dynamic {
                     eliminated += 1;
                 }

compiler/ori_arc/src/uniqueness/annotations.rs

@@ -5,8 +5,8 @@
 //!
 //! # Specification
 //!
-//! - Eval rules: `docs/ori_lang/0.1-alpha/spec/operator-rules.md`
-//! - Prose: `docs/ori_lang/0.1-alpha/spec/09-expressions.md`
+//! - Eval rules: `docs/ori_lang/v2026/spec/operator-rules.md`
+//! - Prose: `docs/ori_lang/v2026/spec/09-expressions.md`
 
 use ori_ir::{Name, StringInterner};
 

compiler/ori_eval/src/exec/expr.rs

@@ -5,8 +5,8 @@
 //!
 //! # Specification
 //!
-//! - Eval rules: `docs/ori_lang/0.1-alpha/spec/operator-rules.md`
-//! - Prose: `docs/ori_lang/0.1-alpha/spec/09-expressions.md`
+//! - Eval rules: `docs/ori_lang/v2026/spec/operator-rules.md`
+//! - Prose: `docs/ori_lang/v2026/spec/09-expressions.md`
 //!
 //! Implementation must match the evaluation rules in operator-rules.md.
 //!

compiler/ori_eval/src/interpreter/mod.rs

@@ -4,9 +4,9 @@
 //!
 //! # Specification
 //!
-//! - Syntax: `docs/ori_lang/0.1-alpha/spec/grammar.ebnf` § EXPRESSIONS
-//! - Semantics: `docs/ori_lang/0.1-alpha/spec/operator-rules.md`
-//! - Prose: `docs/ori_lang/0.1-alpha/spec/09-expressions.md`
+//! - Syntax: `docs/ori_lang/v2026/spec/grammar.ebnf` § EXPRESSIONS
+//! - Semantics: `docs/ori_lang/v2026/spec/operator-rules.md`
+//! - Prose: `docs/ori_lang/v2026/spec/09-expressions.md`
 //!
 //! # Design Notes
 //! Per design spec A-data-structures.md:

compiler/ori_ir/src/ast/expr.rs

@@ -4,9 +4,9 @@
 //!
 //! # Specification
 //!
-//! - Syntax: `docs/ori_lang/0.1-alpha/spec/grammar.ebnf` § EXPRESSIONS
-//! - Semantics: `docs/ori_lang/0.1-alpha/spec/operator-rules.md`
-//! - Precedence: `docs/ori_lang/0.1-alpha/spec/operator-rules.md` § Precedence Table
+//! - Syntax: `docs/ori_lang/v2026/spec/grammar.ebnf` § EXPRESSIONS
+//! - Semantics: `docs/ori_lang/v2026/spec/operator-rules.md`
+//! - Precedence: `docs/ori_lang/v2026/spec/operator-rules.md` § Precedence Table
 //!
 //! # Salsa Compatibility
 //! All types have Copy, Clone, Eq, `PartialEq`, Hash, Debug for Salsa requirements.

compiler/ori_ir/src/ast/operators.rs

@@ -84,12 +84,12 @@ pub enum TestKind {
     /// Compare a float value (exact bit equality).
     /// Edges are `TestValue::Float` variants.
     ///
-    /// Forward-looking: may not be in 0.1-alpha spec.
+    /// Forward-looking: may not be in 2026 spec.
     FloatEq,
     /// Check if a value falls within an integer range (inclusive).
     /// Edges are `TestValue::IntRange` variants.
     ///
-    /// Forward-looking: may not be in 0.1-alpha spec.
+    /// Forward-looking: may not be in 2026 spec.
     IntRange,
     /// Compare a char value (equality).
     /// Edges are `TestValue::Char` variants.