From a4c940ec355c46eff7c774b083f2d402b48c5c5a Mon Sep 17 00:00:00 2001
From: Roland Conybeare <rconybeare@gmail.com>
Date: Wed, 7 Jan 2026 18:04:51 -0500
Subject: [PATCH] xo-arena: verify SM1.4 in DArenaHashMap.verify_ok

---
 xo-arena/include/xo/arena/DArenaHashMap.hpp | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/xo-arena/include/xo/arena/DArenaHashMap.hpp b/xo-arena/include/xo/arena/DArenaHashMap.hpp
index 4475bc24..15e101de 100644
--- a/xo-arena/include/xo/arena/DArenaHashMap.hpp
+++ b/xo-arena/include/xo/arena/DArenaHashMap.hpp
@@ -460,6 +460,15 @@ namespace xo {
                                            xtag("n_group_exponent", n_group_exponent_));
             }
 
+            /* SM1.4: n_slot_ consistent with n_group_ */
+            if (n_slot_ != n_group_ * c_group_size) {
+                return policy.report_error(log,
+                                           c_self, ": expect .n_slot = .n_group * c_group_size",
+                                           xtag("n_slot", n_slot_),
+                                           xtag("n_group", n_group_),
+                                           xtag("c_group_size", c_group_size));
+            }
+
             return true;
         }
     }