refactor: eradicate TypeScript and NPM/Deno configs

.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/root-allow.txt

@@ -1 +1 @@
-flake.nix
+flake.guix

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

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

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

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
 

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

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

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.

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

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

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 |

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

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