chore: Item 9 — retire ReScript guidance → AffineScript

.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"

.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

.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
 

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

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.

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"

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