diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml
index 7f4f166..aacd635 100644
--- a/.github/workflows/governance.yml
+++ b/.github/workflows/governance.yml
@@ -3,7 +3,7 @@
 # in hyperpolymath/standards instead of carrying per-repo copies.
 #
 # Replaces the per-repo governance scaffolding removed in the same commit:
-#   quality.yml, guix-nix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml,
+#   quality.yml, guix-guix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml,
 #   security-policy.yml, rsr-antipattern.yml, wellknown-enforcement.yml,
 #   workflow-linter.yml
 #
diff --git a/.machine_readable/root-allow.txt b/.machine_readable/root-allow.txt
index 0e6395d..e701242 100644
--- a/.machine_readable/root-allow.txt
+++ b/.machine_readable/root-allow.txt
@@ -1 +1 @@
-flake.nix
+flake.guix
diff --git a/ABI-FFI-README.md b/ABI-FFI-README.md
index 08d35da..e4d302a 100644
--- a/ABI-FFI-README.md
+++ b/ABI-FFI-README.md
@@ -43,7 +43,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
                   ▼
 ┌─────────────────────────────────────────────┐
 │  Any Language via C ABI                     │
-│  - Rust, ReScript, Julia, Python, etc.     │
+│  - Rust, AffineScript, Julia, Python, etc.     │
 └─────────────────────────────────────────────┘
 ```
 
@@ -75,7 +75,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
 │
 └── bindings/                   # Language-specific wrappers (optional)
     ├── rust/
-    ├── rescript/
+    ├── affinescript/
     └── julia/
 ```
 
diff --git a/ARCHITECTURE-SETUP-COMPLETE.md b/ARCHITECTURE-SETUP-COMPLETE.md
index 1de5acf..640549e 100644
--- a/ARCHITECTURE-SETUP-COMPLETE.md
+++ b/ARCHITECTURE-SETUP-COMPLETE.md
@@ -34,13 +34,13 @@ Created complete integration of:
 - Routes: Home, About, Docs, Demo, Verify(messageId)
 - Built on cadre-router primitives
 
-#### rescript-tea (The Elm Architecture)
+#### affinescript-tea (The Elm Architecture)
 - Created `src/AvowTea.res` with full TEA implementation
 - Model, Messages, Init, Update, View, Subscriptions
 - Integrated with AvowRouter for URL-driven state
 - Post-quantum crypto initialization support
 
-#### rescript-dom-mounter (Formally Verified DOM)
+#### affinescript-dom-mounter (Formally Verified DOM)
 - Created `src/AvowSafeMount.res` for safe mounting
 - Mathematical guarantees: no null pointers, valid selectors, well-formed HTML
 - Batch mounting support
@@ -91,7 +91,7 @@ Created comprehensive Cloudflare configuration:
 ✅ `README.md` - Complete architecture section with verification layers
 ✅ `index.html` - Updated with avow-root div and correct references
 ✅ `deno.json` - Added proper import paths for all dependencies
-✅ `rescript.json` - Configured for avow-protocol
+✅ `affinescript.json` - Configured for avow-protocol
 ✅ `package.json` - Created with correct author and license
 
 ## Architecture Diagram
@@ -128,10 +128,10 @@ Created comprehensive Cloudflare configuration:
 │                        │                                     │
 │                        ▼                                     │
 │  ┌──────────────────────────────────────────────────┐     │
-│  │  ReScript Application (Main.res)                 │     │
+│  │  AffineScript Application (Main.res)                 │     │
 │  │  ┌────────────────────────────────────────────┐ │     │
 │  │  │ AvowSafeMount.res                          │ │     │
-│  │  │ • rescript-dom-mounter                     │ │     │
+│  │  │ • affinescript-dom-mounter                     │ │     │
 │  │  │ • Formally verified mounting               │ │     │
 │  │  │ • Idris2 proofs of correctness             │ │     │
 │  │  └────────────┬───────────────────────────────┘ │     │
@@ -176,10 +176,10 @@ Created comprehensive Cloudflare configuration:
 2. **Network Layer** - Post-quantum TLS (Kyber-1024)
 3. **Edge Layer** - WASM validation (to be implemented)
 4. **Static Site** - casket-ssg compile-time checks
