diff --git a/.claude/CLAUDE.md b/.claude/CLAUDE.md
index b5f87f8..ed8c39e 100644
--- a/.claude/CLAUDE.md
+++ b/.claude/CLAUDE.md
@@ -11,7 +11,7 @@ Cross-platform document editor with format tabs, allowing users to view and edit
 ## Architecture
 
 - **Core**: Rust library with unified AST for format conversion
-- **GUI**: Gossamer (own webview shell) with ReScript frontend (not TypeScript!)
+- **GUI**: Gossamer (own webview shell) with AffineScript frontend (not TypeScript!)
 - **TUI**: Ada with AdaCurses (matches git-hud pattern)
 - **Storage**: ArangoDB for graph + document hybrid
 - **Pipelines**: Nickel for import/export transformations
@@ -19,7 +19,7 @@ Cross-platform document editor with format tabs, allowing users to view and edit
 ## Language Policy
 
 ### ALLOWED
-- ReScript (UI components)
+- AffineScript (UI components)
 - Rust (core, GUI backend)
 - Ada (TUI)
 - Nickel (pipelines, config)
@@ -27,7 +27,7 @@ Cross-platform document editor with format tabs, allowing users to view and edit
 - Deno (runtime)
 
 ### BANNED - Do Not Use
-- TypeScript (use ReScript)
+- TypeScript (use AffineScript)
 - Node.js/npm/bun (use Deno)
 - Go (use Rust)
 - Python (not applicable here)
@@ -44,11 +44,11 @@ crates/
 └── formatrix-pipeline/ # Nickel executor
 
 tui/src/               # Ada TUI source
-ui/src/                # ReScript components
+ui/src/                # AffineScript components
 pipelines/             # Nickel pipeline definitions
 container/             # Wolfi container configs
 guix/                  # Guix channel + packages
-nix/                   # Nix flake (fallback)
+guix/                   # Guix flake (fallback)
 ```
 
 ## Build Commands
@@ -57,7 +57,7 @@ nix/                   # Nix flake (fallback)
 just build           # Build all
 just build-core      # Build Rust core only
 just build-tui       # Build Ada TUI only
-just build-ui        # Build ReScript UI only
+just build-ui        # Build AffineScript UI only
 just test            # Run all tests
 just fmt             # Format all code
 just lint            # Lint all code
@@ -84,9 +84,9 @@ Each format implements:
 - `Parser` trait: raw content → AST
 - `Renderer` trait: AST → raw content
 
-## ReScript Conventions
+## AffineScript Conventions
 
-- Use `@rescript/core` for stdlib
+- Use `@affinescript/core` for stdlib
 - TEA pattern: Model.res, Msg.res, Update logic in App.res
 - Components in `src/components/`
 - Bindings in `src/bindings/`
@@ -103,7 +103,7 @@ Each format implements:
 ```bash
 just test-core       # Rust unit tests
 just test-tui        # Ada compilation check
