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
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"
-  }
-}