Remove legacy ReScript host; Deno + cartridges is the runtime surface

The repo began as ReScript Evangeliser. The engine has been re-pointed to
the correspondence model (Idris2 ABI + Zig FFI + AffineScript host binding)
with a Deno + cartridge-data runtime surface, so the legacy ReScript host —
flagged by the governance anti-pattern check — is now removed.

Removed:
- All ReScript host sources: src/*.res, src/*.resi (Types, Glyphs, Narrative,
  Patterns, Scanner, Analyser, Output, Cli) and the six test/*_test.res suites
- rescript.json, scripts/rescript-build.sh, and the ReScript Deno tasks/imports
  in deno.json (plus nodeModulesDir)
- Dead .res/.resi entries in .gitignore / .editorconfig / .gitattributes
- deno.lock from the index (it is .gitignored; regenerated locally)

Replaced (Deno-only, no ReScript):
- bin/evangeliser.js — offline CLI reading the cartridges (--kind / --find / --json)
- test/run_all.js — cartridge invariant tests mirroring the Idris2 ABI
  (false-friend signature, residue direction, all six kinds) — 59 checks
- Justfile build/watch/clean/install/test/stats/validate-structure recipes
- deno.json tasks repointed (build = validate cartridges; gui; test)

Docs/manifests now state the host is removed while KEEPING ReScript as a
legacy *target* language in correspondence content (the vanished-`return`
example, the cartridge target, the Form examples): README, EXPLAINME,
ROADMAP, CLAUDE.md, .claude/CLAUDE.md, TOPOLOGY, TEST-NEEDS, Mustfile.epx,
config.ncl, CHANGELOG, and .machine_readable/*.

Verified locally with Deno 2.8.3: deno fmt --check, deno lint, deno task test
(59/59), deno task build/validate (1/1 cartridges), CLI + GUI live probe all
green. Licence files and SPDX headers left untouched.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01A1BaAhqxUjkgVb1yg1sZap

Author: claude

.claude/CLAUDE.md

@@ -8,7 +8,7 @@
 - **Model:** Concept / Form / Transition; six `CorrespondenceKind`s (cognate / false-friend / antonym / alien-realization / novel / vanished) as graded Echo fibres; classification runs per stratum. Carrier = Dyadic relation + Echo loss-with-residue (`proven-tests-and-benches` + `echo-types`).
 - **Division of labour:** we build the engine + interface + vocabulary; the community authors per-language **cartridges** (`standards/cartridges/`).
 
-Host: **ReScript today** (legacy host, being migrated; banned in *new* code per estate policy → AffineScript `.affine`). **AffineScript** is the future host and a first-class target (Zig FFI + Idris2 ABI seams).
+Host: **ReScript host removed** (2026-06) — ReScript remains only as a legacy *target* language in correspondence content (cartridges/examples), never host code. The current runtime surface is **Deno + cartridge data**; **AffineScript** is the future host and a first-class target (Zig FFI + Idris2 ABI seams).
 
 When working here: classify-don't-translate; keep the no-shame voice; lead with the correspondence model (AffineScript is one first-class target/host, not the sole pitch); author-now / verify-in-CI when the toolchain is absent; **MPL-2.0 SPDX on new files, never relicense or sweep SPDX (licence-label drift is FLAG-ONLY to the owner)**.
 
@@ -19,7 +19,7 @@ When working here: classify-don't-translate; keep the no-shame voice; lead with
 | Language/Tool | Use Case | Notes |
 |---------------|----------|-------|
 | **AffineScript** | Flagship target language; future host | Affine/linear types, borrow checker, QTT, WASM backend |
-| **ReScript** | Current host application code; legacy target | Compiles to JS, type-safe |
+| **ReScript** | Legacy *target* language only (host removed) | Appears in cartridges/examples; not host code |
 | **Deno** | Runtime & package management | Replaces Node/npm/bun |
 | **Rust** | Performance-critical, systems, WASM | Preferred for CLI tools |
 | **Zig** | FFI, C-ABI bridges, systems | Canonical FFI layer (per `0-AI-MANIFEST.a2ml`) |
@@ -28,7 +28,7 @@ When working here: classify-don't-translate; keep the no-shame voice; lead with
 | **Gleam** | Backend services | Runs on BEAM or compiles to JS |
 | **Elixir** | BEAM supervision and bot-role orchestration metadata | Support role only; not the host language or flagship target |
 | **Bash/POSIX Shell** | Scripts, automation | Keep minimal |
-| **JavaScript** | Only where ReScript/AffineScript cannot | MCP protocol glue, Deno APIs |
+| **JavaScript** | Only where AffineScript cannot (Deno glue) | Workspace server, CLI, cartridge tooling |
 | **Nickel** | Configuration language | For complex configs |
 | **Guile Scheme** | State/meta files | STATE.scm, META.scm, ECOSYSTEM.scm |
 | **Julia** | Batch scripts, data processing | Per RSR |
@@ -39,13 +39,13 @@ When working here: classify-don't-translate; keep the no-shame voice; lead with
 
 | Banned | Replacement |
 |--------|-------------|
-| TypeScript | AffineScript (preferred) or ReScript |
+| TypeScript | AffineScript |
 | Node.js | Deno |
 | npm | Deno |
 | Bun | Deno |
 | pnpm/yarn | Deno |
 | Go | Rust or Zig |
-| Python | Julia/Rust/ReScript/AffineScript |
+| Python | Julia/Rust/AffineScript |
 | Java/Kotlin | Rust/Tauri/Dioxus |
 | Swift | Tauri/Dioxus |
 | React Native | Tauri/Dioxus |
@@ -56,40 +56,42 @@ When working here: classify-don't-translate; keep the no-shame voice; lead with
 
 **No exceptions for Kotlin/Swift** - use Rust-first approach:
 
-1. **Tauri 2.0+** - Web UI (ReScript/AffineScript) + Rust backend, MIT/Apache-2.0
+1. **Tauri 2.0+** - Web UI (AffineScript) + Rust backend, MIT/Apache-2.0
 2. **Dioxus** - Pure Rust native UI, MIT/Apache-2.0
 
 Both are FOSS with independent governance (no Big Tech).
 
 ### Enforcement Rules
 
-1. **No new TypeScript files** - Convert existing TS to AffineScript or ReScript
+1. **No new TypeScript files** - Convert existing TS to AffineScript
 2. **No package.json for runtime deps** - Use deno.json imports
 3. **No node_modules in production** - Deno caches deps automatically
 4. **No Go code** - Use Rust or Zig instead
-5. **No Python anywhere** - Use Julia for data/batch, Rust for systems, ReScript/AffineScript for apps
+5. **No Python anywhere** - Use Julia for data/batch, Rust for systems, AffineScript for apps
 6. **No Kotlin/Swift for mobile** - Use Tauri 2.0+ or Dioxus
 7. **No V outside the V ecosystem** - Use Zig
 
 ### JavaScript Exemptions
 
-JavaScript is allowed only when it is generated ReScript output, Deno/browser runtime glue, or a launcher bridge that cannot currently be written in AffineScript without losing operability.
+JavaScript is allowed only when it is Deno/browser runtime glue or a launcher bridge that cannot currently be written in AffineScript without losing operability. (The ReScript host has been removed, so there is no longer any generated-ReScript-output JS.)
 
 | Path | Files | Rationale | Unblock condition |
 |------|-------|-----------|-------------------|
-| `bin/evangeliser.js` | 1 | Deno CLI shim importing compiled ReScript output | Replace when AffineScript host CLI is runnable directly |
-| `gui/server.js` | 1 | Local Deno HTTP bridge for the AffineScript GUI contract and compiled ReScript analyser | Replace when AffineScript-to-Deno/webview bridge is available |
+| `bin/evangeliser.js` | 1 | Deno CLI reading correspondence cartridges (offline fallback) | Replace when AffineScript host CLI is runnable directly |
+| `gui/server.js` | 1 | Local Deno HTTP bridge serving the workspace + cartridge API | Replace when AffineScript-to-Deno/webview bridge is available |
 | `gui/app.js` | 1 | Browser-side event/render bridge for the GUI shell | Replace when AffineScript DOM/TEA bridge can drive this UI directly |
+| `scripts/validate-cartridges.js` | 1 | Deno cartridge-schema validator (ajv) | Replace when AffineScript can host the validator |
+| `test/run_all.js` | 1 | Deno cartridge invariant tests | Replace when AffineScript test runner is runnable directly |
 
 ### TypeScript Exemptions
 
 | Path | Files | Rationale | Unblock condition |
 |------|-------|-----------|-------------------|
-| `node_modules/` | generated | Deno-managed npm compatibility cache for ReScript tooling | Do not commit; local cache only |
+| _(none)_ | — | No TypeScript in the repo. The former `node_modules/` ReScript-tooling cache is obsolete now the ReScript host is removed. | — |
 
 ### BEAM / Elixir Roles
 
-Elixir is a support-role language for BEAM supervision of automation and fleet orchestration. It is not a target language in this repo and must not displace the ReScript host or AffineScript flagship path.
+Elixir is a support-role language for BEAM supervision of automation and fleet orchestration. It is not a target language in this repo and must not displace the AffineScript host path.
 
 | Role | Owner | Purpose | Boundary |
 |------|-------|---------|----------|

.editorconfig

@@ -41,12 +41,6 @@ indent_size = 3
 [*.hs]
 indent_size = 2
 
-[*.res]
-indent_size = 2
-
-[*.resi]
-indent_size = 2
-
 [*.ncl]
 indent_size = 2
 

.gitattributes

@@ -8,8 +8,9 @@
 *.ex    text eol=lf diff=elixir
 *.exs   text eol=lf diff=elixir
 *.jl    text eol=lf
-*.res   text eol=lf
-*.resi  text eol=lf
+*.affine text eol=lf
+*.idr   text eol=lf
+*.zig   text eol=lf
 *.ada   text eol=lf diff=ada
 *.adb   text eol=lf diff=ada
 *.ads   text eol=lf diff=ada
@@ -52,5 +53,3 @@ Containerfile  text eol=lf
 # Lock files
 Cargo.lock  text eol=lf -diff
 flake.lock  text eol=lf -diff
-# Pending estate-wide policy: hide ReScript from primary-language detection.
-**/*.res linguist-detectable=false

