diff --git a/.github/workflows/rsr-antipattern.yml b/.github/workflows/rsr-antipattern.yml
index ff16d3a6..0141a5d3 100644
--- a/.github/workflows/rsr-antipattern.yml
+++ b/.github/workflows/rsr-antipattern.yml
@@ -168,7 +168,7 @@ jobs:
       - name: Check for tsconfig
         run: |
           if [ -f "tsconfig.json" ]; then
-            echo "❌ tsconfig.json detected - use ReScript instead"
+            echo "❌ tsconfig.json detected - use AffineScript instead"
             exit 1
           fi
           echo "✅ No tsconfig.json"
diff --git a/.github/workflows/ts-blocker.yml b/.github/workflows/ts-blocker.yml
index 6a09ba26..45919fca 100644
--- a/.github/workflows/ts-blocker.yml
+++ b/.github/workflows/ts-blocker.yml
@@ -18,7 +18,7 @@ jobs:
           NEW_JS=$(git diff --name-only --diff-filter=A HEAD~1 2>/dev/null | grep -E '\.(js|jsx)$' | grep -v '\.res\.js$' | grep -v '\.gen\.' | grep -v 'node_modules' || true)
           
           if [ -n "$NEW_TS" ] || [ -n "$NEW_JS" ]; then
-            echo "❌ New TS/JS files detected. Use ReScript instead."
+            echo "❌ New TS/JS files detected. Use AffineScript instead."
             [ -n "$NEW_TS" ] && echo "$NEW_TS"
             [ -n "$NEW_JS" ] && echo "$NEW_JS"
             exit 1
diff --git a/.machine_readable/contractiles/must/Mustfile.a2ml b/.machine_readable/contractiles/must/Mustfile.a2ml
index 275ff336..58ce78b7 100644
--- a/.machine_readable/contractiles/must/Mustfile.a2ml
+++ b/.machine_readable/contractiles/must/Mustfile.a2ml
@@ -122,7 +122,7 @@ These are hard requirements — CI and pre-commit hooks fail if any check fails.
 - severity: warning
 
 ### no-python
-- description: No Python files (use Julia/Rust/ReScript)
+- description: No Python files (use Julia/Rust/AffineScript)
 - run: test -z "$(find . -name '*.py' -not -path '*/deps/*' -not -path '*/node_modules/*' 2>/dev/null)"
 - severity: warning
 
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 22a7382f..22682c72 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -8,7 +8,7 @@ Before you dive in, it helps to understand _why_ PanLL uses the stack it does.
 These aren't arbitrary preferences — they're lessons learned from building a
 14-panel stateful application.
 
-**ReScript instead of TypeScript** — PanLL has 26,000+ lines of state management
+**AffineScript instead of TypeScript** — PanLL has 26,000+ lines of state management
 across 14 panels. TypeScript's structural type system means `any` leaks are
 always one cast away, and discriminated unions require manual type guards that
 are easy to forget. ReScript's sound type system means if it compiles, the types
diff --git a/docs/guides/MIDDLEWARE-SETUP.adoc b/docs/guides/MIDDLEWARE-SETUP.adoc
index 1ee4d20f..f4e7d494 100644
--- a/docs/guides/MIDDLEWARE-SETUP.adoc
+++ b/docs/guides/MIDDLEWARE-SETUP.adoc
@@ -84,7 +84,7 @@ It is not needed for local development where all services are started manually.
 === Purpose
 
 The Julia middleware layer handles numeric analysis, calibration, and batch processing
-tasks that are impractical in the Rust/ReScript stack. This includes metrics computation
+tasks that are impractical in the Rust/AffineScript stack. This includes metrics computation
 (e.g., proof complexity statistics, type-check latency distributions), statistical
 hypothesis testing over telemetry data, and data pipeline processing for research
 workflows built on PanLL's proof-carrying data.
diff --git a/panel-clades/.github/workflows/rsr-antipattern.yml b/panel-clades/.github/workflows/rsr-antipattern.yml
index a001dcd2..f80b3e18 100644
--- a/panel-clades/.github/workflows/rsr-antipattern.yml
+++ b/panel-clades/.github/workflows/rsr-antipattern.yml
@@ -30,7 +30,7 @@ jobs:
           # Exclude .d.ts files - those are TypeScript type declarations for ReScript FFI
           TS_FILES=$(find . \( -name "*.ts" -o -name "*.tsx" \) | grep -v node_modules | grep -v 'bindings/deno' | grep -v '\.d\.ts$' || true)
           if [ -n "$TS_FILES" ]; then
-            echo "❌ TypeScript files detected - use ReScript instead"
+            echo "❌ TypeScript files detected - use AffineScript instead"
             echo "$TS_FILES"
             exit 1
           fi
@@ -66,7 +66,7 @@ jobs:
       - name: Check for tsconfig
         run: |
           if [ -f "tsconfig.json" ]; then
-            echo "❌ tsconfig.json detected - use ReScript instead"
+            echo "❌ tsconfig.json detected - use AffineScript instead"
             exit 1
           fi
           echo "✅ No tsconfig.json"
diff --git a/panel-clades/.github/workflows/ts-blocker.yml b/panel-clades/.github/workflows/ts-blocker.yml
index 5c34a58c..e4b81739 100644
--- a/panel-clades/.github/workflows/ts-blocker.yml
+++ b/panel-clades/.github/workflows/ts-blocker.yml
@@ -17,7 +17,7 @@ jobs:
           NEW_JS=$(git diff --name-only --diff-filter=A HEAD~1 2>/dev/null | grep -E '\.(js|jsx)$' | grep -v '\.res\.js$' | grep -v '\.gen\.' | grep -v 'node_modules' || true)
           
           if [ -n "$NEW_TS" ] || [ -n "$NEW_JS" ]; then
-            echo "❌ New TS/JS files detected. Use ReScript instead."
+            echo "❌ New TS/JS files detected. Use AffineScript instead."
             [ -n "$NEW_TS" ] && echo "$NEW_TS"
             [ -n "$NEW_JS" ] && echo "$NEW_JS"
             exit 1