-just test-ui         # ReScript tests
+just test-ui         # AffineScript tests
 just test-integration # Full integration tests
 ```
 
diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml
index 3b37e36..b371e25 100644
--- a/.github/workflows/governance.yml
+++ b/.github/workflows/governance.yml
@@ -5,7 +5,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/contractiles/Justfile b/.machine_readable/contractiles/Justfile
index bcad102..7d4b747 100644
--- a/.machine_readable/contractiles/Justfile
+++ b/.machine_readable/contractiles/Justfile
@@ -50,7 +50,7 @@ info:
 # BUILD & COMPILE
 # ═══════════════════════════════════════════════════════════════════════════════
 
-# Build all components (Rust + Ada + ReScript)
+# Build all components (Rust + Ada + AffineScript)
 build: build-core build-gui build-tui build-ui
     @echo "All components built!"
 
@@ -91,9 +91,9 @@ build-tui:
     fi
     cd tui && gprbuild -P formatrix_tui.gpr -XMODE=debug
 
-# Build ReScript UI
+# Build AffineScript UI
 build-ui:
-    @echo "Building ReScript UI..."
+    @echo "Building AffineScript UI..."
     @cd ui && deno task build:res 2>&1 | tail -5
 
 # Build in release mode
@@ -128,7 +128,7 @@ test-tui: build-tui
     @echo "Testing formatrix-tui..."
     @[ -f tui/bin/formatrix-tui ] && echo "TUI binary exists" || echo "SKIP: TUI not built (missing dependencies)"
 
-# Test ReScript UI
+# Test AffineScript UI
 test-ui:
     @echo "Testing UI..."
     cd ui && deno task test 2>/dev/null || echo "UI tests not configured yet"
@@ -376,7 +376,7 @@ state-phase:
     @grep -oP '\(phase\s+\.\s+\K[^)]+' STATE.scm 2>/dev/null | head -1 || echo "unknown"
 
 # ═══════════════════════════════════════════════════════════════════════════════
-# GUIX & NIX
+# GUIX & GUIX
 # ═══════════════════════════════════════════════════════════════════════════════
 
 # Enter Guix development shell (primary)
@@ -387,9 +387,9 @@ guix-shell:
 guix-build:
     guix build -f guix/formatrix.scm
 
-# Enter Nix development shell (fallback)
-nix-shell:
-    @if [ -f "nix/flake.nix" ]; then cd nix && nix develop; else echo "No flake.nix"; fi
+# Enter Guix development shell (fallback)
+guix-shell:
+    @if [ -f "guix/flake.guix" ]; then cd guix && guix develop; else echo "No flake.guix"; fi
 
 # ═══════════════════════════════════════════════════════════════════════════════
 # RELEASE
diff --git a/ABI-FFI-README.md b/ABI-FFI-README.md
index 017ee7b..2818b3f 100644
--- a/ABI-FFI-README.md
+++ b/ABI-FFI-README.md
@@ -47,7 +47,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.     │
 └─────────────────────────────────────────────┘
 ```
 
@@ -79,7 +79,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/CONTRIBUTING.md b/CONTRIBUTING.md
index 3fc180d..350e36d 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -6,8 +6,8 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 git clone https://github.com/hyperpolymath/docmatrix.git
 cd docmatrix
 
-# Using Nix (recommended for reproducibility)
-nix develop
+# Using Guix (recommended for reproducibility)
+guix develop
 
 # Or using toolbox/distrobox
 toolbox create docmatrix-dev
@@ -45,7 +45,7 @@ docmatrix/
 ├── 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/EXPLAINME.adoc b/EXPLAINME.adoc
index b1887c1..5adbfdb 100644
--- a/EXPLAINME.adoc
+++ b/EXPLAINME.adoc
@@ -11,7 +11,7 @@ ____
 Cross-platform document editor with format tabs (TXT/MD/ADOC/DJOT/ORG/RST/TYP). Unified AST enables lossless conversion between formats. Gossamer GUI + Ada TUI. Graph visualization via ArangoDB, OCR/TTS/STT accessibility, Nickel pipelines for import/export.
 ____
 
-Three components orchestrate this: Rust formatrix-core (parsers/renderers), Gossamer GUI (ReScript), Ada TUI. A unified AST allows viewing the same document in 7 different markup languages, each a lossless round-trip.
+Three components orchestrate this: Rust formatrix-core (parsers/renderers), Gossamer GUI (AffineScript), Ada TUI. A unified AST allows viewing the same document in 7 different markup languages, each a lossless round-trip.
 
 == Two Verifiable Claims from How-It-Works
 
@@ -25,11 +25,11 @@ Three components orchestrate this: Rust formatrix-core (parsers/renderers), Goss
 
 === Claim 2: Gossamer GUI Routes Document Tabs to Correct Renderer
 
-**Location**: `/var/mnt/eclipse/repos/docmatrix/ui/src/app.res` (ReScript Gossamer GUI)
+**Location**: `/var/mnt/eclipse/repos/docmatrix/ui/src/app.res` (AffineScript Gossamer GUI)
 
-**How verified**: The GUI is a ReScript TEA application that loads a document (via ArangoDB), parses it in the primary format, then stores the AST. When the user clicks a format tab (MD, ADOC, DJOT, etc.), the app calls the appropriate `Renderer::render(ast)` and updates the editor view. README (§Features) documents 7 formats; `app.res` has a `FormatTab` selector that dispatches to format-specific renderers in the formatrix-core library. Tests verify tab switching preserves content.
+**How verified**: The GUI is a AffineScript TEA application that loads a document (via ArangoDB), parses it in the primary format, then stores the AST. When the user clicks a format tab (MD, ADOC, DJOT, etc.), the app calls the appropriate `Renderer::render(ast)` and updates the editor view. README (§Features) documents 7 formats; `app.res` has a `FormatTab` selector that dispatches to format-specific renderers in the formatrix-core library. Tests verify tab switching preserves content.
 
