chore: global textual eradication of Nix and ReScript

Author: hyperpolymath

.claude/CLAUDE.md

@@ -163,7 +163,7 @@ Do not "migrate", rewrite, or delete `formal/*.v` as if it were V-lang.
 ### Package Management
 
 - **Primary**: Guix (guix.scm)
-- **Fallback**: Nix (flake.nix)
+- **Fallback**: Guix (flake.guix)
 - **JS deps**: Deno (deno.json imports)
 
 ### Security Requirements

.github/workflows/ci.yml

@@ -65,8 +65,8 @@ jobs:
         # this step is only required to *exercise* the walker — the
         # build itself does not depend on it.
         run: npm install -g tree-sitter-cli@^0.25.0
-      - name: Build pinned tree-sitter-rescript grammar
-        run: ./editors/tree-sitter-rescript/scripts/install.sh
+      - name: Build pinned tree-sitter-affinescript grammar
+        run: ./editors/tree-sitter-affinescript/scripts/install.sh
       - name: Build
         run: opam exec -- dune build
       - name: Run tests
@@ -291,9 +291,9 @@ jobs:
         # 0 with all tests marked skipped (mocha's expected behaviour).
         run: xvfb-run -a npm test
   migration-assistant:
-    # Build pinned tree-sitter-rescript grammar consumed by the
+    # Build pinned tree-sitter-affinescript grammar consumed by the
     # `.res → .affine` migration assistant (#57 Phase 2). The grammar
-    # is manifest-vendored (`editors/tree-sitter-rescript/package.json`)
+    # is manifest-vendored (`editors/tree-sitter-affinescript/package.json`)
     # so this job exists to (a) verify the install script and pinned
     # commit still build cleanly and (b) gate `tools/res-to-affine/`
     # walker work that depends on the generated parser.
@@ -310,31 +310,31 @@ jobs:
       - name: Install tree-sitter CLI
         # npm install of tree-sitter-cli is the fast CI path (~5 s vs.
         # ~5 min for `cargo install tree-sitter-cli`). The repo's
-        # preferred local path is cargo (see editors/tree-sitter-rescript/
+        # preferred local path is cargo (see editors/tree-sitter-affinescript/
         # README.md) — both produce the same `tree-sitter` binary that
         # the install script invokes via `command -v`. The version
-        # tracks `tree-sitter-rescript`'s package.json devDependency
+        # tracks `tree-sitter-affinescript`'s package.json devDependency
         # range.
         run: npm install -g tree-sitter-cli@^0.25.0
-      - name: Build pinned tree-sitter-rescript grammar
+      - name: Build pinned tree-sitter-affinescript grammar
         # Direct script invocation rather than `just install-grammar` —
         # GitHub Actions runners do not ship `just` preinstalled, and
         # there is no other recipe used in this workflow that justifies
         # adding a setup step for it. The justfile recipe still exists
         # for local developer ergonomics; both call the same script.
-        run: ./editors/tree-sitter-rescript/scripts/install.sh
+        run: ./editors/tree-sitter-affinescript/scripts/install.sh
       - name: Verify generated parser
         # `tree-sitter generate` is supposed to drop src/parser.c into
         # the cloned grammar. If it didn't, the install path is broken
         # and Phase-2 walker work cannot proceed; fail loudly here
         # rather than at the OCaml link step in a downstream PR.
         run: |
-          test -f tools/vendor/tree-sitter-rescript/src/parser.c \
+          test -f tools/vendor/tree-sitter-affinescript/src/parser.c \
             || { echo "error: parser.c not produced by tree-sitter generate" >&2; exit 1; }
-          echo "parser.c size: $(wc -c < tools/vendor/tree-sitter-rescript/src/parser.c) bytes"
+          echo "parser.c size: $(wc -c < tools/vendor/tree-sitter-affinescript/src/parser.c) bytes"
       - name: Smoke-parse a sample .res file
         # Sanity-check that the grammar actually parses a non-trivial
-        # ReScript source. Picks the existing res-to-affine test fixture
+        # AffineScript source. Picks the existing res-to-affine test fixture
         # so any drift in the pinned commit's syntactic surface area
         # surfaces here rather than at walker-rule writing time.
         #
@@ -353,6 +353,6 @@ jobs:
             exit 0
           fi
           fixture_abs="$(realpath "${fixtures[0]}")"
