refactor: eradicate TypeScript and NPM/Deno configs (#47)

Automated eradication.

Author: hyperpolymath

.claude/CLAUDE.md

@@ -11,23 +11,23 @@ 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 with ReScript frontend (not TypeScript!)
+- **GUI**: Gossamer 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
 
 ## Language Policy
 
 ### ALLOWED
-- ReScript (UI components)
+- AffineScript (UI components)
 - Rust (core, GUI backend)
 - Ada (TUI)
 - Nickel (pipelines, config)
 - Guile Scheme (SCM files)
 - 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)
@@ -43,11 +43,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
@@ -56,7 +56,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
@@ -83,9 +83,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/`
@@ -102,7 +102,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
 ```
 

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

.machine_readable/6a2/PLAYBOOK.a2ml

@@ -63,7 +63,7 @@ enforcement-workflow = ".github/workflows/estate-rules.yml"
 # .github/             CONTRIBUTING.md, CODE_OF_CONDUCT.md, SECURITY.md, workflows/
 # .machine_readable/   AI manifests (0.1-AI-MANIFEST.a2ml), 6a2/ checkpoints,
 #                      contractiles/, configs/, anchors/, policies/, scripts/, svc/
-# build/               contractile.just, flake.nix, guix.scm, Containerfile,
+# build/               contractile.just, flake.guix, guix.scm, Containerfile,
 #                      just/*.just (Justfile section imports)
 # docs/                onboarding/, status/, architecture/, governance/  (all .adoc)
 # session/             dispatch.sh, custom-checks.k9, local-hooks.sh
@@ -103,7 +103,7 @@ enforcement-workflow = ".github/workflows/estate-rules.yml"
 #   build/just/groove.just     Groove protocol setup (after zig removed)
 #
 # Daily-use recipes (BUILD, TEST, LINT, RUN, DEPS, DOCS, CONTAINER, CI,
-# SECURITY, STATE, GUIX/NIX, MATRIX, VERSION CONTROL, UTILITIES, SESSION)
+# SECURITY, STATE, GUIX/GUIX, MATRIX, VERSION CONTROL, UTILITIES, SESSION)
 # stay in the root Justfile where users expect to find them.
 
 # === 5-PR cleanup pattern ===

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/
 ```
 

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/formatrix-docs.git
 cd formatrix-docs
 
-# Using Nix (recommended for reproducibility)
-nix develop
+# Using Guix (recommended for reproducibility)
+guix develop
 
 # Or using toolbox/distrobox
 toolbox create formatrix-docs-dev
@@ -45,7 +45,7 @@ formatrix-docs/
 ├── MAINTAINERS.md
 ├── README.adoc
 ├── SECURITY.md
-├── flake.nix            # Nix flake (Perimeter 1)
+├── flake.guix            # Guix flake (Perimeter 1)
 └── justfile             # Task runner (Perimeter 1)
 ```
 

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
 

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

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`)
 

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
 

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