-**Caveat**: ReScript/JavaScript type checking doesn't catch bugs where a renderer is misconfigured; validation happens at runtime when user clicks tab.
+**Caveat**: AffineScript/JavaScript type checking doesn't catch bugs where a renderer is misconfigured; validation happens at runtime when user clicks tab.
 
 == Dogfooded Across The Account
 
@@ -50,8 +50,8 @@ The formatrix-core library uses the hyperpolymath ABI/FFI standard for OCR/TTS b
 | `crates/formatrix-core/src/traits.rs` | Parser and Renderer traits used by all format modules
 | `crates/formatrix-db/src/lib.rs` | ArangoDB client; stores documents and relationships
 | `crates/formatrix-pipeline/src/lib.rs` | Nickel executor for import/export transformations
-| `ui/src/app.res` | ReScript Gossamer GUI app (TEA pattern); format tab switching, editor
-| `ui/src/components/` | ReScript components: editor, tabs, toolbar, preview
+| `ui/src/app.res` | AffineScript Gossamer GUI app (TEA pattern); format tab switching, editor
+| `ui/src/components/` | AffineScript components: editor, tabs, toolbar, preview
 | `tui/src/main.adb` | Ada TUI entry point using Terminal_Interface.Curses
 | `tui/src/tui.adb` | Ada TUI widget management (windows, input, rendering)
 | `Containerfile` | Wolfi container; includes all build dependencies
diff --git a/Justfile b/Justfile
index c92d64c..fac4e5e 100644
--- a/Justfile
+++ b/Justfile
@@ -51,7 +51,7 @@ info:
 # BUILD & COMPILE
 # ═══════════════════════════════════════════════════════════════════════════════
 
-# Build all components (Rust + Ada + ReScript)
+# Build all components (Rust + Ada + AffineScript)
 build: build-core build-gui build-tui build-ui
     @echo "All components built!"
 
@@ -92,9 +92,9 @@ build-tui:
     fi
     cd tui && gprbuild -P formatrix_tui.gpr -XMODE=debug
 
-# Build ReScript UI
+# Build AffineScript UI
 build-ui:
-    @echo "Building ReScript UI..."
+    @echo "Building AffineScript UI..."
     @cd ui && deno task build:res 2>&1 | tail -5
 
 # Build in release mode
@@ -129,7 +129,7 @@ test-tui: build-tui
     @echo "Testing formatrix-tui..."
     @[ -f tui/bin/formatrix-tui ] && echo "TUI binary exists" || echo "SKIP: TUI not built (missing dependencies)"
 
-# Test ReScript UI
+# Test AffineScript UI
 test-ui:
     @echo "Testing UI..."
     cd ui && deno task test 2>/dev/null || echo "UI tests not configured yet"
@@ -377,7 +377,7 @@ state-phase:
     @grep -oP '\(phase\s+\.\s+\K[^)]+' STATE.scm 2>/dev/null | head -1 || echo "unknown"
 
 # ═══════════════════════════════════════════════════════════════════════════════
-# GUIX & NIX
+# GUIX & GUIX
 # ═══════════════════════════════════════════════════════════════════════════════
 
 # Enter Guix development shell (primary)
@@ -388,9 +388,9 @@ guix-shell:
 guix-build:
     guix build -f guix/formatrix.scm
 
-# Enter Nix development shell (fallback)
-nix-shell:
-    @if [ -f "nix/flake.nix" ]; then cd nix && nix develop; else echo "No flake.nix"; fi
+# Enter Guix development shell (fallback)
+guix-shell:
+    @if [ -f "guix/flake.guix" ]; then cd guix && guix develop; else echo "No flake.guix"; fi
 
 # ═══════════════════════════════════════════════════════════════════════════════
 # RELEASE
diff --git a/README.adoc b/README.adoc
index 6670c7f..833a980 100644
--- a/README.adoc
+++ b/README.adoc
@@ -26,7 +26,7 @@ Cross-platform document editor with format tabs (TXT/MD/ADOC/DJOT/ORG/RST/TYP).
 
 * *Format Tabs* - View and edit the same document in multiple markup formats
 * *Unified AST* - Lossless conversion between formats
