From e4ceed09adbcffde098a4742bce9d8d2a796232f Mon Sep 17 00:00:00 2001
From: ~wicrum-wicrun <99811688+wicrum-wicrun@users.noreply.github.com>
Date: Tue, 28 Mar 2023 20:27:27 +0200
Subject: [PATCH] gall: enforce monotonic growth of cases

---
 pkg/arvo/sys/vane/gall.hoon | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkg/arvo/sys/vane/gall.hoon b/pkg/arvo/sys/vane/gall.hoon
index 7b241aa23..dffc5076d 100644
--- a/pkg/arvo/sys/vane/gall.hoon
+++ b/pkg/arvo/sys/vane/gall.hoon
@@ -972,6 +972,9 @@
           .
       =/  val  (get:on-path fan.u.old yon)
       ?~  val  ::  insert binding at new case
+        =>  ?~  lat=(ram:on-path fan.u.old)  .
+            ?>  (gte yon key.u.lat)
+            .
         %+  ~(put by sky.yoke)  spur
         u.old(fan (put:on-path fan.u.old yon [%& noun]))
       ?-    -.u.val