.github/workflows/rsr-antipattern.yml

@@ -165,7 +165,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

@@ -27,9 +27,9 @@ 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' | grep -v '^bin/evangeliser\.js$' | grep -v '^gui/server\.js$' | grep -v '^gui/app\.js$' || true)
           
           if [ -n "$NEW_TS" ] || [ -n "$NEW_JS" ]; then
-            echo "❌ New TS/JS files detected outside documented Deno/ReScript bridge exemptions."
+            echo "❌ New TS/JS files detected outside documented Deno bridge exemptions."
             [ -n "$NEW_TS" ] && echo "$NEW_TS"
             [ -n "$NEW_JS" ] && echo "$NEW_JS"
             exit 1
           fi
-          echo "✅ ReScript policy enforced"
+          echo "✅ JS/TS bridge policy enforced"

.gitignore

@@ -37,15 +37,6 @@ erl_crash.dump
 *.jl.mem
 /Manifest.toml
 
-# ReScript
-/lib/bs/
-/lib/
-/.bsb.lock
-*.res.js
-*.bs.js
-.merlin
-!/test/run_all.js
-
 # Deno
 deno.lock
 .deno/

.machine_readable/6a2/META.a2ml

@@ -15,7 +15,7 @@ decisions = [
   "ADR-1 Classify, don't translate — name the CorrespondenceKind + residue; no universal translator, no Curry-Howard-fidelity goal",
   "ADR-2 Carrier = Dyadic relation + Echo loss-with-residue (proven-tests-and-benches + echo-types); invariant-path is the governance front-end",
   "ADR-3 Engine vs cartridge — we build the engine/interface/vocabulary; per-language facts are cartridges (standards/cartridges)",
-  "ADR-4 Host ReScript -> AffineScript (Zig FFI + Idris2 ABI seams); ReScript banned in new code",
+  "ADR-4 Host ReScript -> AffineScript (Zig FFI + Idris2 ABI seams); ReScript host removed (Deno + cartridges interim), retained only as a legacy target language",
   "ADR-5 Emit into PanLL (octads -> VeriSimDB -> panels); not itself the IDE",
   "ADR-6 Knot-theory framing is an aspirational lens, not a literal computation",
 ]