-* *GUI* - Gossamer with ReScript frontend
+* *GUI* - Gossamer with AffineScript frontend
 * *TUI* - Ada with AdaCurses for terminal usage
 * *Graph Visualization* - ArangoDB for document relationships
 * *Accessibility* - OCR, TTS, STT support
@@ -75,7 +75,7 @@ crates/
 └── formatrix-pipeline/ # Nickel executor
 
 tui/src/                # Ada TUI source
-ui/src/                 # ReScript components
+ui/src/                 # AffineScript components
 pipelines/              # Nickel pipeline definitions
 container/              # Wolfi container configs
 ----
@@ -96,7 +96,7 @@ container/              # Wolfi container configs
 just build           # Build all
 just build-core      # Build Rust core only
 just build-tui       # Build Ada TUI only
-just build-ui        # Build ReScript UI only
+just build-ui        # Build AffineScript UI only
 just test            # Run all tests
 just fmt             # Format all code
 just lint            # Lint all code
@@ -135,7 +135,7 @@ Automation scripts from https://github.com/hyperpolymath/scripts[hyperpolymath/s
 | `touchscreen_hunter_killer.sh` | Touchscreen calibration/management
 |===
 
-These scripts follow the same language policy (Bash, Rust, ReScript, Deno, Gleam, Guile Scheme) and multi-forge mirroring strategy.
+These scripts follow the same language policy (Bash, Rust, AffineScript, Deno, Gleam, Guile Scheme) and multi-forge mirroring strategy.
 
 == License
 
diff --git a/RSR_COMPLIANCE.adoc b/RSR_COMPLIANCE.adoc
index 93df19f..326c3aa 100644
--- a/RSR_COMPLIANCE.adoc
+++ b/RSR_COMPLIANCE.adoc
@@ -65,7 +65,7 @@ This document certifies that *formatrix-docs* complies with the Rhodium Standard
 | TUI implementation
 | COMPLIANT
 
-| ReScript
+| AffineScript
 | UI components
 | COMPLIANT
 
@@ -94,7 +94,7 @@ No banned languages (TypeScript, Node.js, npm, Go, Python) are present in this r
 - `build-core` - Rust core
 - `build-gui` - Tauri GUI
 - `build-tui` - Ada TUI
-- `build-ui` - ReScript UI
+- `build-ui` - AffineScript UI
 - `build-release` - Release mode
 
 === Quality Recipes
diff --git a/RSR_OUTLINE.adoc b/RSR_OUTLINE.adoc
index ec0861f..8560286 100644
--- a/RSR_OUTLINE.adoc
+++ b/RSR_OUTLINE.adoc
@@ -148,8 +148,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
@@ -163,12 +163,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/TOPOLOGY.md b/TOPOLOGY.md
index e9a20e8..0b54843 100644
--- a/TOPOLOGY.md
+++ b/TOPOLOGY.md
@@ -18,7 +18,7 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
                                    ▼                   ▼
                         ┌───────────────────┐  ┌───────────────────┐
                         │   GUI (TAURI 2.0) │  │   TUI (ADA)       │
-                        │ (ReScript / React)│  │ (AdaCurses)       │
+                        │ (AffineScript / React)│  │ (AdaCurses)       │
                         └──────────┬────────┘  └──────────┬────────┘
                                    │                      │
                                    └──────────┬───────────┘
@@ -66,7 +66,7 @@ CORE ENGINE (RUST)
   ArangoDB Client                   ██████████ 100%    Document persistence stable
 
 USER INTERFACES
-  Tauri 2.0 GUI                     ████████░░  80%    ReScript UI components active
+  Tauri 2.0 GUI                     ████████░░  80%    AffineScript UI components active
   Ada TUI (AdaCurses)               ██████░░░░  60%    Layout logic in progress
   Graph Visualization               ████░░░░░░  40%    Initial D3.js prototyping
 
diff --git a/docs/DOCUMENTATION-SYSTEM-ARCHITECTURE.adoc b/docs/DOCUMENTATION-SYSTEM-ARCHITECTURE.adoc
index d7e660a..a433839 100644
--- a/docs/DOCUMENTATION-SYSTEM-ARCHITECTURE.adoc
+++ b/docs/DOCUMENTATION-SYSTEM-ARCHITECTURE.adoc
@@ -77,7 +77,7 @@ formatrix-docs/
 │   ├── formatrix-db/        # ArangoDB client
 │   └── formatrix-pipeline/  # Nickel executor
 ├── tui/                     # Ada TUI (matches git-hud)
