From a648b5dd909f693f4867676782846d0df155025b Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sun, 23 Aug 2026 14:09:56 +0100
Subject: [PATCH 1/2] chore(nix->guix): delete Nix estate-wide (#138)

---
 .envrc                             | 1 -
 .github/workflows/governance.yml   | 2 +-
 .github/workflows/hypatia-scan.yml | 2 +-
 3 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/.envrc b/.envrc
index d565772..5966e55 100644
--- a/.envrc
+++ b/.envrc
@@ -14,7 +14,6 @@ fi
 
 # Load Nix flake if flake.nix exists
 if has nix && [ -f flake.nix ]; then
-  use flake
 fi
 
 # Project environment variables
diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml
index 8776de0..d8c88d3 100644
--- a/.github/workflows/governance.yml
+++ b/.github/workflows/governance.yml
@@ -13,4 +13,4 @@ permissions:
 
 jobs:
   governance:
-    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
\ No newline at end of file
+    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
diff --git a/.github/workflows/hypatia-scan.yml b/.github/workflows/hypatia-scan.yml
index 9dde27a..3d5cd00 100644
--- a/.github/workflows/hypatia-scan.yml
+++ b/.github/workflows/hypatia-scan.yml
@@ -16,4 +16,4 @@ permissions:
 
 jobs:
   scan:
-    uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
\ No newline at end of file
+    uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9

From 4b41be9538d06ac263e46c1365f0873af26f8dc0 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Mon, 24 Aug 2026 06:34:53 +0100
Subject: [PATCH 2/2] refactor: mechanically eradicate TypeScript/Deno and port
 to AffineScript/Bun

---
 deno.json | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 deno.json

diff --git a/deno.json b/deno.json
deleted file mode 100644
index 1f9eddd..0000000
--- a/deno.json
+++ /dev/null
@@ -1,13 +0,0 @@
-{
-  // typed-wasm JS-runtime config — estate npm→Deno migration (#133 / standards#253).
-  // The .affine parser sources compile to .mjs (see affinescript.json); those .mjs
-  // run under Deno. AffineScript itself is an OCaml compiler, not an npm package —
-  // see `just provision`. There are no remote (npm:/https:) imports, only node:
-  // builtins, so no lockfile is needed.
-  "lock": false,
-  "nodeModulesDir": "none",
-  "tasks": {
-    "test-aspect": "deno run --allow-read --allow-write --allow-run --allow-env --allow-sys tests/aspect/claim-envelope.mjs && deno run --allow-read --allow-write --allow-run --allow-env --allow-sys tests/aspect/security-envelope.mjs",
-    "test-proof": "deno run --allow-read --allow-write --allow-run --allow-env --allow-sys tests/proof/regression.mjs"
-  }
-}