From ab360c794849300792b2dc5c9ff6354621040e2f Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 1 Aug 2026 14:22:05 -0300 Subject: Initialization with Branch State and Index --- lib/concepts/BranchState.mli | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 lib/concepts/BranchState.mli (limited to 'lib/concepts/BranchState.mli') diff --git a/lib/concepts/BranchState.mli b/lib/concepts/BranchState.mli new file mode 100644 index 0000000..45792cc --- /dev/null +++ b/lib/concepts/BranchState.mli @@ -0,0 +1,17 @@ +type t +type address = Hash.hash + +include Object.S with type t := t + +(** Durable state of one branch head. + + [current] is the branch-visible catalog root, not the runtime namespace + rooted at [/system]. Runtime scaffolding is rebuilt during initialization. + [history] is the ordered commit-stream tree root. [tip] is absent until the + first real commit, so initialization does not create a synthetic commit just + to make the branch non-empty. *) +val make : current:address -> history:address -> tip:address option -> t + +val current : t -> address +val history : t -> address +val tip : t -> address option -- cgit v1.2.3