From 932e657e38665afa1da1aab549977841abbd9dcf Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Wed, 7 Oct 2026 18:25:43 -0300
Subject: drop journal in favor of local branch history

---
 lib/protocols/Journal.ml | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 lib/protocols/Journal.ml

(limited to 'lib/protocols/Journal.ml')

diff --git a/lib/protocols/Journal.ml b/lib/protocols/Journal.ml
deleted file mode 100644
index 392eb5a..0000000
--- a/lib/protocols/Journal.ml
+++ /dev/null
@@ -1,25 +0,0 @@
-type change = {name: string; expected: Handle.t option; replacement: Handle.t option}
-type commit = {number: int; snapshot: Handle.t; changed: string list}
-type proposal = {previous: commit; proposed: commit}
-type guard = proposal -> (unit, Concepts.Condition.condition) result
-type observer = commit -> unit
-
-class type implementation = object
-  method commit : change list -> (commit option, Concepts.Condition.condition) result
-  method head : commit
-  method history : commit list
-  method guard : string -> guard option -> unit
-  method observe : string -> observer option -> unit
-end
-
-type Handle.protocol += Journal of implementation
-type t = implementation
-
-let make impl = Journal (impl :> implementation)
-let from handle = Handle.into handle (function Journal impl -> Some impl | _ -> None)
-let require = Handle.require from
-let commit i changes = Handle.invoke i (fun o -> o#commit changes)
-let head i = Handle.invoke i (fun o -> o#head)
-let history i = Handle.invoke i (fun o -> o#history)
-let guard i name g = Handle.invoke i (fun o -> o#guard name g)
-let observe i name f = Handle.invoke i (fun o -> o#observe name f)
-- 
cgit v1.2.3