diff --git a/.github/workflows/rsr-antipattern.yml b/.github/workflows/rsr-antipattern.yml
index fd20f4e9..ec296713 100644
--- a/.github/workflows/rsr-antipattern.yml
+++ b/.github/workflows/rsr-antipattern.yml
@@ -31,7 +31,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
@@ -67,7 +67,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 d6c4caf8..0b5ce03c 100644
--- a/.machine_readable/contractiles/must/Mustfile.a2ml
+++ b/.machine_readable/contractiles/must/Mustfile.a2ml
@@ -83,7 +83,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/lithoglyph/.github/workflows/rsr-antipattern.yml b/lithoglyph/.github/workflows/rsr-antipattern.yml
index 86a006a4..4ce88aa8 100644
--- a/lithoglyph/.github/workflows/rsr-antipattern.yml
+++ b/lithoglyph/.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/lithoglyph/.github/workflows/ts-blocker.yml b/lithoglyph/.github/workflows/ts-blocker.yml
index f2762d95..bb246ac8 100644
--- a/lithoglyph/.github/workflows/ts-blocker.yml
+++ b/lithoglyph/.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
diff --git a/verisimdb/.github/workflows/rsr-antipattern.yml b/verisimdb/.github/workflows/rsr-antipattern.yml
index b04e35a5..37944275 100644
--- a/verisimdb/.github/workflows/rsr-antipattern.yml
+++ b/verisimdb/.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/verisimdb/.github/workflows/ts-blocker.yml b/verisimdb/.github/workflows/ts-blocker.yml
index a26367b7..a37d03ba 100644
--- a/verisimdb/.github/workflows/ts-blocker.yml
+++ b/verisimdb/.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
diff --git a/verisimdb/CONTRIBUTING.md b/verisimdb/CONTRIBUTING.md
index 3d8b429f..b93bb910 100644
--- a/verisimdb/CONTRIBUTING.md
+++ b/verisimdb/CONTRIBUTING.md
@@ -163,7 +163,7 @@ cargo fmt --check
 
 ### Not Accepted
 
-- TypeScript (use ReScript instead)
+- TypeScript (use AffineScript instead)
 - Python (use Rust or Julia instead)
 - Go (use Rust instead)
 - Node.js/npm/bun (use Deno if JS runtime needed)
diff --git a/verisimdb/docs/minikanren-integration-v3.adoc b/verisimdb/docs/minikanren-integration-v3.adoc
index 12329f8d..de883897 100644
--- a/verisimdb/docs/minikanren-integration-v3.adoc
+++ b/verisimdb/docs/minikanren-integration-v3.adoc
@@ -47,7 +47,7 @@ toc::[]
 │    └── VeriSim.MiniKanren (v3: constraint solving) ◄─ NEW   │
 │              ↓ FFI/NIFs                                      │
 ├─────────────────────────────────────────────────────────────┤
-│  miniKanren Logic Engine (Rust or ReScript binding)         │
+│  miniKanren Logic Engine (Rust or AffineScript binding)         │
 │    ├── Query plan constraint solver                         │
 │    ├── Normalization rule synthesizer                       │
 │    └── Drift repair strategy generator                      │