From 7abaa47828f6817bcb9ca85721cc46b26c12e17a Mon Sep 17 00:00:00 2001
From: noah-emp <182041600+noah-emp@users.noreply.github.com>
Date: Fri, 25 Sep 2026 11:16:51 -0400
Subject: [PATCH] build: relock ez and bend, drop ez test's --unit-only

The current ez's `ez test` takes no flags and `ez prove` is the proof
gate, so mkProofs no longer passes `--unit-only` (it accepted and ignored
it). Relock the flake's ez (836aa9c) and bend (2.0.27). bolt keeps linting
itself with the bolt it builds from this tree, so it has no [tools.bolt].

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
---
 flake.lock | 12 ++++++------
 flake.nix  |  3 +--
 2 files changed, 7 insertions(+), 8 deletions(-)

diff --git a/flake.lock b/flake.lock
index f2d9795..2b58c85 100644
--- a/flake.lock
+++ b/flake.lock
@@ -7,11 +7,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1790200275,
-        "narHash": "sha256-huYLnKbMUukFhFLypIXx/wLVU3EmgsUEe9l67mU6CDw=",
+        "lastModified": 1790348040,
+        "narHash": "sha256-6oh+6jj7kyl4xJsmq4p3BtU/BUl2f2LlC/5kH081D1M=",
         "owner": "bendlang",
         "repo": "bend",
-        "rev": "d37909174ebd664338ae3194799a9e0899dedd51",
+        "rev": "774ef644dccf9c3f8053f7276d8901ad23da006c",
         "type": "github"
       },
       "original": {
@@ -30,11 +30,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1790195007,
-        "narHash": "sha256-DtaKysIWHczZW08OjTloixIJ6b8XlW3BLVpHOWxLy/w=",
+        "lastModified": 1790310127,
+        "narHash": "sha256-csxvWEjzbSOTuXxWcKbyfBrHMXru2JkA2u3oO1AH5MU=",
         "owner": "Emerging-Patterns",
         "repo": "ez",
-        "rev": "baee2c6e1b57118ffae574e8c8388f6255b6d6f5",
+        "rev": "836aa9c0a4f9a53a7d8e15e80a8451c58eb03503",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index e971fd4..ba0f6fd 100644
--- a/flake.nix
+++ b/flake.nix
@@ -47,12 +47,11 @@
           ${old.buildPhase}
         '';
       });
-      # proofs and unit tests (`ez test --unit-only`).
+      # the proof gate (`ez prove`)
       test = ez.mkProofs {
         ez = inputs.ez.packages.${system}.default;
         src = self;
         name = "bolt-test";
-        extraFlags = [ "--unit-only" ];
       };
       # bolt, built from this tree, over this tree: exit 1 on any error
       lint = ez.mkLint { inherit bolt; src = self; };