CCSDS Command Link Control Word (CLCW) for spacecraft command
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.
+4
-6
+4
-6
test/interop/dariol83/test.ml
+4
-6
test/interop/dariol83/test.ml
···
156
156
Alcotest.run "clcw-interop"
157
157
[
158
158
( "encode",
159
-
List.map
160
-
(fun v -> Alcotest.test_case v.name `Quick (encode v))
161
-
vectors );
159
+
List.map (fun v -> Alcotest.test_case v.name `Quick (encode v)) vectors
160
+
);
162
161
( "decode",
163
-
List.map
164
-
(fun v -> Alcotest.test_case v.name `Quick (decode v))
165
-
vectors );
162
+
List.map (fun v -> Alcotest.test_case v.name `Quick (decode v)) vectors
163
+
);
166
164
( "roundtrip",
167
165
List.map
168
166
(fun v -> Alcotest.test_case v.name `Quick (roundtrip v))