Supply Chain Integrity, Transparency, and Trust (IETF SCITT)
Wire.bool→Wire.bit rename; cfdp/ltp adopt wire; dune fmt
- CCSDS packages (aos, clcw, fsr, sdls, space-packet, tc, tm, uslp):
Wire.bool renamed to Wire.bit upstream; mechanical migration.
- ocaml-cfdp: adopt wire library for PDU header codec.
- ocaml-ltp: adopt wire library for segment header codec.
- ocaml-cop1: simplify interop test error formatting.
- dune fmt: reformat irmin, pus, scitt, crypto, tc/uslp 3D specs.
- monopam: add TODO.md tracking cram coverage gaps.
+4
-4
+3
-3
lib/atp/scitt_atp.ml
+3
-3
lib/atp/scitt_atp.ml
···
5
5
proofs are generated from the MST tree structure via Irmin.Proof.
6
6
7
7
The store can be backed by any Irmin backend: in-memory MST for tests,
8
-
on-disk MST for production, or an ATProto PDS via Irmin.Mst.of_pds.
8
+
on-disk MST for production, or an ATProto PDS via Irmin.Atproto.of_pds.
9
9
10
10
MST keys follow AT Proto convention: collection/rkey
11
11
- Collection: "space.run.scitt.statement"
···
32
32
33
33
module type Config = sig
34
34
val store : Irmin.t
35
-
(** The Irmin store. Use [Irmin.Mst.memory ()] for tests,
36
-
[Irmin.Mst.of_pds pds] for production. *)
35
+
(** The Irmin store. Use [Irmin.Atproto.memory ()] for tests,
36
+
[Irmin.Atproto.of_pds pds] for production. *)
37
37
38
38
val now : unit -> float
39
39
end