From 497a5fd534039fa33368364edbaca42c10b2dcf0 Mon Sep 17 00:00:00 2001 From: hyperpolymath Date: Sun, 17 May 2026 00:09:54 +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 | 2 +- .github/workflows/ts-blocker.yml | 2 +- EXPLAINME.adoc | 2 +- PROOF-NEEDS.md | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/rsr-antipattern.yml b/.github/workflows/rsr-antipattern.yml index ff16d3a..0141a5d 100644 --- a/.github/workflows/rsr-antipattern.yml +++ b/.github/workflows/rsr-antipattern.yml @@ -168,7 +168,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 6a09ba2..45919fc 100644 --- a/.github/workflows/ts-blocker.yml +++ b/.github/workflows/ts-blocker.yml @@ -18,7 +18,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/EXPLAINME.adoc b/EXPLAINME.adoc index 9ffec84..fc54a36 100644 --- a/EXPLAINME.adoc +++ b/EXPLAINME.adoc @@ -37,7 +37,7 @@ ____ **Evidence**: `examples/02-multi-module.twasm` demonstrates: Module A exports a `region Entity` with fields (pos_x, pos_y, hp); Module B imports the same region and defines typed load/store operations. `src/abi/Proofs.idr` proves field offset and alignment agreement. -**Caveat**: Schema agreement proof is _type-level_ (compile-time). Does NOT verify that actual Rust/ReScript compiled code respects field layout — correspondence is manual. Runtime behavior depends on correct field packing across compilers. +**Caveat**: Schema agreement proof is _type-level_ (compile-time). Does NOT verify that actual Rust/AffineScript compiled code respects field layout — correspondence is manual. Runtime behavior depends on correct field packing across compilers. === Claim 3: "Checked L1-L10 Proof Core — All 10 Levels Integrated" diff --git a/PROOF-NEEDS.md b/PROOF-NEEDS.md index eb362fe..21ee9b4 100644 --- a/PROOF-NEEDS.md +++ b/PROOF-NEEDS.md @@ -502,7 +502,7 @@ operationally but does not prove the monotonicity as a theorem. (P2.1, P2.2), Levels monotonicity (P3.2). Cleanup session. After each session: run `idris2 --check` on every file in -`typed-wasm.ipkg`, run `panic-attack assail` on the Rust/ReScript +`typed-wasm.ipkg`, run `panic-attack assail` on the Rust/AffineScript adjacent code (no new unsafe code should land), update this file's inventory table, commit.