From cc057436227b8c78526486c25ccf9d9c5acae88b Mon Sep 17 00:00:00 2001
From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Date: Sat, 30 May 2026 21:55:48 +0100
Subject: [PATCH] feat(deno): migrate echidna-playground npm -> Deno
 (standards#253)

Class B (npm-wrapper via Deno) for the playground sub-tree. Deletes
redundant package.json (rescript-toolchain stub only). deno.json's
imports map carries the npm:rescript specifier; tasks updated to
`deno run -A --node-modules-dir=auto npm:rescript` where applicable.

Refs: standards#253 STEP 3 (smallest-first batch).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
---
 .gitignore                      |  8 ++++++++
 echidna-playground/deno.json    | 10 +++++-----
 echidna-playground/package.json | 15 ---------------
 3 files changed, 13 insertions(+), 20 deletions(-)
 delete mode 100644 echidna-playground/package.json

diff --git a/.gitignore b/.gitignore
index c189e9b2..c03a800e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -217,3 +217,11 @@ generated/tlaiser/
 generated/wokelangiser/
 generated/alloyiser/
 generated/abi/
+
+# npm-avoidant (standards#67)
+package-lock.json
+**/package-lock.json
+bun.lockb
+yarn.lock
+pnpm-lock.yaml
+.npmrc
diff --git a/echidna-playground/deno.json b/echidna-playground/deno.json
index 44a3d454..c9f1c3f2 100644
--- a/echidna-playground/deno.json
+++ b/echidna-playground/deno.json
@@ -2,13 +2,13 @@
   "name": "@coq-jr/web",
   "version": "0.1.0",
   "tasks": {
-    "build:res": "npx rescript build",
-    "clean:res": "npx rescript clean",
+    "build:res": "deno run -A --node-modules-dir=auto npm:rescript build",
+    "clean:res": "deno run -A --node-modules-dir=auto npm:rescript clean",
     "dev": "deno run --allow-net --allow-read server.ts",
     "serve": "deno run --allow-net --allow-read server.ts",
-    "res:build": "rescript build",
-    "res:clean": "rescript clean",
-    "res:watch": "rescript build -w"
+    "res:build": "deno run -A --node-modules-dir=auto npm:rescript build",
+    "res:clean": "deno run -A --node-modules-dir=auto npm:rescript clean",
+    "res:watch": "deno run -A --node-modules-dir=auto npm:rescript build -w"
   },
   "imports": {
     "@std/http": "jsr:@std/http@^1.0.0",
diff --git a/echidna-playground/package.json b/echidna-playground/package.json
deleted file mode 100644
index 2600a848..00000000
--- a/echidna-playground/package.json
+++ /dev/null
@@ -1,15 +0,0 @@
-{
-  "name": "coq-jr",
-  "version": "0.1.0",
-  "description": "jsCoq reimplemented in ReScript with Deno",
-  "type": "module",
-  "scripts": {
-    "res:build": "rescript build",
-    "res:clean": "rescript clean",
-    "res:watch": "rescript build -w"
-  },
-  "devDependencies": {
-    "rescript": "^12.0.0"
-  },
-  "dependencies": {}
-}