From 424ebec92e37c9a592ae8064e4de593f82993ff4 Mon Sep 17 00:00:00 2001
From: "Timothy J. Aveni" <tja@berkeley.edu>
Date: Thu, 17 Sep 2026 19:43:46 -0700
Subject: [PATCH] Publish aggregation toolchain and update scaffold pins

---
 flake.lock | 14 +++++++-------
 flake.nix  |  2 +-
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/flake.lock b/flake.lock
index fa29aca..137e320 100644
--- a/flake.lock
+++ b/flake.lock
@@ -74,17 +74,17 @@
         "nixpkgs": "nixpkgs_2"
       },
       "locked": {
-        "lastModified": 1789688984,
-        "narHash": "sha256-wwLDdgsgJ5jpm7up/K303TIix62cDmGmwP0uN3HFehQ=",
-        "ref": "refs/tags/quixos-reachability/ae0a5064a457ee614f08f551d1be2d0c43c83716",
-        "rev": "ae0a5064a457ee614f08f551d1be2d0c43c83716",
-        "revCount": 84,
+        "lastModified": 1789699426,
+        "narHash": "sha256-dTbMFLHCjh5KlGzy34lcaFeKbBrCsPS2D5Pz+gw9v7k=",
+        "ref": "refs/tags/quixos-reachability/aadc35581dfb2016a43383ab3aec6c51f2f8ce06",
+        "rev": "aadc35581dfb2016a43383ab3aec6c51f2f8ce06",
+        "revCount": 86,
         "type": "git",
         "url": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git"
       },
       "original": {
-        "ref": "refs/tags/quixos-reachability/ae0a5064a457ee614f08f551d1be2d0c43c83716",
-        "rev": "ae0a5064a457ee614f08f551d1be2d0c43c83716",
+        "ref": "refs/tags/quixos-reachability/aadc35581dfb2016a43383ab3aec6c51f2f8ce06",
+        "rev": "aadc35581dfb2016a43383ab3aec6c51f2f8ce06",
         "type": "git",
         "url": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git"
       }
diff --git a/flake.nix b/flake.nix
index 202922b..f2c815e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,7 +4,7 @@
   inputs = {
     nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
     flake-utils.url = "github:numtide/flake-utils";
-    quixos-protocol.url = "git+https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git?ref=refs/tags/quixos-reachability/ae0a5064a457ee614f08f551d1be2d0c43c83716&rev=ae0a5064a457ee614f08f551d1be2d0c43c83716";
+    quixos-protocol.url = "git+https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git?ref=refs/tags/quixos-reachability/aadc35581dfb2016a43383ab3aec6c51f2f8ce06&rev=aadc35581dfb2016a43383ab3aec6c51f2f8ce06";
     quixosNixHelpers = {
       url = "git+https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-nix-helpers.git?ref=refs/tags/quixos-reachability/7177130c0365f2fa58ea4877366e1c5d17db4c01&rev=7177130c0365f2fa58ea4877366e1c5d17db4c01";
       flake = false;