-5. **DOM Mounting** - rescript-dom-mounter Idris2 proofs
+5. **DOM Mounting** - affinescript-dom-mounter Idris2 proofs
 6. **Routing** - cadre-tea-router type-safe patterns
 7. **URL Parsing** - proven Idris2 verification
-8. **Application State** - rescript-tea exhaustive pattern matching
+8. **Application State** - affinescript-tea exhaustive pattern matching
 9. **Protocol Layer** - libavow dependent type proofs
 10. **Cryptography** - Coq/Isabelle verified primitives
 
@@ -189,9 +189,9 @@ Created comprehensive Cloudflare configuration:
 1. ✅ Rename STAMP to AVOW throughout codebase
 2. ✅ Set up casket-ssg integration
 3. ✅ Create cadre-tea-router architecture
-4. ✅ Build rescript-tea application
+4. ✅ Build affinescript-tea application
 5. ✅ Configure Cloudflare DNS and security
-6. ⏳ Build and test ReScript compilation
+6. ⏳ Build and test AffineScript compilation
 7. ⏳ Deploy to Cloudflare Pages
 
 ### Short Term (This Week)
@@ -215,13 +215,13 @@ Created comprehensive Cloudflare configuration:
 Created proper dependency structure:
 
 - `deno.json` - Import maps for local repos
-- `package.json` - npm dependencies (ReScript toolchain)
-- `rescript.json` - ReScript configuration
+- `package.json` - npm dependencies (AffineScript toolchain)
+- `affinescript.json` - AffineScript configuration
 - Repos available:
   - `/var/mnt/eclipse/repos/casket-ssg`
   - `/var/mnt/eclipse/repos/cadre-tea-router`
-  - `/var/mnt/eclipse/repos/rescript-tea`
-  - `/var/mnt/eclipse/repos/rescript-dom-mounter`
+  - `/var/mnt/eclipse/repos/affinescript-tea`
+  - `/var/mnt/eclipse/repos/affinescript-dom-mounter`
   - `/var/mnt/eclipse/repos/proven`
 
 ## Files Created/Modified
@@ -241,7 +241,7 @@ Created proper dependency structure:
 - `STATE.scm` - Updated project state, tech stack, license
 - `ECOSYSTEM.scm` - Updated related projects, license
 - `META.scm` - Updated license
-- `rescript.json` - Updated package name and configuration
+- `affinescript.json` - Updated package name and configuration
 - `deno.json` - Added import paths for dependencies
 - `index.html` - Updated bot references, license, added avow-root div
 - `README.md` - Complete architecture section rewrite
diff --git a/ARCHITECTURE.md b/ARCHITECTURE.md
index d71904c..20df477 100644
--- a/ARCHITECTURE.md
+++ b/ARCHITECTURE.md
@@ -8,8 +8,8 @@
 - Pure functional, predictable output
 
 ### Run-Time (Client-Side)
-- **ReScript** - Type-safe JavaScript compilation
-- **ReScript-TEA** - The Elm Architecture for predictable state management
+- **AffineScript** - Type-safe JavaScript compilation
+- **AffineScript-TEA** - The Elm Architecture for predictable state management
 - **Cadre-TEA-Router** - Type-safe client-side routing
 
 ### Verification Layers
@@ -38,7 +38,7 @@ Casket (Haskell) → Static HTML
     ↓
 Browser Loads Page
     ↓
-ReScript-TEA Initializes
+AffineScript-TEA Initializes
     ↓
 User Interaction (click demo)
     ↓
@@ -50,7 +50,7 @@ a2ml Generates Proof (cryptographic)
     ↓
 proven Ensures Safety (Idris2 proofs)
     ↓
-DOM Updated (ReScript)
+DOM Updated (AffineScript)
 ```
 
 ## Why This Stack?
@@ -60,7 +60,7 @@ DOM Updated (ReScript)
 - ✅ Perfect for static site generation
 - ✅ Not destroyed or replaced - enhanced!
 
-### ReScript + TEA
+### AffineScript + TEA
 - ✅ Type safety for client-side code
 - ✅ Predictable state management
 - ✅ Model-Update-View pattern
@@ -90,8 +90,8 @@ DOM Updated (ReScript)
 document.querySelector('.stat-card').style.opacity = '1'
 ```
 
