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

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

diff --git a/include/xo/arena/DArenaHashMap.hpp b/include/xo/arena/DArenaHashMap.hpp
index 15e101d..6e7fd7a 100644
--- a/include/xo/arena/DArenaHashMap.hpp
+++ b/include/xo/arena/DArenaHashMap.hpp
@@ -469,6 +469,13 @@ namespace xo {
                                            xtag("c_group_size", c_group_size));
             }
 
+            /* SM1.5: n_slot_ a power of 2 */
+            if ((n_slot_ & (n_slot_ - 1)) != 0) {
+                return policy.report_error(log,
+                                           c_self, ": expect .n_slot is power of 2",
+                                           xtag("n_slot", n_slot_));
+            }
+
             return true;
         }
     }