upstream: https://github.com/mirage/mirage-crypto
ocaml-merkle-sync: generic Merkle DAG sync; irmin Sync.S module type
ocaml-merkle-sync: reusable sync primitives for any content-addressed DAG.
- Layer 1: anti-entropy gossip (branch head exchange, O(log n))
- Layer 2: merkle descent (DAG diff by hash, dependency-order transfer)
- Bloom filter (FNV-1a, ~1% FP rate)
15 tests passing. Fuzz harness for bloom properties.
irmin/lib/sync.ml: Sync.S module type — discover/locate/fetch/push.
Each backend provides its own implementation.
Also: dune fmt across affected packages.
+2
-2
+2
-2
scripts/import.ml
+2
-2
scripts/import.ml
···
44
44
let bearssl_revision =
45
45
let tmp = Filename.temp_file "bearssl-rev" "" in
46
46
let cmd =
47
-
Fmt.str "git -C %s rev-parse HEAD > %s 2>/dev/null"
48
-
(Filename.quote bearssl) (Filename.quote tmp)
47
+
Fmt.str "git -C %s rev-parse HEAD > %s 2>/dev/null" (Filename.quote bearssl)
48
+
(Filename.quote tmp)
49
49
in
50
50
let _ = Sys.command cmd in
51
51
let ic = open_in tmp in