From 3184f85de1dac7071afcf9838dfc3f8609b20a5a Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 20 Sep 2026 03:00:57 -0300 Subject: provenance --- lib/kernel/SubstantialRelation.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'lib/kernel') diff --git a/lib/kernel/SubstantialRelation.ml b/lib/kernel/SubstantialRelation.ml index 0176928..1b58e9a 100644 --- a/lib/kernel/SubstantialRelation.ml +++ b/lib/kernel/SubstantialRelation.ml @@ -120,11 +120,12 @@ module Make (S : Abstract.Storage.STORAGE) = struct kvs |> List.map (fun (name, domain) -> Concepts.Encoding.Bencode.as_string domain - |> Result.map (fun domain -> (name, domain))) + |> Result.map (fun domain -> + (name, {Protocols.Schematics.domain; provenance= []}) ) ) |> Utilities.List.sequence |> Result.map (fun kvs -> List.fold_left - (fun acc (name, domain) -> BatMap.String.add name domain acc) + (fun acc (name, attribute) -> BatMap.String.add name attribute acc) BatMap.String.empty kvs) let scan storage relation ~keep = -- cgit v1.2.3