-          ( cd tools/vendor/tree-sitter-rescript \
+          ( cd tools/vendor/tree-sitter-affinescript \
               && tree-sitter parse --quiet "${fixture_abs}" > /dev/null )
           echo "smoke-parsed: ${fixtures[0]}"

.machine_readable/CLADE.a2ml

@@ -31,7 +31,7 @@ note = "Predates ANCHOR.a2ml convention. Retroactively assigned clade 2026-04-12
 # AffineScript-specific fields
 paradigm = ["functional", "affine", "typed"]
 compile-targets = ["typed-wasm", "julia", "wasm-gc"]
-inspiration = ["ReScript", "Rust", "Granule", "OCaml"]
+inspiration = ["AffineScript", "Rust", "Granule", "OCaml"]
 headline-feature = "affine-types-with-javascript-ergonomics"
 
 [thesis]

.machine_readable/anchors/ANCHOR.a2ml

@@ -20,11 +20,11 @@ status: "active-recovery"
 thesis:
   one-sentence: >
     AffineScript is JavaScript-ergonomic correctness: the developer experience
-    of the -script family (TypeScript, ReScript, PureScript) raised to a higher
+    of the -script family (TypeScript, AffineScript, PureScript) raised to a higher
     correctness floor through a small, deliberately chosen set of advanced
     types, compiling to Typed WASM.
 
-  ergonomic-target: "closer to JavaScript than ReScript in experience"
+  ergonomic-target: "closer to JavaScript than AffineScript in experience"
 
   design-principle: >
     Ergonomics first. The type system defaults must be sensible so most code
@@ -33,7 +33,7 @@ thesis:
 
   in-scope:
     - phantom-types                # free via generics
-    - immutable-by-default         # matches ReScript/Elm/Grain/JS `const`
+    - immutable-by-default         # matches AffineScript/Elm/Grain/JS `const`
     - row-polymorphism             # PureScript/Elm pattern
     - full-type-inference          # HM-style; quantities at signatures, inferred in function bodies
     - sound-type-system            # table stakes; three bugs currently open

.machine_readable/contractiles/intend/Intentfile.a2ml

@@ -13,7 +13,7 @@ repo = "nextgen-languages/affinescript"
 is = """
 AffineScript is a programming language with affine types and JavaScript ergonomics,
 compiling to Typed WASM. It targets the -script developer community (TypeScript,
-ReScript, PureScript users) and offers a higher correctness floor through a small,
+AffineScript, PureScript users) and offers a higher correctness floor through a small,
 deliberately chosen set of advanced types. The feature set is fixed by the thesis
 in ANCHOR.a2ml — new features require a thesis change, not a code change.
 """

.machine_readable/descriptiles/META.a2ml

@@ -918,7 +918,7 @@ Implementation (parser.mly, conflict-neutral):
 - Resolution of the qualified name against a real module is a separate
   concern (the parse gap is what #228 names); the grammar PR unblocks
   parsing — most of the 525 estate parse failures clear with zero
-  consumer churn. Genuine ReScript-surface residue (#229) is tracked
+  consumer churn. Genuine AffineScript-surface residue (#229) is tracked
   separately.
 """
 consequences = """
@@ -979,7 +979,7 @@ Staged plan (ledger INT-03; each row = one gated PR):
 - S1 (this PR): ADR-015 + WIT world + staged plan + tooling-prerequisite
   + roadmap truthing. No codegen change.
 - S2: toolchain provisioning — `wasm-tools` + `wasm-component-ld` (and
-  `wac`) into guix.scm/flake.nix. ABSENT in the current toolchain ⇒ a
+  `wac`) into guix.scm/flake.guix. ABSENT in the current toolchain ⇒ a
   HARD GATE on S3+: a component cannot be built or tested without them.
 - S3: componentize on-ramp — codegen still emits core wasm; a
   post-codegen step wraps it with the standard preview1->preview2
@@ -1146,9 +1146,9 @@ references = [
 id = "ADR-017"
 status = "accepted"
 date = "2026-05-19"
-title = "ReScript block-module disposition: one module per file (split, do not nest)"
+title = "AffineScript block-module disposition: one module per file (split, do not nest)"
 context = """
-ReScript `module Name { … }` block modules have no AffineScript block
+AffineScript `module Name { … }` block modules have no AffineScript block
 form: the grammar (parser.mly:130-134) is a single optional `module
 Path;` header, before imports — `module A { }` parse-errors. ADR-011
 settled "real modules": the file IS the module. The estate #229 ports
@@ -1162,7 +1162,7 @@ occurrences) had no clean target. Escalated language-side as ESC-04
 no-raw-escape doctrine, #245 — this is ADR-017, sequential.)
 """
 decision = """
-One module per file — split, do not nest. Each ReScript `module X {
+One module per file — split, do not nest. Each AffineScript `module X {
 body }` becomes its own `X.affine` whose first declaration is `module
 X;`, body dedented, `use` after the header. A file with N block-modules
 is split into N files. The grammar is NOT extended with a block/nested
@@ -1173,22 +1173,22 @@ ADR settles the porting doctrine + the #229 canonical-map structural
 rule. Adjacent and explicitly OUT of scope: a split file still hits
 Resolve.UndefinedModule until the repo module-path<->file-layout matches
 the loader — cross-module graph coherence (INT-02 loader-bridge),
-tracked in RESCRIPT-ELIMINATION.adoc Tier-4, never conflated here.
+tracked in AFFINESCRIPT-ELIMINATION.adoc Tier-4, never conflated here.
 """
 consequences = """
 - The #229 block-module residue (idaptik-dlc-vm, standards/lol, parts of
   burble) has a defined target: split-per-file. Full validation still
   needs the per-repo module graph (INT-02), tracked separately.
 - No language/compiler change; no estate consumer churn from this ADR.
 - This decision is settled; do not reopen without amending this ADR.
-  ESC-04 #262; #229 canonical map in docs/RESCRIPT-ELIMINATION.adoc.
+  ESC-04 #262; #229 canonical map in docs/AFFINESCRIPT-ELIMINATION.adoc.
 """
 references = [
   "https://github.com/hyperpolymath/affinescript/issues/262",
   "https://github.com/hyperpolymath/affinescript/issues/229",
   "lib/parser.mly (module_decl; one `module Path;` header per file)",
   "docs/specs/SETTLED-DECISIONS.adoc (ADR-017 section)",
-  "docs/RESCRIPT-ELIMINATION.adoc (#229 canonical map; Tier-4 INT-02)",
+  "docs/AFFINESCRIPT-ELIMINATION.adoc (#229 canonical map; Tier-4 INT-02)",
   "META.a2ml [[adr]] ADR-011 (real modules: file = module)",
   "META.a2ml [[adr]] ADR-012 (grammar changes are correctness assertions)",
 ]
@@ -1199,7 +1199,7 @@ status = "accepted"
 date = "2026-05-19"
 title = "No raw/FFI escape: typed `extern` is the only host bridge"
 context = """
-ReScript `%%raw("<host source>")` / `%raw` injects arbitrary untyped
+AffineScript `%%raw("<host source>")` / `%raw` injects arbitrary untyped
 host source. AffineScript's only host bridge is `extern fn` / `extern
 type` (parser.mly extern_fn_decl/extern_type_decl, FnExtern body) —
 typed, host-supplied, no body, no arbitrary-source escape. 14 estate
@@ -1235,7 +1235,7 @@ references = [
   "https://github.com/hyperpolymath/affinescript/issues/229",
   "lib/parser.mly (extern_fn_decl; extern_type_decl; FnExtern)",
   "docs/specs/SETTLED-DECISIONS.adoc (ADR-018 section)",
-  "docs/RESCRIPT-ELIMINATION.adoc (#229 canonical map; Tier-3 ESC-01)",
+  "docs/AFFINESCRIPT-ELIMINATION.adoc (#229 canonical map; Tier-3 ESC-01)",
   "META.a2ml [[adr]] ADR-012 (grammar changes are correctness assertions)",
 ]
 
@@ -1252,7 +1252,7 @@ so "publish the compiler" needed a distribution strategy. This gates
 INT-10 (`affinescript-lsp` distribution, which "waits on a published
 compiler"). The fork was escalated (issue #260; AskUserQuestion
 2026-05-19) over four options: (1) GitHub Releases binaries, (2)
-Guix/Nix channel, (3) thin JSR/npm shim, (4) Releases + shim. The
+Guix/Guix channel, (3) thin JSR/npm shim, (4) Releases + shim. The
 owner chose (4).
 """
 decision = """
@@ -1262,7 +1262,7 @@ Dual-channel, Releases-canonical:
   to build per-platform compiler binaries (Linux x86_64 first;
   macOS/Windows as the build matrix allows) and attach them to the
   GitHub Release together with a `SHA256SUMS` manifest. Releases are
-  the single source of truth; Guix/Nix and any npm tail become
+  the single source of truth; Guix/Guix and any npm tail become
   *additive fetch-derivations over the same artifact* later (NOT in
   this ADR's slices) — no second producer of the binary.
 - *Ergonomic front door.* A thin Deno/JSR package
@@ -1290,7 +1290,7 @@ Staged (ledger #260 / INT-10; each a gated PR):
 consequences = """
 - One-way: fixes the install contract (Releases artifact name/layout +
   shim package name). Reversible per-slice; Releases-canonical keeps
-  Guix/Nix/npm strictly additive.
+  Guix/Guix/npm strictly additive.
 - INT-10 (`affinescript-lsp` distribution) is unblocked once S2+S3
   land; filed now.
 - Supply chain: every shim release pins one checksummed binary; no