-├── ui/                      # ReScript frontend
+├── ui/                      # AffineScript frontend
 └── pipelines/               # Nickel transform definitions
 ----
 
@@ -122,7 +122,7 @@ pub struct Document {
 ----
 recon-silly-ation/
 ├── src/
-│   ├── ReconForth.res       # ReScript bindings to WASM
+│   ├── ReconForth.res       # AffineScript bindings to WASM
 │   ├── EnforcementBot.res   # Policy enforcement
 │   ├── PackShipper.res      # Bundle distribution
 │   ├── LogicEngine.res      # Datalog-style inference
@@ -351,7 +351,7 @@ Collections:
 
 Components communicate via structured messages:
 
-[source,rescript]
+[source,affinescript]
 ----
 type DocumentEvent =
   | DocumentCreated(hash, path, format)
@@ -447,7 +447,7 @@ services:
   [ "Missing SPDX header" emit-warning ] unless ;
 ----
 
-2. Add to EnforcementBot schedule in ReScript
+2. Add to EnforcementBot schedule in AffineScript
 3. Configure in Docudactyl pipeline
 
 === Adding a New Pack Specification
diff --git a/docs/MOSCOW-REQUIREMENTS.adoc b/docs/MOSCOW-REQUIREMENTS.adoc
index 8671039..b1db376 100644
--- a/docs/MOSCOW-REQUIREMENTS.adoc
+++ b/docs/MOSCOW-REQUIREMENTS.adoc
@@ -47,7 +47,7 @@ This document defines Must/Should/Could requirements for each component of the d
 |✅ Done
 
 |FD-M08
-|Format tabs component (ReScript)
+|Format tabs component (AffineScript)
 |🔲 Pending
 
 |FD-M09
@@ -242,7 +242,7 @@ This document defines Must/Should/Could requirements for each component of the d
 |✅ Done
 
 |RSA-M13
-|WASM bindings for ReScript
+|WASM bindings for AffineScript
 |✅ Done
 
 |RSA-M14
@@ -365,7 +365,7 @@ This document defines Must/Should/Could requirements for each component of the d
 |ID |Requirement |Status
 
 |DB-M01
-|Module structure with ReScript types
+|Module structure with AffineScript types
 |🔲 Pending
 
 |DB-M02
@@ -484,7 +484,7 @@ This document defines Must/Should/Could requirements for each component of the d
 |ID |Requirement |Status
 
 |DD-M01
-|Module structure with ReScript types
+|Module structure with AffineScript types
 |🔲 Pending
 
 |DD-M02
diff --git a/docs/SEAM-CHECK-MUSTS.adoc b/docs/SEAM-CHECK-MUSTS.adoc
index a34dc08..f80c897 100644
--- a/docs/SEAM-CHECK-MUSTS.adoc
+++ b/docs/SEAM-CHECK-MUSTS.adoc
@@ -28,7 +28,7 @@ This document validates integration seams between ecosystem components after imp
 
 [cols="2,2,1"]
 |===
-| Rust (commands.rs) | ReScript (Protocol.res) | Status
+| Rust (commands.rs) | AffineScript (Protocol.res) | Status
 
 | `DocumentEvent::Created { hash, path, format, timestamp }` | `documentEvent { id, eventType: Created, hash, path, format, timestamp, source }` | ⚠️ GAP
 | `DocumentEvent::Modified { hash, old_hash, path, format, timestamp }` | Uses `oldHash: option<string>` | ✓ ALIGNED
@@ -46,7 +46,7 @@ The Rust `DocumentEvent` lacks `id` and `source` fields that Protocol.res expect
 
 [cols="2,2,1"]
 |===
-| Rust (ffi.rs) | ReScript Usage | Status
+| Rust (ffi.rs) | AffineScript Usage | Status
 
 | `FfiFormat` enum (7 variants) | `Protocol.documentAst.format: string` | ⚠️ GAP
 |===
@@ -61,7 +61,7 @@ Rust uses enum `FfiFormat`, Protocol uses plain strings. Need mapping layer.
 
 [cols="2,2,1"]
 |===
-| Rust (ast.rs) | ReScript (Protocol.res) | Status
+| Rust (ast.rs) | AffineScript (Protocol.res) | Status
 
 | `Document` struct | `documentAst` type | ⚠️ NEEDS BRIDGE
 | `Block` enum | `blockElement` type | ✓ ALIGNED (conceptually)
@@ -76,7 +76,7 @@ Direct AST interchange requires serialization/deserialization. Current implement
 
 [cols="2,2,1"]
 |===
-| Rust (commands.rs) | ReScript (Protocol.res) | Status
+| Rust (commands.rs) | AffineScript (Protocol.res) | Status
 
 | SHA-256 via `sha2` crate | `hashAlgorithm = "sha256"` constant | ✓ ALIGNED
 |===
diff --git a/docs/V1-PUBLISH-ROADMAP.adoc b/docs/V1-PUBLISH-ROADMAP.adoc
index bd51b27..c10ac1c 100644
--- a/docs/V1-PUBLISH-ROADMAP.adoc
+++ b/docs/V1-PUBLISH-ROADMAP.adoc
@@ -82,7 +82,7 @@ For v1 publish, the following are **required**:
 
 === Phase 2: GUI/TUI Implementation
 
-.Formatrix GUI (Tauri 2.0 + ReScript)
+.Formatrix GUI (Tauri 2.0 + AffineScript)
 * [ ] Basic shell with format tabs
 * [ ] Editor component (CodeMirror 6)
 * [ ] File operations dialog
@@ -112,7 +112,7 @@ For v1 publish, the following are **required**:
 * [ ] Wolfi container image for all components
 * [ ] nerdctl-compose.yml for full stack
 * [ ] Guix channel with packages
-* [ ] Nix flake (fallback)
+* [ ] Guix flake (fallback)
 * [ ] CI/CD pipelines
 
 .Documentation
@@ -178,7 +178,7 @@ For v1 publish, the following are **required**:
 ----
 formatrix-core
     ├── formatrix-gui (Tauri)
-    │   └── ui/ (ReScript)
+    │   └── ui/ (AffineScript)
     ├── formatrix-tui (Ada)
     ├── formatrix-db
     │   └── arangodb
@@ -288,7 +288,7 @@ docudactyl
 |Abstract provider layer
 |Planned
 
-|ReScript ecosystem
+|AffineScript ecosystem
 |Low
 |Fallback to JS if needed
 |Monitor
diff --git a/examples/web-project-deno.json b/examples/web-project-deno.json
index 5ddd3bd..ee775a4 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": "^12.0.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": "^12.0.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/ui/deno.json b/ui/deno.json
deleted file mode 100644
index ad0ae8c..0000000
--- a/ui/deno.json
+++ /dev/null
@@ -1,37 +0,0 @@
-{
-  "$schema": "https://deno.land/x/deno/cli/schemas/config-file.v1.json",
-  "name": "@formatrix/ui",
-  "version": "0.1.0",
-  "imports": {
-    "@gossamer/api": "npm:@gossamer/api@^1",
-    "codemirror": "npm:codemirror@6/",
-    "@codemirror/view": "npm:@codemirror/view@6/",
-    "@codemirror/state": "npm:@codemirror/state@6/",
-    "@codemirror/lang-markdown": "npm:@codemirror/lang-markdown@6/",
-    "@codemirror/theme-one-dark": "npm:@codemirror/theme-one-dark@6/",
-    "react": "npm:react@19/",
-    "react-dom": "npm:react-dom@19/",
-    "force-graph": "npm:force-graph@1/"
-  },
-  "tasks": {
-    "setup": "deno install npm:rescript@11 npm:@rescript/core npm:@rescript/react && deno run -A npm:rescript@11 build",
-    "build:res": "deno run -A npm:rescript@11 build || echo 'ReScript build skipped (run: deno task setup)'",
-    "watch:res": "deno run -A npm:rescript@11 build -w",
-    "dev": "deno task watch:res & cd ../crates/formatrix-gui && gossamer dev",
-    "build": "deno task build:res && cd ../crates/formatrix-gui && gossamer build",
-    "fmt": "deno fmt",
-    "lint": "deno lint",
-    "clean": "rm -rf lib src/*.res.js src/**/*.res.js node_modules",
-    "test": "deno test"
-  },
-  "compilerOptions": {
-    "lib": ["dom", "dom.iterable", "esnext"],
-    "jsx": "react-jsx",
-    "jsxImportSource": "react"
-  },
-  "fmt": {
-    "lineWidth": 100,
-    "indentWidth": 2,
-    "singleQuote": false
-  }
-}