-### With ReScript-TEA
-```rescript
+### With AffineScript-TEA
+```affinescript
 // Type-safe, compile-time checked
 let update = (model, msg) =>
   switch msg {
@@ -100,7 +100,7 @@ let update = (model, msg) =>
 ```
 
 ### With k9-svc
-```rescript
+```affinescript
 // Component proves it maintains invariants
 (k9-svc-check unsubscribe-link
   (response-code 200)
@@ -109,7 +109,7 @@ let update = (model, msg) =>
 ```
 
 ### With a2ml
-```rescript
+```affinescript
 // Typed, verifiable proof
 (proof consent
   (action subscribe)
@@ -126,7 +126,7 @@ parseUrl : String -> Either ProofOfError (Url, ProofOfValid)
 ## No Layers Destroyed
 
 - ✅ **Haskell (Casket)** - Still generates static HTML
-- ✅ **ReScript** - Adds type safety on top
+- ✅ **AffineScript** - Adds type safety on top
 - ✅ **TEA** - Adds state management on top
 - ✅ **k9-svc** - Adds validation where relevant
 - ✅ **a2ml** - Adds typed proofs where relevant
diff --git a/CHANGELOG.md b/CHANGELOG.md
index cefc614..e22fbb3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -38,13 +38,13 @@ this project aims to follow [Semantic Versioning](https://semver.org/spec/v2.0.0
 - fix: apply safety triangle fixes (recipe-remove-believe-me)
 - fix: update license from MPL-2.0 to PMPL-1.0-or-later
 - fix: remove duplicate SCM files from root
-- fix: use Deno setup action and task runner for ReScript build
+- fix: use Deno setup action and task runner for AffineScript build
 - fix: use original HTML with full styling
 - fix: install Pandoc in workflow
 
 ### Changed
 
-- refactor: replace all TypeScript with ReScript
+- refactor: replace all TypeScript with AffineScript
 
 ### Documentation
 
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index b39b3f7..903fe09 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -2,8 +2,8 @@
 git clone https://{{FORGE}}/{{OWNER}}/{{REPO}}.git
 cd {{REPO}}
 
-# Using Nix (recommended for reproducibility)
-nix develop
+# Using Guix (recommended for reproducibility)
+guix develop
 
 # Or using toolbox/distrobox
 toolbox create {{REPO}}-dev
@@ -41,7 +41,7 @@ just test    # Run test suite
 ├── MAINTAINERS.md
 ├── README.adoc
 ├── SECURITY.md
-├── flake.nix            # Nix flake (Perimeter 1)
+├── flake.guix            # Guix flake (Perimeter 1)
 └── Justfile             # Task runner (Perimeter 1)
 ```
 
diff --git a/DEPLOYMENT-SUCCESS.md b/DEPLOYMENT-SUCCESS.md
index 5bfc8ea..32e61e0 100644
--- a/DEPLOYMENT-SUCCESS.md
+++ b/DEPLOYMENT-SUCCESS.md
@@ -124,17 +124,17 @@ All should return:
 ## Architecture Stack
 
 ### AVOW Protocol
-- **Frontend:** ReScript → JavaScript (ES6)
-- **Build:** Deno + ReScript compiler
+- **Frontend:** AffineScript → JavaScript (ES6)
+- **Build:** Deno + AffineScript compiler
 - **SSG:** casket-ssg (Haskell)
 - **Router:** cadre-tea-router
-- **State:** rescript-tea (The Elm Architecture)
+- **State:** affinescript-tea (The Elm Architecture)
 - **Verification:** Idris2 + Zig FFI
 - **Crypto:** Dilithium5, Kyber-1024, SHAKE3-512
 
 ### A2ML
 - **Format:** A2ML markup language
-- **Compiler:** ReScript-based
+- **Compiler:** AffineScript-based
 - **Output:** Static HTML/CSS/JS
 
 ### K9-SVC
diff --git a/README.md b/README.md
index d83e26a..ea1ba68 100644
--- a/README.md
+++ b/README.md
@@ -62,7 +62,7 @@ successful **Attribution** of the Origin \$o\$. \* \$W(r, o)\$ is the
 
 # Technical Stack
 
-- **Logic Engine:** ReScript 12 + TEA (The Elm Architecture)
+- **Logic Engine:** AffineScript 12 + TEA (The Elm Architecture)
 
 - **Verification:** `proven` (Idris2) for structural integrity of state
   and URLs.
diff --git a/RSR_OUTLINE.adoc b/RSR_OUTLINE.adoc
index 8a22906..63243fd 100644
--- a/RSR_OUTLINE.adoc
+++ b/RSR_OUTLINE.adoc
@@ -146,8 +146,8 @@ project/
 
 === Language Tiers
 
-* **Tier 1** (Gold): Rust, Elixir, Zig, Ada, Haskell, ReScript
-* **Tier 2** (Silver): Nickel, Racket, Guile Scheme, Nix
+* **Tier 1** (Gold): Rust, Elixir, Zig, Ada, Haskell, AffineScript
+* **Tier 2** (Silver): Nickel, Racket, Guile Scheme, Guix
 * **Infrastructure**: Guix channels, derivations
 
 === Required Files
@@ -161,12 +161,12 @@ project/
 * `.well-known/security.txt`
 * `.well-known/ai.txt`
 * `.well-known/humans.txt`
-* `guix.scm` OR `flake.nix`
+* `guix.scm` OR `flake.guix`
 
 === Prohibited
 
 * Python outside `salt/` directory
-* TypeScript/JavaScript (use ReScript)
+* TypeScript/JavaScript (use AffineScript)
 * CUE (use Guile/Nickel)
 * `Dockerfile` (use `Containerfile`)
 
diff --git a/SESSION-COMPLETE.md b/SESSION-COMPLETE.md
index fbee59a..10cbca7 100644
--- a/SESSION-COMPLETE.md
+++ b/SESSION-COMPLETE.md
@@ -22,7 +22,7 @@
 
 ### 3. Professional Website ✅
 - **https://stamp-protocol.org** - Live on Cloudflare Pages
-- **Interactive demo** - Browser-based verification (ReScript)
+- **Interactive demo** - Browser-based verification (AffineScript)
 - **Mobile responsive** - SEO optimized
 - **GitHub:** https://github.com/hyperpolymath/stamp-website
 
@@ -73,7 +73,7 @@
 ```
 ✓ #1  - Design STAMP core Idris2 types and proof obligations
 ✓ #2  - Build libstamp proof-of-concept with Zig FFI
-✓ #3  - Create interactive demo website (ReScript + WASM)
+✓ #3  - Create interactive demo website (AffineScript + WASM)
 ✓ #4  - Write comprehensive threat model analysis
 ✓ #5  - Build STAMP Telegram bot proof-of-concept
 ✓ #6  - Design STAMP for social media platforms
@@ -122,7 +122,7 @@
 ### Code Repositories
 - `libstamp/` - Core verification library (Idris2 + Zig)
 - `stamp-telegram-bot/` - Working bot (TypeScript + Deno)
-- `stamp-website/` - Live website (ReScript + HTML/CSS)
+- `stamp-website/` - Live website (AffineScript + HTML/CSS)
 
 ---
 
diff --git a/WEEK-1-COMPLETE.md b/WEEK-1-COMPLETE.md
index af97f03..e17a981 100644
--- a/WEEK-1-COMPLETE.md
+++ b/WEEK-1-COMPLETE.md
@@ -26,7 +26,7 @@
 - **https://stamp-protocol.org** - Live on Cloudflare Pages
   - Hero section with clear value prop
   - Problem/solution framework
-  - Interactive browser demo (ReScript)
+  - Interactive browser demo (AffineScript)
   - Technical comparison
   - Live bot link
 - **Features:**
@@ -41,7 +41,7 @@
   - Test unsubscribe link verification
   - Test consent chain verification
   - See mathematical proofs live
-- **Tech:** ReScript (type-safe JavaScript)
+- **Tech:** AffineScript (type-safe JavaScript)
 - **Embedded:** stamp-protocol.org
 
 ### 5. Strategic Planning
@@ -151,7 +151,7 @@ hyperpolymath-repos/
 | **ABI** | Idris2 | Formal verification, dependent types |
 | **FFI** | Zig | C-compatible, cross-platform |
 | **Bot** | TypeScript + Deno | Telegram integration |
-| **Website** | ReScript + HTML/CSS | Type-safe frontend |
+| **Website** | AffineScript + HTML/CSS | Type-safe frontend |
 | **Database** | SQLite | Persistence (for now) |
 | **Deploy** | Cloudflare Pages | Website hosting |
 | **Runtime** | Deno | Bot runtime |
diff --git a/avow-lib/BUILDING.md b/avow-lib/BUILDING.md
index dbf65b2..0928d46 100644
--- a/avow-lib/BUILDING.md
+++ b/avow-lib/BUILDING.md
@@ -37,7 +37,7 @@ For the **Telegram bot demo** (your Week 1 goal), you don't actually need the fu
 
 **What you can do instead:**
 
-1. **Mock the verification functions** in TypeScript/ReScript
+1. **Mock the verification functions** in TypeScript/AffineScript
 2. Build the Telegram bot with mocked verification
 3. Prove the UX works
 4. Come back and integrate real FFI later
diff --git a/content/about.a2ml b/content/about.a2ml
index d8cb632..c5e8fca 100644
--- a/content/about.a2ml
+++ b/content/about.a2ml
@@ -75,9 +75,9 @@ See the [proven library](https://github.com/hyperpolymath/proven) for details.
 ## Learn More
 
 - [STAMP Protocol Draft](https://github.com/hyperpolymath/stamp-protocol/blob/main/docs/PROTOCOL.md)
-- [ReScript TEA](https://github.com/hyperpolymath/rescript-tea)
+- [AffineScript TEA](https://github.com/hyperpolymath/affinescript-tea)
 - [Proven Library](https://github.com/hyperpolymath/proven)
-- [SafeDOM Mounter](https://github.com/hyperpolymath/rescript-dom-mounter)
+- [SafeDOM Mounter](https://github.com/hyperpolymath/affinescript-dom-mounter)
 
 ---
 
diff --git a/deno.json b/deno.json
deleted file mode 100644
index 1ca3821..0000000
--- a/deno.json
+++ /dev/null
@@ -1,31 +0,0 @@
-{
-  "tasks": {
-    "build": "deno run -A npm:rescript",
-    "clean": "deno run -A npm:rescript clean",
-    "watch": "deno run -A npm:rescript -w",
-    "build:all": "deno task k9:validate && deno task a2ml:render && deno task proofs:generate && deno task build",
-    "k9:validate": "nickel typecheck config/metadata.k9.ncl && nickel typecheck config/ci.k9.ncl",
-    "k9:export": "nickel export config/metadata.k9.ncl > metadata.json",
-    "a2ml:render": "deno run -A --config ../a2ml/prototype/rescript/deno.json ../a2ml/prototype/rescript/src/Cli.bs.js render content/about.a2ml --out public/about.html",
-    "a2ml:validate": "cd ../a2ml && just cli validate ../avow-protocol/content/*.a2ml",
-    "proofs:generate": "deno run -A scripts/GenerateProof.res.js",
-    "sync:6scm": "bash scripts/sync-6scm.sh",
-    "check:6scm": "bash scripts/check-6scm.sh",
-    "serve": "deno run -A jsr:@std/http/file-server ."
-  },
-  "imports": {
-    "rescript": "npm:rescript@^12.1.0",
-    "@rescript/core": "npm:@rescript/core@^1.6.0",
-    "@rescript/react": "npm:@rescript/react@^0.12.0",
-    "react": "npm:react@^18.3.0",
-    "react-dom": "npm:react-dom@^18.3.0",
-    "rescript-tea/": "../rescript-tea/src/",
-    "cadre-router/": "../cadre-router/src/",
-    "cadre-tea-router/": "../cadre-tea-router/src/",
-    "rescript-dom-mounter/": "../rescript-dom-mounter/src/",
-    "proven/": "../proven/bindings/rescript/src/"
-  },
-  "compilerOptions": {
-    "checkJs": false
-  }
-}
diff --git a/examples/web-project-deno.json b/examples/web-project-deno.json
index eaa39d9..6938b76 100644
--- a/examples/web-project-deno.json
+++ b/examples/web-project-deno.json
@@ -1,17 +1,17 @@
 {
-  "// NOTE": "Example deno.json for ReScript web projects",
+  "// NOTE": "Example deno.json for AffineScript web projects",
   "tasks": {
-    "build": "deno run -A npm:rescript",
-    "clean": "deno run -A npm:rescript clean",
-    "watch": "deno run -A npm:rescript -w",
+    "build": "deno run -A npm:affinescript",
+    "clean": "deno run -A npm:affinescript clean",
+    "watch": "deno run -A npm:affinescript -w",
     "serve": "deno run -A jsr:@std/http/file-server .",
     "test": "deno test --allow-all"
   },
   "imports": {
-    "rescript": "npm:rescript@^12.1.0",
-    "@rescript/core": "npm:@rescript/core@^1.6.0",
-    "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/",
-    "proven/": "../proven/bindings/rescript/src/"
+    "affinescript": "npm:affinescript@^12.1.0",
+    "@affinescript/core": "npm:@affinescript/core@^1.6.0",
+    "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/affinescript-dom-mounter/main/src/",
+    "proven/": "../proven/bindings/affinescript/src/"
   },
   "compilerOptions": {
     "allowJs": true,
diff --git a/telegram-bot/ABI-FFI-README.md b/telegram-bot/ABI-FFI-README.md
index 08d35da..e4d302a 100644
--- a/telegram-bot/ABI-FFI-README.md
+++ b/telegram-bot/ABI-FFI-README.md
@@ -43,7 +43,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
                   ▼
 ┌─────────────────────────────────────────────┐
 │  Any Language via C ABI                     │
-│  - Rust, ReScript, Julia, Python, etc.     │
+│  - Rust, AffineScript, Julia, Python, etc.     │
 └─────────────────────────────────────────────┘
 ```
 
@@ -75,7 +75,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
 │
 └── bindings/                   # Language-specific wrappers (optional)
     ├── rust/
-    ├── rescript/
+    ├── affinescript/
     └── julia/
 ```
 
diff --git a/telegram-bot/CONTRIBUTING.md b/telegram-bot/CONTRIBUTING.md
index b39b3f7..903fe09 100644
--- a/telegram-bot/CONTRIBUTING.md
+++ b/telegram-bot/CONTRIBUTING.md
@@ -2,8 +2,8 @@
 git clone https://{{FORGE}}/{{OWNER}}/{{REPO}}.git
 cd {{REPO}}
 
-# Using Nix (recommended for reproducibility)
-nix develop
+# Using Guix (recommended for reproducibility)
+guix develop
 
 # Or using toolbox/distrobox
 toolbox create {{REPO}}-dev
@@ -41,7 +41,7 @@ just test    # Run test suite
 ├── MAINTAINERS.md
 ├── README.adoc
 ├── SECURITY.md
-├── flake.nix            # Nix flake (Perimeter 1)
+├── flake.guix            # Guix flake (Perimeter 1)
 └── Justfile             # Task runner (Perimeter 1)
 ```
 
diff --git a/telegram-bot/README.adoc b/telegram-bot/README.adoc
index fd4c528..a07f76e 100644
--- a/telegram-bot/README.adoc
+++ b/telegram-bot/README.adoc
@@ -46,17 +46,17 @@ project/
 
 === Web Projects
 
-ReScript web projects in the hyperpolymath ecosystem **MUST** use these formally verified components:
+AffineScript web projects in the hyperpolymath ecosystem **MUST** use these formally verified components:
 
 [cols="1,2,1"]
 |===
 |Library |Purpose |Status
 
-|link:https://github.com/hyperpolymath/rescript-dom-mounter[rescript-dom-mounter]
+|link:https://github.com/hyperpolymath/affinescript-dom-mounter[affinescript-dom-mounter]
 |Formally verified DOM mounting
 |**REQUIRED**
 
-|link:https://github.com/hyperpolymath/rescript-tea[rescript-tea]
+|link:https://github.com/hyperpolymath/affinescript-tea[affinescript-tea]
 |TEA architecture framework
 |Recommended
 
@@ -82,7 +82,7 @@ el.innerHTML = html  // 💥
 
 SafeDOM provides **compile-time proofs** that DOM operations cannot fail:
 
-[source,rescript]
+[source,affinescript]
 ----
 // ✅ PROVEN SAFE: Mathematically guaranteed
 SafeDOM.mountSafe("#app", html,
@@ -95,7 +95,7 @@ SafeDOM.mountSafe("#app", html,
 ✓ No null pointer dereferences (Idris2 proof)
 ✓ No invalid CSS selectors (dependent types)
 ✓ No malformed HTML (balanced tag checking)
-✓ Type-safe operations (ReScript + Idris2)
+✓ Type-safe operations (AffineScript + Idris2)
 ✓ Zero runtime overhead (proofs erased)
 
-See link:https://github.com/hyperpolymath/rescript-dom-mounter[rescript-dom-mounter documentation] for full details.
+See link:https://github.com/hyperpolymath/affinescript-dom-mounter[affinescript-dom-mounter documentation] for full details.
diff --git a/telegram-bot/RSR_OUTLINE.adoc b/telegram-bot/RSR_OUTLINE.adoc
index 8a22906..63243fd 100644
--- a/telegram-bot/RSR_OUTLINE.adoc
+++ b/telegram-bot/RSR_OUTLINE.adoc
@@ -146,8 +146,8 @@ project/
 
 === Language Tiers
 
-* **Tier 1** (Gold): Rust, Elixir, Zig, Ada, Haskell, ReScript
-* **Tier 2** (Silver): Nickel, Racket, Guile Scheme, Nix
+* **Tier 1** (Gold): Rust, Elixir, Zig, Ada, Haskell, AffineScript
+* **Tier 2** (Silver): Nickel, Racket, Guile Scheme, Guix
 * **Infrastructure**: Guix channels, derivations
 
 === Required Files
@@ -161,12 +161,12 @@ project/
 * `.well-known/security.txt`
 * `.well-known/ai.txt`
 * `.well-known/humans.txt`
-* `guix.scm` OR `flake.nix`
+* `guix.scm` OR `flake.guix`
 
 === Prohibited
 
 * Python outside `salt/` directory
-* TypeScript/JavaScript (use ReScript)
+* TypeScript/JavaScript (use AffineScript)
 * CUE (use Guile/Nickel)
 * `Dockerfile` (use `Containerfile`)
 
diff --git a/telegram-bot/deno.json b/telegram-bot/deno.json
deleted file mode 100644
index d45aece..0000000
--- a/telegram-bot/deno.json
+++ /dev/null
@@ -1,25 +0,0 @@
-{
-  "tasks": {
-    "start": "deno run --allow-net --allow-read --allow-write --allow-env --allow-import --env=.env src/bot.ts",
-    "dev": "deno run --allow-net --allow-read --allow-write --allow-env --allow-import --env=.env --watch src/bot.ts",
-    "test": "deno test --allow-net --allow-read --allow-write"
-  },
-  "imports": {
-    "@grammy/bot": "https://deno.land/x/grammy@v1.19.2/mod.ts",
-    "@db/sqlite": "https://deno.land/x/sqlite@v3.9.1/mod.ts"
-  },
-  "compilerOptions": {
-    "strict": true,
-    "lib": ["deno.window"]
-  },
-  "fmt": {
-    "indentWidth": 2,
-    "lineWidth": 100,
-    "semiColons": true
-  },
-  "lint": {
-    "rules": {
-      "tags": ["recommended"]
-    }
-  }
-}
diff --git a/telegram-bot/examples/web-project-deno.json b/telegram-bot/examples/web-project-deno.json
index eaa39d9..6938b76 100644
--- a/telegram-bot/examples/web-project-deno.json
+++ b/telegram-bot/examples/web-project-deno.json
@@ -1,17 +1,17 @@
 {
-  "// NOTE": "Example deno.json for ReScript web projects",
+  "// NOTE": "Example deno.json for AffineScript web projects",
   "tasks": {
-    "build": "deno run -A npm:rescript",
-    "clean": "deno run -A npm:rescript clean",
-    "watch": "deno run -A npm:rescript -w",
+    "build": "deno run -A npm:affinescript",
+    "clean": "deno run -A npm:affinescript clean",
+    "watch": "deno run -A npm:affinescript -w",
     "serve": "deno run -A jsr:@std/http/file-server .",
     "test": "deno test --allow-all"
   },
   "imports": {
-    "rescript": "npm:rescript@^12.1.0",
-    "@rescript/core": "npm:@rescript/core@^1.6.0",
-    "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/",
-    "proven/": "../proven/bindings/rescript/src/"
+    "affinescript": "npm:affinescript@^12.1.0",
+    "@affinescript/core": "npm:@affinescript/core@^1.6.0",
+    "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/affinescript-dom-mounter/main/src/",
+    "proven/": "../proven/bindings/affinescript/src/"
   },
   "compilerOptions": {
     "allowJs": true,