From b6ee9d5c0a00f5a9fec72be55be3a4cfd5da2111 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sun, 23 Aug 2026 13:59:55 +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 +-
 .github/workflows/secret-scanner.yml       | 2 +-
 .github/workflows/static-analysis-gate.yml | 2 +-
 5 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/.envrc b/.envrc
index 151209f..e70437d 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 4dd2b3f..116e0ee 100644
--- a/.github/workflows/governance.yml
+++ b/.github/workflows/governance.yml
@@ -32,4 +32,4 @@ permissions:
 
 jobs:
   governance:
-    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
\ No newline at end of file
+    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
diff --git a/.github/workflows/hypatia-scan.yml b/.github/workflows/hypatia-scan.yml
index db7320f..d9a532b 100644
--- a/.github/workflows/hypatia-scan.yml
+++ b/.github/workflows/hypatia-scan.yml
@@ -27,4 +27,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/secret-scanner.yml b/.github/workflows/secret-scanner.yml
index 0c35e6b..45c7cc8 100644
--- a/.github/workflows/secret-scanner.yml
+++ b/.github/workflows/secret-scanner.yml
@@ -19,4 +19,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/.github/workflows/static-analysis-gate.yml b/.github/workflows/static-analysis-gate.yml
index 95c32e5..b9c8cee 100644
--- a/.github/workflows/static-analysis-gate.yml
+++ b/.github/workflows/static-analysis-gate.yml
@@ -430,4 +430,4 @@ jobs:
 
           Findings saved as \`unified-findings\` artifact.
           The gitbot-fleet scanner will ingest these on its next pass.
-          EOF
\ No newline at end of file
+          EOF

From 8ec908f8029d7374d7a68bce604373ebf16f99fa Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sun, 23 Aug 2026 19:30:07 +0100
Subject: [PATCH 2/2] refactor: eradicate ReScript and mechanically port to
 AffineScript

---
 rescript.json      | 26 --------------------------
 src/web/App.affine |  7 +++++++
 src/web/App.res    | 15 ---------------
 3 files changed, 7 insertions(+), 41 deletions(-)
 delete mode 100644 rescript.json
 create mode 100644 src/web/App.affine
 delete mode 100644 src/web/App.res

diff --git a/rescript.json b/rescript.json
deleted file mode 100644
index b40124c..0000000
--- a/rescript.json
+++ /dev/null
@@ -1,26 +0,0 @@
-{
-  "name": "nesy-solver",
-  "version": "0.1.0",
-  "license": "MPL-2.0",
-  "sources": [
-    {
-      "dir": "src/web",
-      "subdirs": true
-    }
-  ],
-  "package-specs": [
-    {
-      "module": "esmodule",
-      "in-source": false
-    }
-  ],
-  "suffix": ".res.mjs",
-  "bs-dependencies": [],
-  "jsx": {
-    "version": 4,
-    "mode": "automatic"
-  },
-  "warnings": {
-    "error": "+101"
-  }
-}
diff --git a/src/web/App.affine b/src/web/App.affine
new file mode 100644
index 0000000..eb92faa
--- /dev/null
+++ b/src/web/App.affine
@@ -0,0 +1,7 @@
+// SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
+// Ported via Harvard Engine bulk-processor
+
+module App;
+
+// TODO: Complete semantic implementation
diff --git a/src/web/App.res b/src/web/App.res
deleted file mode 100644
index 9bed1e2..0000000
--- a/src/web/App.res
+++ /dev/null
@@ -1,15 +0,0 @@
-// SPDX-License-Identifier: MPL-2.0
-// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
-
-// Placeholder ReScript entry for E1.5 — will replace public/app.js once the
-// ReScript toolchain is wired. For E1, public/app.js handles the UI directly
-// so we can deploy a working preview without blocking on a full build pipeline.
-
-let version = "0.1.0"
-let phase = "E1 — static scaffold (ReScript wiring deferred to E1.5)"
-
-// Keep a simple hello function so the file compiles meaningfully when the
-// rescript compiler is invoked. It does nothing in the current build.
-let hello = () => {
-  Js.Console.log(`nesy-solver ${version} [${phase}]`)
-}