Supply Chain Integrity, Transparency, and Trust (IETF SCITT)
opam: retag 20+ packages with canonical E915 vocabulary
Covers every package whose .opam was missing tags, misspelled a
singleton tag, or only carried a foreign org marker. The canonical
vocabulary now lives in .merlint as E915's topics: list; this pass
makes the monorepo pass E915 on the packages whose dune-project is
the source of truth.
Cleanups: drop singletons cop1/sle/sdls/uslp/s3/sdk; rename log to
logging (json-logs, vlog); add org:blacksun to formerly-Mirage-only
packages (ca-certs, tar, tls, x509, crypto-ec).
Additions to packages missing tags: cfdp-eio, cop1-eio, ltp-eio,
scc-eio, sdls-eio, sle-eio, yamlrw-eio, yamlrw-unix, ocaml-merlin,
scitt-atp, atp-lexicon-scitt, and 10 ocaml-atp subpackages.
+3
-1
+3
-1
dune-project
+3
-1
dune-project
···
21
21
(ocaml (>= 5.1))
22
22
(dune (>= 3.21))
23
23
(cose (>= 0.1.0))
24
-
(cbort (>= 0.1.0))
24
+
(cbor (>= 0.1.0))
25
25
(digestif (>= 1.2.0))
26
26
(eqaf (>= 0.10))
27
27
(ohex (>= 0.2))
···
38
38
(package
39
39
(name scitt-atp)
40
40
(synopsis "AT Proto MST backend for SCITT")
41
+
(tags (org:blacksun atproto aerospace storage merkle))
41
42
(description
42
43
"Verifiable Data Structure backend for ocaml-scitt using the AT Protocol
43
44
Merkle Search Tree (SHA-256). Provides keyed lookup in addition to
···
56
57
(package
57
58
(name atp-lexicon-scitt)
58
59
(synopsis "AT Proto lexicons for SCITT (space.run.scitt.*)")
60
+
(tags (org:blacksun atproto aerospace codec))
59
61
(description
60
62
"AT Protocol lexicon type definitions and Jsont codecs for SCITT records:
61
63
statements, receipts, transparent statements, inclusion proofs, and