v0.4.1: Type Coercion Controls, Recursive Type Aliases, Generic Structs

.github/copilot-instructions.md

@@ -1,6 +1,6 @@
 <!-- NTNT coding guide sections are sourced from docs/AI_AGENT_GUIDE.md -->
 <!-- To update NTNT coding instructions, edit AI_AGENT_GUIDE.md and copy to all agent files -->
-<!-- Last synced: 2026-03-09 -->
+<!-- Last synced: 2026-03-11 -->
 
 # NTNT Language - GitHub Copilot Instructions
 

.github/workflows/ci.yml

@@ -14,6 +14,7 @@ jobs:
     name: Test
     runs-on: ${{ matrix.os }}
     strategy:
+      fail-fast: false
       matrix:
         os: [ubuntu-latest, macos-latest, windows-latest]
     steps:
@@ -39,6 +40,10 @@ jobs:
 
       - name: Run tests
         run: cargo test --locked
+        env:
+          # macOS aarch64 has smaller default thread stack (512KB vs 8MB on Linux).
+          # Increase to 8MB to prevent stack overflow in recursive interpreter tests.
+          RUST_MIN_STACK: 8388608
 
   lint:
     name: Lint

CLAUDE.md

@@ -1,6 +1,6 @@
 <!-- NTNT coding guide sections are sourced from docs/AI_AGENT_GUIDE.md -->
 <!-- To update NTNT coding instructions, edit AI_AGENT_GUIDE.md and copy to all agent files -->
-<!-- Last synced: 2026-03-09 -->
+<!-- Last synced: 2026-03-11 -->
 
 # NTNT Language - Claude Code Instructions
 

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "ntnt"
-version = "0.4.0"
+version = "0.4.1"
 edition = "2021"
 authors = ["NTNT Language Team"]
 description = "NTNT (Intent) - A programming language designed for AI-driven development"

docs/IAL_REFERENCE.md

@@ -2,7 +2,7 @@
 
 > **Auto-generated from [ial.toml](ial.toml)** - Do not edit directly.
 >
-> Last updated: v0.4.0
+> Last updated: v0.4.1
 
 IAL is a term rewriting engine that translates natural language assertions into executable tests
 

docs/RUNTIME_REFERENCE.md

@@ -2,7 +2,7 @@
 
 > **Auto-generated from [runtime.toml](runtime.toml)** - Do not edit directly.
 >
-> Last updated: v0.4.0
+> Last updated: v0.4.1
 
 Runtime configuration, environment variables, and CLI commands for NTNT
 

docs/STDLIB_REFERENCE.md

@@ -2,7 +2,7 @@
 
 > **Auto-generated from source code doc comments** - Do not edit directly.
 >
-> Last updated: v0.4.0
+> Last updated: v0.4.1
 
 ## Table of Contents
 

docs/SYNTAX_REFERENCE.md

@@ -2,7 +2,7 @@
 
 > **Auto-generated from [syntax.toml](syntax.toml)** - Do not edit directly.
 >
-> Last updated: v0.4.0
+> Last updated: v0.4.1
 
 ## Table of Contents
 

src/config.rs

@@ -47,6 +47,7 @@ pub enum LintMode {
     Strict,
 }
 
+#[cfg_attr(test, allow(dead_code))]
 fn read_type_mode_from_env() -> TypeMode {
     match std::env::var("NTNT_TYPE_MODE").as_deref().unwrap_or("warn") {
         "strict" => TypeMode::Strict,
@@ -69,9 +70,38 @@ pub fn get_type_mode() -> TypeMode {
 
 #[cfg(test)]
 pub fn get_type_mode() -> TypeMode {
-    read_type_mode_from_env()
+    // In tests, use thread-local override only (no env var reads).
+    // std::env::var is unsafe to call concurrently with set_var on macOS
+    // (Rust 1.83+ / POSIX getenv is not thread-safe on all platforms).
+    TYPE_MODE_OVERRIDE.with(|cell| (*cell.borrow()).unwrap_or(TypeMode::Warn))
 }
 
+thread_local! {
+    /// Thread-local override for TypeMode in tests. Avoids `std::env::set_var`
+    /// which is unsafe in multi-threaded contexts (Rust 1.83+).
+    static TYPE_MODE_OVERRIDE: RefCell<Option<TypeMode>> = const { RefCell::new(None) };
+}
+
+/// Set a thread-local TypeMode override for the current test. Returns a guard
+/// that restores `None` on drop. Use instead of `std::env::set_var("NTNT_TYPE_MODE", ...)`.
+#[cfg(test)]
+pub fn set_test_type_mode(mode: TypeMode) -> TestTypeModeGuard {
+    TYPE_MODE_OVERRIDE.with(|cell| *cell.borrow_mut() = Some(mode));
+    TestTypeModeGuard
+}
+
+/// RAII guard that clears the thread-local TypeMode override on drop.
+#[cfg(test)]
+pub struct TestTypeModeGuard;
+
+#[cfg(test)]
+impl Drop for TestTypeModeGuard {
+    fn drop(&mut self) {
+        TYPE_MODE_OVERRIDE.with(|cell| *cell.borrow_mut() = None);
+    }
+}
+
+#[cfg_attr(test, allow(dead_code))]
 fn read_lint_mode_from_env() -> LintMode {
     match std::env::var("NTNT_LINT_MODE")
         .as_deref()
@@ -97,7 +127,8 @@ pub fn get_lint_mode() -> LintMode {
 
 #[cfg(test)]
 pub fn get_lint_mode() -> LintMode {
-    read_lint_mode_from_env()
+    // In tests, always return Default (no env var reads for thread safety).
+    LintMode::Default
 }
 
 use std::cell::RefCell;