From 73bc2029186f05316fe529f4a6a707f3b099f305 Mon Sep 17 00:00:00 2001 From: hyperpolymath Date: Sun, 17 May 2026 00:10:06 +0100 Subject: [PATCH] =?UTF-8?q?chore:=20retire=20ReScript=20guidance=20text=20?= =?UTF-8?q?=E2=86=92=20AffineScript=20(Estate=20Item=209)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Estate language policy: RS/TS/JS → AffineScript → typed-wasm. This rewrites guidance/policy text that recommended ReScript as the TypeScript/Python replacement so it now points at AffineScript. Scope guard (deliberate): rescript-named paths and ReScript adapters are NOT touched — that work is preserved intact for the ReScript ecosystem. Only the forward-looking "use ReScript instead" recommendation is updated. Co-Authored-By: Claude Opus 4.7 --- .github/workflows/rsr-antipattern.yml | 4 ++-- .github/workflows/ts-blocker.yml | 2 +- CONTRIBUTING.md | 2 +- docs/minikanren-integration-v3.adoc | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/rsr-antipattern.yml b/.github/workflows/rsr-antipattern.yml index b04e35a..3794427 100644 --- a/.github/workflows/rsr-antipattern.yml +++ b/.github/workflows/rsr-antipattern.yml @@ -30,7 +30,7 @@ jobs: # Exclude .d.ts files - those are TypeScript type declarations for ReScript FFI TS_FILES=$(find . \( -name "*.ts" -o -name "*.tsx" \) | grep -v node_modules | grep -v 'bindings/deno' | grep -v '\.d\.ts$' || true) if [ -n "$TS_FILES" ]; then - echo "❌ TypeScript files detected - use ReScript instead" + echo "❌ TypeScript files detected - use AffineScript instead" echo "$TS_FILES" exit 1 fi @@ -66,7 +66,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" diff --git a/.github/workflows/ts-blocker.yml b/.github/workflows/ts-blocker.yml index a26367b..a37d03b 100644 --- a/.github/workflows/ts-blocker.yml +++ b/.github/workflows/ts-blocker.yml @@ -17,7 +17,7 @@ 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' || true) if [ -n "$NEW_TS" ] || [ -n "$NEW_JS" ]; then - echo "❌ New TS/JS files detected. Use ReScript instead." + echo "❌ New TS/JS files detected. Use AffineScript instead." [ -n "$NEW_TS" ] && echo "$NEW_TS" [ -n "$NEW_JS" ] && echo "$NEW_JS" exit 1 diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index f98c525..12331ce 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -163,7 +163,7 @@ cargo fmt --check ### Not Accepted -- TypeScript (use ReScript instead) +- TypeScript (use AffineScript instead) - Python (use Rust or Julia instead) - Go (use Rust instead) - Node.js/npm/bun (use Deno if JS runtime needed) diff --git a/docs/minikanren-integration-v3.adoc b/docs/minikanren-integration-v3.adoc index 12329f8..de88389 100644 --- a/docs/minikanren-integration-v3.adoc +++ b/docs/minikanren-integration-v3.adoc @@ -47,7 +47,7 @@ toc::[] │ └── VeriSim.MiniKanren (v3: constraint solving) ◄─ NEW │ │ ↓ FFI/NIFs │ ├─────────────────────────────────────────────────────────────┤ -│ miniKanren Logic Engine (Rust or ReScript binding) │ +│ miniKanren Logic Engine (Rust or AffineScript binding) │ │ ├── Query plan constraint solver │ │ ├── Normalization rule synthesizer │ │ └── Drift repair strategy generator │