.machine_readable/6a2/PLAYBOOK.a2ml

@@ -8,9 +8,9 @@ last-updated = "2026-06-18"
 project = "nextgen-languages-evangeliser"
 
 [deployment]
-# Host: ReScript today (compiles to JS, run under Deno); AffineScript after the
-# Phase-3 host port. Surfaces: Deno CLI (bin/evangeliser.js) and the browser
-# GUI (gui/server.js + gui/app.js).
+# Host: ReScript host removed — interim surface is Deno + cartridge data;
+# AffineScript after the host port. Surfaces: Deno CLI (bin/evangeliser.js,
+# reads cartridges) and the browser GUI (gui/server.js + gui/app.js).
 # method = "ci-triggered"
 # target = "library + cli + browser-gui"
 

.machine_readable/META.a2ml

@@ -10,7 +10,7 @@
     (adr-1 "Classify, don't translate — the engine names the kind of cross-language correspondence (CorrespondenceKind) and its residue; it is not a universal translator and claims no Curry-Howard fidelity")
     (adr-2 "Formal carrier = Dyadic relation + Echo loss-with-residue (proven-tests-and-benches Dyadic.idr + hyperpolymath/echo-types); invariant-path is the governance front-end")
     (adr-3 "Engine vs cartridge — we build the general engine, interface and vocabulary; per-language facts are authored as cartridges (standards/cartridges)")
