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

---
 .envrc                               |  2 -
 .github/workflows/hypatia-scan.yml   |  2 +-
 .github/workflows/proofs.yml         |  4 --
 .github/workflows/secret-scanner.yml |  2 +-
 flake.lock                           | 61 ----------------------------
 5 files changed, 2 insertions(+), 69 deletions(-)
 delete mode 100644 flake.lock

diff --git a/.envrc b/.envrc
index 769e63d..4a79f9e 100644
--- a/.envrc
+++ b/.envrc
@@ -14,6 +14,4 @@ if has guix && [ -f guix.scm ] && [ "${USE_GUIX:-0}" = "1" ]; then
   use guix
 fi
 
-if has nix && [ -f flake.nix ] && [ "${USE_FLAKE:-0}" = "1" ]; then
-  use flake
 fi
diff --git a/.github/workflows/hypatia-scan.yml b/.github/workflows/hypatia-scan.yml
index 8a444ae..b359c42 100644
--- a/.github/workflows/hypatia-scan.yml
+++ b/.github/workflows/hypatia-scan.yml
@@ -24,4 +24,4 @@ permissions:
 jobs:
   hypatia:
     uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
-    secrets: inherit
\ No newline at end of file
+    secrets: inherit
diff --git a/.github/workflows/proofs.yml b/.github/workflows/proofs.yml
index 98358df..26275b6 100644
--- a/.github/workflows/proofs.yml
+++ b/.github/workflows/proofs.yml
@@ -48,9 +48,7 @@ jobs:
       - name: Checkout
         uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5  # v4
 
-      - name: Install Nix (Determinate installer)
         run: |
-          curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix \
             | sh -s -- install --no-confirm
 
       - name: Check Idris2 + Lean4 proofs (fail-on-skip, real invocation)
@@ -67,9 +65,7 @@ jobs:
       - name: Checkout
         uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5  # v4
 
-      - name: Install Nix (Determinate installer)
         run: |
-          curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix \
             | sh -s -- install --no-confirm
 
       - name: Build wasm guests + check ABI signatures vs the verified Idris2 model
diff --git a/.github/workflows/secret-scanner.yml b/.github/workflows/secret-scanner.yml
index e51c9d9..09f9ae3 100644
--- a/.github/workflows/secret-scanner.yml
+++ b/.github/workflows/secret-scanner.yml
@@ -16,4 +16,4 @@ jobs:
     permissions:
       contents: read
     uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
-    secrets: inherit
\ No newline at end of file
+    secrets: inherit
diff --git a/flake.lock b/flake.lock
deleted file mode 100644
index c9e82dd..0000000
--- a/flake.lock
+++ /dev/null
@@ -1,61 +0,0 @@
-{
-  "nodes": {
-    "flake-utils": {
-      "inputs": {
-        "systems": "systems"
-      },
-      "locked": {
-        "lastModified": 1731533236,
-        "narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
-    "nixpkgs": {
-      "locked": {
-        "lastModified": 1780365719,
-        "narHash": "sha256-QfWfccTN+70ZQ4m2qlU9PiKfz2Yppq94058iJyARNwc=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "ffa10e26ae11d676b2db836259889f1f571cb14f",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixpkgs-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "root": {
-      "inputs": {
-        "flake-utils": "flake-utils",
-        "nixpkgs": "nixpkgs"
-      }
-    },
-    "systems": {
-      "locked": {
-        "lastModified": 1681028828,
-        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
-        "owner": "nix-systems",
-        "repo": "default",
-        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nix-systems",
-        "repo": "default",
-        "type": "github"
-      }
-    }
-  },
-  "root": "root",
-  "version": 7
-}