From dac9c488569c701f73c8d9aaea5c91a88879d51f Mon Sep 17 00:00:00 2001
From: "Timothy J. Aveni" <tja@berkeley.edu>
Date: Thu, 17 Sep 2026 19:52:55 -0700
Subject: [PATCH] Publish final aggregation diagnostics and select toolchain
 pins

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

diff --git a/flake.lock b/flake.lock
index 137e320..e846fd7 100644
--- a/flake.lock
+++ b/flake.lock
@@ -74,17 +74,17 @@
         "nixpkgs": "nixpkgs_2"
       },
       "locked": {
-        "lastModified": 1789699426,
-        "narHash": "sha256-dTbMFLHCjh5KlGzy34lcaFeKbBrCsPS2D5Pz+gw9v7k=",
-        "ref": "refs/tags/quixos-reachability/aadc35581dfb2016a43383ab3aec6c51f2f8ce06",
-        "rev": "aadc35581dfb2016a43383ab3aec6c51f2f8ce06",
-        "revCount": 86,
+        "lastModified": 1789699975,
+        "narHash": "sha256-OG2ebD1FAzPPXjgFcH0Bd+DR/pS2YL3zlaIQ9XUCpJg=",
+        "ref": "refs/tags/quixos-reachability/93c8cae1e651fa6a98ab5aa26e9ed2696c0bfd05",
+        "rev": "93c8cae1e651fa6a98ab5aa26e9ed2696c0bfd05",
+        "revCount": 88,
         "type": "git",
         "url": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git"
       },
       "original": {
-        "ref": "refs/tags/quixos-reachability/aadc35581dfb2016a43383ab3aec6c51f2f8ce06",
-        "rev": "aadc35581dfb2016a43383ab3aec6c51f2f8ce06",
+        "ref": "refs/tags/quixos-reachability/93c8cae1e651fa6a98ab5aa26e9ed2696c0bfd05",
+        "rev": "93c8cae1e651fa6a98ab5aa26e9ed2696c0bfd05",
         "type": "git",
         "url": "https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git"
       }
diff --git a/flake.nix b/flake.nix
index f2c815e..14dd33d 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/aadc35581dfb2016a43383ab3aec6c51f2f8ce06&rev=aadc35581dfb2016a43383ab3aec6c51f2f8ce06";
+    quixos-protocol.url = "git+https://gitea-external.egads.tutti.syntaxblitz.net/quixos/quixos-protocol.git?ref=refs/tags/quixos-reachability/93c8cae1e651fa6a98ab5aa26e9ed2696c0bfd05&rev=93c8cae1e651fa6a98ab5aa26e9ed2696c0bfd05";
     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;