-    (adr-4 "Host moves ReScript -> AffineScript with Zig FFI + Idris2 ABI seams; ReScript banned in new code per estate policy")
+    (adr-4 "Host moves ReScript -> AffineScript with Zig FFI + Idris2 ABI seams; the ReScript host has been removed (Deno + cartridges is the interim surface), ReScript retained only as a legacy target language")
     (adr-5 "The engine emits into PanLL (octads -> VeriSimDB -> panels); it is not itself the IDE")
     (adr-6 "Knot-theory framing is an aspirational lens, not a literal computation — documented honestly"))
   (development-practices

.machine_readable/STATE.a2ml

@@ -19,23 +19,24 @@
 
   (current-position
     (phase "Re-point: cross-language correspondence engine + abstraction-model pivot")
-    (overall-completion 58)
+    (overall-completion 66)
     (working-features
       "Correspondence-model design spec (docs/theory/CORRESPONDENCE-MODEL.adoc) — merged"
       "Standards/machine-readable hygiene (6a2 manifests, panic-attack gate, eNSAID config) — merged"
-      "Scanner + Analyser detection engine (ReScript host)"
-      "Narrative generation (no-shame voice)"
-      "Makaton-inspired glyph view-layer"
-      "CLI: scan / patterns / legend / stats"
-      "RAW/FOLDED/GLYPHED view layers; plain/markdown/html outputs"))
+      "Idris2 ABI spine (Carrier.idr + Correspondence.idr) — typechecks; Zig FFI mirror; AffineScript host binding"
+      "Cartridge contract (JSON-Schema) + reference pack (one correspondence per CorrespondenceKind)"
+      "Browser multi-pane workspace (index / forms / classification; five overlay view-layers) — merged"
+      "Offline CLI (Deno; reads cartridges): --kind / --find / --json"
+      "Cartridge invariant tests (Deno; mirrors Abi.Correspondence)"
+      "Legacy ReScript host removed — runtime surface is Deno + cartridges"))
 
   (route-to-mvp
     (milestones
       (m0 (status "complete")    (items "Correspondence-model spec: Concept/Form/Transition + six kinds + Dyadic/Echo carrier"))
       (m1 (status "complete")    (items "Standards/repo hygiene: 6a2 manifests, panic-attack gate, eNSAID config"))
-      (m2 (status "in-progress") (items "Identity re-point" "Abstraction-model pivot: Concept/Form/Transition + CorrespondenceKind in src"))
-      (m3 (status "pending")     (items "Browser multi-pane GUI + overlay view-layers + HAS accessibility"))
-      (m4 (status "gated")       (items "AffineScript host port (.res -> .affine) + Zig FFI + Idris2 ABI seams"))
+      (m2 (status "in-progress") (items "Identity re-point" "Abstraction-model pivot: Concept/Form/Transition + CorrespondenceKind as cartridge facts"))
+      (m3 (status "complete")    (items "Browser multi-pane GUI + overlay view-layers + HAS accessibility"))
+      (m4 (status "gated")       (items "AffineScript host application (ReScript host removed; Zig FFI + Idris2 ABI seams authored)"))
       (m5 (status "pending")     (items "Cartridge contract + 2nd language pack"))
       (m6 (status "pending")     (items "Idris2/Echo witnesses + benches + PanLL octad emission"))))
 
@@ -45,9 +46,11 @@
     "Licence-label drift to flag to owner (PMPL badge / 'Palimpsest License (MPL-2.0)' / ROADMAP 'MPL-2.0-or-later') vs MPL-2.0 SPDX — FLAG-ONLY, manual")
 
   (critical-next-actions
-    "Abstraction-model pivot: recast Types/Patterns/Narrative/Analyser to Concept/Form/Transition + CorrespondenceKind"
-    "Browser multi-pane GUI surface")
+    "Port the legacy pattern catalogue into cartridge facts (Concept/Form/Transition + CorrespondenceKind)"
+    "Author a second language pack to prove engine-agnosticism"
+    "Begin the AffineScript host application against the Idris2 ABI / Zig FFI seams")
 
   (session-history
     (2026-04-16 "Phase 0 decisions locked; Phase 1 started")
-    (2026-06-18 "Re-point: correspondence-model spec merged (#19); standards hygiene merged (#20); identity re-point")))
+    (2026-06-18 "Re-point: correspondence-model spec merged (#19); standards hygiene merged (#20); identity re-point")
+    (2026-06-27 "ABI/FFI/host spine + multi-pane GUI merged; legacy ReScript host removed (Deno + cartridges)")))