From 778efd80bd452fffea46b5c26cd4f60fbc5be2a9 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Tue, 15 Sep 2026 00:40:52 +0000
Subject: [PATCH 1/3] chore: Update Lean to v4.34.0

Toolchain and dependencies bumped by lean-update.
---
 lean-toolchain | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lean-toolchain b/lean-toolchain
index a8afa7d..12359f9 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.33.1
+leanprover/lean4:v4.34.0

From 540eff070b7a7e277aa6bc5e2403e0ae63a4d7d5 Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Wed, 23 Sep 2026 14:37:31 -0400
Subject: [PATCH 2/3] chore: Update lean4-nix for Lean v4.34.0

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.lock b/flake.lock
index f82621f..6dac83f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -79,11 +79,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1787412565,
-        "narHash": "sha256-M1y7JYDUzvOSYv0DWcCCmkL2DqDfQZePsKDrQf/Or6U=",
+        "lastModified": 1790187117,
+        "narHash": "sha256-/OTAjmwL0vZlQ5BDbT94W2X3iuNvr8VYtqtN5Ov1egA=",
         "owner": "argumentcomputer",
         "repo": "lean4-nix",
-        "rev": "1ecad9d6f99cf3255a858861c9a2e6966cdd0290",
+        "rev": "c8bce66594bbf62073d0097ca5ddc44321f2d14e",
         "type": "github"
       },
       "original": {

From dd833c1fa24d46299b5df90504a0aca88181d32a Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Wed, 23 Sep 2026 14:42:59 -0400
Subject: [PATCH 3/3] fix: Pin Rust 1.98.1 and its Nix manifest hash

The 1.98 channel now resolves to 1.98.1, but the flake still expected the 1.98.0 manifest hash. Pin the patch release explicitly so fresh Nix evaluations agree with rustup and future patch releases cannot invalidate the hash.
---
 flake.nix           | 2 +-
 rust-toolchain.toml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 47367dd..643d874 100644
--- a/flake.nix
+++ b/flake.nix
@@ -60,7 +60,7 @@
           # Pins the Rust toolchain
           rustToolchain = fenix.packages.${system}.fromToolchainFile {
             file = ./rust-toolchain.toml;
-            sha256 = "sha256-P30Tm3O7vQAE725YtDCDHGjNrSsfZO4us11UwJGZSJo=";
+            sha256 = "sha256-p8h3Sl/YRByZfZTAKXdsvF6xEenXKrXSVvpphmZENH4=";
           };
 
           # Rust package
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 23de054..06581a9 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -1,4 +1,4 @@
 [toolchain]
 # The default profile includes rustc, rust-std, cargo, rust-docs, rustfmt and clippy.
 profile = "default"
-channel = "1.98"
+channel = "1.98.1"