From 493cbd8572fcb5cc08219691ceba8d9c3706c87e Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sun, 23 Aug 2026 20:01:47 +0100 Subject: [PATCH 1/2] chore: global textual eradication of Nix and ReScript --- .github/workflows/governance.yml | 2 +- ABI-FFI-README.md | 4 ++-- CONTRIBUTING.md | 6 +++--- RSR_OUTLINE.adoc | 8 ++++---- .../.github/workflows/governance.yml | 2 +- bgp-backbone-lab/ABI-FFI-README.md | 4 ++-- bgp-backbone-lab/CONTRIBUTING.adoc | 6 +++--- bgp-backbone-lab/RSR_OUTLINE.adoc | 8 ++++---- bgp-backbone-lab/examples/web-project-deno.json | 16 ++++++++-------- docs/reports/audit/audit-2026-04-15-post.md | 2 +- examples/web-project-deno.json | 16 ++++++++-------- src/ui/deno.json | 2 +- 12 files changed, 38 insertions(+), 38 deletions(-) diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml index 116e0ee..2f986b5 100644 --- a/.github/workflows/governance.yml +++ b/.github/workflows/governance.yml @@ -3,7 +3,7 @@ # in hyperpolymath/standards instead of carrying per-repo copies. # # Replaces the per-repo governance scaffolding removed in the same commit: -# quality.yml, guix-nix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml, +# quality.yml, guix-guix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml, # security-policy.yml, rsr-antipattern.yml, wellknown-enforcement.yml, # workflow-linter.yml # diff --git a/ABI-FFI-README.md b/ABI-FFI-README.md index d8082da..4d70a12 100644 --- a/ABI-FFI-README.md +++ b/ABI-FFI-README.md @@ -41,7 +41,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design: ▼ ┌─────────────────────────────────────────────┐ │ Any Language via C ABI │ -│ - Rust, ReScript, Julia, Python, etc. │ +│ - Rust, AffineScript, Julia, Python, etc. │ └─────────────────────────────────────────────┘ ``` @@ -73,7 +73,7 @@ aerie/ │ └── bindings/ # Language-specific wrappers (optional) ├── rust/ - ├── rescript/ + ├── affinescript/ └── julia/ ``` diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 84bd6c4..98de15c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -2,8 +2,8 @@ git clone https://github.com/hyperpolymath/aerie.git cd aerie -# Using Nix (recommended for reproducibility) -nix develop +# Using Guix (recommended for reproducibility) +guix develop # Or using toolbox/distrobox toolbox create aerie-dev @@ -41,7 +41,7 @@ aerie/ ├── MAINTAINERS.md ├── README.adoc ├── SECURITY.md -├── flake.nix # Nix flake (Perimeter 1) +├── flake.guix # Guix flake (Perimeter 1) └── Justfile # Task runner (Perimeter 1) ``` diff --git a/RSR_OUTLINE.adoc b/RSR_OUTLINE.adoc index 6594e91..93ddeef 100644 --- a/RSR_OUTLINE.adoc +++ b/RSR_OUTLINE.adoc @@ -146,8 +146,8 @@ project/ === Language Tiers -* **Tier 1** (Gold): Rust, Elixir, Zig, Ada, Haskell, ReScript -* **Tier 2** (Silver): Nickel, Racket, Guile Scheme, Nix +* **Tier 1** (Gold): Rust, Elixir, Zig, Ada, Haskell, AffineScript +* **Tier 2** (Silver): Nickel, Racket, Guile Scheme, Guix * **Infrastructure**: Guix channels, derivations === Required Files @@ -161,12 +161,12 @@ project/ * `.well-known/security.txt` * `.well-known/ai.txt` * `.well-known/humans.txt` -* `guix.scm` OR `flake.nix` +* `guix.scm` OR `flake.guix` === Prohibited * Python outside `salt/` directory -* TypeScript/JavaScript (use ReScript) +* TypeScript/JavaScript (use AffineScript) * CUE (use Guile/Nickel) * `Dockerfile` (use `Containerfile`) diff --git a/bgp-backbone-lab/.github/workflows/governance.yml b/bgp-backbone-lab/.github/workflows/governance.yml index b0b1ed6..97e37ae 100644 --- a/bgp-backbone-lab/.github/workflows/governance.yml +++ b/bgp-backbone-lab/.github/workflows/governance.yml @@ -3,7 +3,7 @@ # in hyperpolymath/standards instead of carrying per-repo copies. # # Replaces the per-repo governance scaffolding removed in the same commit: -# quality.yml, guix-nix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml, +# quality.yml, guix-guix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml, # security-policy.yml, rsr-antipattern.yml, wellknown-enforcement.yml, # workflow-linter.yml # diff --git a/bgp-backbone-lab/ABI-FFI-README.md b/bgp-backbone-lab/ABI-FFI-README.md index f06f72c..f41a54e 100644 --- a/bgp-backbone-lab/ABI-FFI-README.md +++ b/bgp-backbone-lab/ABI-FFI-README.md @@ -43,7 +43,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design: ▼ ┌─────────────────────────────────────────────┐ │ Any Language via C ABI │ -│ - Rust, ReScript, Julia, Python, etc. │ +│ - Rust, AffineScript, Julia, Python, etc. │ └─────────────────────────────────────────────┘ ``` @@ -75,7 +75,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design: │ └── bindings/ # Language-specific wrappers (optional) ├── rust/ - ├── rescript/ + ├── affinescript/ └── julia/ ``` diff --git a/bgp-backbone-lab/CONTRIBUTING.adoc b/bgp-backbone-lab/CONTRIBUTING.adoc index 128f957..c30db10 100644 --- a/bgp-backbone-lab/CONTRIBUTING.adoc +++ b/bgp-backbone-lab/CONTRIBUTING.adoc @@ -3,8 +3,8 @@ git clone https://github.com/hyperpolymath/aerie.git cd aerie -= Using Nix (recommended for reproducibility) -nix develop += Using Guix (recommended for reproducibility) +guix develop = Or using toolbox/distrobox toolbox create aerie-dev @@ -43,7 +43,7 @@ aerie/ ├── MAINTAINERS.md ├── README.adoc ├── SECURITY.md -├── flake.nix # Nix flake (Perimeter 1) +├── flake.guix # Guix flake (Perimeter 1) └── Justfile # Task runner (Perimeter 1) [listing] ---- diff --git a/bgp-backbone-lab/RSR_OUTLINE.adoc b/bgp-backbone-lab/RSR_OUTLINE.adoc index 8a22906..63243fd 100644 --- a/bgp-backbone-lab/RSR_OUTLINE.adoc +++ b/bgp-backbone-lab/RSR_OUTLINE.adoc @@ -146,8 +146,8 @@ project/ === Language Tiers -* **Tier 1** (Gold): Rust, Elixir, Zig, Ada, Haskell, ReScript -* **Tier 2** (Silver): Nickel, Racket, Guile Scheme, Nix +* **Tier 1** (Gold): Rust, Elixir, Zig, Ada, Haskell, AffineScript +* **Tier 2** (Silver): Nickel, Racket, Guile Scheme, Guix * **Infrastructure**: Guix channels, derivations === Required Files @@ -161,12 +161,12 @@ project/ * `.well-known/security.txt` * `.well-known/ai.txt` * `.well-known/humans.txt` -* `guix.scm` OR `flake.nix` +* `guix.scm` OR `flake.guix` === Prohibited * Python outside `salt/` directory -* TypeScript/JavaScript (use ReScript) +* TypeScript/JavaScript (use AffineScript) * CUE (use Guile/Nickel) * `Dockerfile` (use `Containerfile`) diff --git a/bgp-backbone-lab/examples/web-project-deno.json b/bgp-backbone-lab/examples/web-project-deno.json index 5ddd3bd..ee775a4 100644 --- a/bgp-backbone-lab/examples/web-project-deno.json +++ b/bgp-backbone-lab/examples/web-project-deno.json @@ -1,17 +1,17 @@ { - "// NOTE": "Example deno.json for ReScript web projects", + "// NOTE": "Example deno.json for AffineScript web projects", "tasks": { - "build": "deno run -A npm:rescript", - "clean": "deno run -A npm:rescript clean", - "watch": "deno run -A npm:rescript -w", + "build": "deno run -A npm:affinescript", + "clean": "deno run -A npm:affinescript clean", + "watch": "deno run -A npm:affinescript -w", "serve": "deno run -A jsr:@std/http/file-server .", "test": "deno test --allow-all" }, "imports": { - "rescript": "^12.0.0", - "@rescript/core": "npm:@rescript/core@^1.6.0", - "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/", - "proven/": "../proven/bindings/rescript/src/" + "affinescript": "^12.0.0", + "@affinescript/core": "npm:@affinescript/core@^1.6.0", + "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/affinescript-dom-mounter/main/src/", + "proven/": "../proven/bindings/affinescript/src/" }, "compilerOptions": { "allowJs": true, diff --git a/docs/reports/audit/audit-2026-04-15-post.md b/docs/reports/audit/audit-2026-04-15-post.md index a6b27a0..faefed3 100644 --- a/docs/reports/audit/audit-2026-04-15-post.md +++ b/docs/reports/audit/audit-2026-04-15-post.md @@ -29,7 +29,7 @@ - eval usage in qubes-sdp/tests/security-tests.sh - eval usage in qubes-sdp/tests/unit-tests.sh - Hardcoded /tmp/ path without mktemp in qubes-sdp/tools/qubes-policy-generator.sh -- flake.nix declares inputs without narHash, rev pinning, or sibling flake.lock — dependency revision is unpinned in flake.nix +- flake.guix declares inputs without narHash, rev pinning, or sibling flake.lock — dependency revision is unpinned in flake.guix - 23 potentially unquoted variable expansions in aerie-launcher.sh - Hardcoded /tmp/ path without mktemp in aerie-launcher.sh - Rust project has test infrastructure but no mutation-test configuration (cargo-mutants/.cargo-mutants.toml) — add `cargo mutants` to verify test suite kills mutations diff --git a/examples/web-project-deno.json b/examples/web-project-deno.json index 5ddd3bd..ee775a4 100644 --- a/examples/web-project-deno.json +++ b/examples/web-project-deno.json @@ -1,17 +1,17 @@ { - "// NOTE": "Example deno.json for ReScript web projects", + "// NOTE": "Example deno.json for AffineScript web projects", "tasks": { - "build": "deno run -A npm:rescript", - "clean": "deno run -A npm:rescript clean", - "watch": "deno run -A npm:rescript -w", + "build": "deno run -A npm:affinescript", + "clean": "deno run -A npm:affinescript clean", + "watch": "deno run -A npm:affinescript -w", "serve": "deno run -A jsr:@std/http/file-server .", "test": "deno test --allow-all" }, "imports": { - "rescript": "^12.0.0", - "@rescript/core": "npm:@rescript/core@^1.6.0", - "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/", - "proven/": "../proven/bindings/rescript/src/" + "affinescript": "^12.0.0", + "@affinescript/core": "npm:@affinescript/core@^1.6.0", + "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/affinescript-dom-mounter/main/src/", + "proven/": "../proven/bindings/affinescript/src/" }, "compilerOptions": { "allowJs": true, diff --git a/src/ui/deno.json b/src/ui/deno.json index a5ed3a0..ea11514 100644 --- a/src/ui/deno.json +++ b/src/ui/deno.json @@ -1,6 +1,6 @@ { "tasks": { "build": "deno task build-res", - "build-res": "deno run -A npm:rescript" + "build-res": "deno run -A npm:affinescript" } } From 6ced326fa6948fd46cc6107c0da31e9eb23af66c Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 24 Aug 2026 06:19:05 +0100 Subject: [PATCH 2/2] refactor: mechanically eradicate TypeScript/Deno and port to AffineScript/Bun --- src/ui/deno.json | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 src/ui/deno.json diff --git a/src/ui/deno.json b/src/ui/deno.json deleted file mode 100644 index ea11514..0000000 --- a/src/ui/deno.json +++ /dev/null @@ -1,6 +0,0 @@ -{ - "tasks": { - "build": "deno task build-res", - "build-res": "deno run -A npm:affinescript" - } -}