From 2e2d7f6a9b116dac2fa20be657c916cb498c1508 Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Sat, 19 Sep 2026 01:08:28 +0000
Subject: Do not assume that the hash of an object is its storage address

---
 lib/kernel/Branch.ml | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

(limited to 'lib/kernel/Branch.ml')

diff --git a/lib/kernel/Branch.ml b/lib/kernel/Branch.ml
index 64f9689..3832a07 100644
--- a/lib/kernel/Branch.ml
+++ b/lib/kernel/Branch.ml
@@ -59,7 +59,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct
       Ok { multigroups; previous }
   end
 
-  class branch storage value node = object
+  class branch storage value node = object (self)
     inherit Lifecycle.null
 
     val storage : S.connection = storage
@@ -67,15 +67,18 @@ module Make (S : Abstract.Storage.STORAGE) = struct
     val node = node (* FIXME: can we not place this inside `t`? *)
 
     method protocols : Protocols.Handle.protocol list =
-      [ Prototype.Directory.of_properties
-          [ "multigroup", Prototype.mixture
-                            [ MMDirectory.make
-                                ~storage ~node
-                                ~constructor:(M.wrap storage) ] ] ]
+      Protocols.[ Addressable.make self;
+                  Prototype.Directory.of_properties
+                    [ "multigroup", Prototype.mixture
+                                      [ MMDirectory.make
+                                          ~storage ~node
+                                          ~constructor:(M.wrap storage) ] ] ]
 
     method hash =
       Representation.to_blob branch
       |> Concepts.Hash.hash_of_blob
+
+    method address = self#hash
   end
 
   let load tx conn addr =
-- 
cgit v1.2.3