1 files changed, 65 insertions, 0 deletions
diff --git a/lib/kernel/Scope.mli b/lib/kernel/Scope.mli
new file mode 100644
index 0000000..aabdc61
--- /dev/null
+++ b/lib/kernel/Scope.mli
@@ -0,0 +1,65 @@
+(** A branch state read from a home: a [Directory] of relations where
+    [R] names the home schema's, [s:R] a schema's of the home multigroup,
+    and [m:s:R] anyone's in the branch state. It lists the home schema. *)
+
+type home = {multigroup: string; schema: string}
+
+class type implementation = object
+  (** the branch state read *)
+  method branch : Protocols.Handle.t
+
+  method home : home
+
+  (** the same home in the state before, if there is one *)
+  method previous : (Protocols.Handle.t option, Concepts.Condition.condition) result
+
+  (** every relation of the branch state, as [m:s:R] *)
+  method catalog : (string list, Concepts.Condition.condition) result
+end
+
+type Protocols.Handle.protocol += Scope of implementation
+
+val make : Protocols.Handle.t -> home -> Protocols.Handle.t
+
+(** [home] in the head of \system\branch\[branch]. *)
+val of_root :
+  Protocols.Handle.t ->
+  branch:string ->
+  home ->
+  (Protocols.Handle.t, Concepts.Condition.condition) result
+
+val require :
+  Protocols.Handle.t ->
+  (implementation Protocols.Handle.interface, Concepts.Condition.condition) result
+
+val branch : implementation Protocols.Handle.interface -> Protocols.Handle.t
+val home : implementation Protocols.Handle.interface -> home
+
+val previous :
+  implementation Protocols.Handle.interface ->
+  (Protocols.Handle.t option, Concepts.Condition.condition) result
+
+val catalog :
+  implementation Protocols.Handle.interface -> (string list, Concepts.Condition.condition) result
+
+(** \multigroup\[m]\schema\[s]\relation\[relation], from a branch state. *)
+val path : home -> string -> Path.t
+
+(** where [text] names a relation, read from [home], from a branch state. *)
+val locate : home -> string -> Path.t option
+
+(** the attribute [text] names of the relation named [relation], both read
+    from [home]: bare, or qualified with a name of that relation. *)
+val attribute : home -> string -> string -> string option
+
+(** bind each named relation to its value, or unbind it on [None], in the
+    head of \system\branch\[branch], as one successor state. A multigroup
+    or schema not there yet is made, and a value with no address is
+    stored as a schema stores it: a program as itself, a relation as its
+    tuples. If the head moved meanwhile nothing changes, and it fails. *)
+val publish :
+  Protocols.Handle.t ->
+  branch:string ->
+  home:home ->
+  (string * Protocols.Handle.t option) list ->
+  (unit, Concepts.Condition.condition) result