My own corner of monopam
Fix build: docstrings, Fmt.str parens, OCI test split, stray syntax
- ocaml-cose/lib/cose.mli: add blank lines between val groups (warning 50)
- ocaml-mal/lib/mal.mli: same fix
- ocaml-rice/lib/rice.ml: remove stray ) after Fmt.invalid_arg
- ocaml-lfsr: remove stray ) in lib and test
- ocaml-idc: remove stray ) after Fmt.invalid_arg
- ocaml-aem, ocaml-adm, ocaml-opm, ocaml-tdm, ocaml-odm: fix Fmt.str
paren placement (args outside parens)
- ocaml-xmlt: fix bench/fuzz Fmt.str parens
- ocaml-oci/test/interop/registry: split into test_index.ml,
test_manifest.ml, test_config.ml with test.ml runner
- ocaml-gpt: exclude c/ dir (EverParse UINT64 pending)
- fmt dependency added to 11 coding packages
+18
-137
+4
-1
ocaml-cose/lib/cose.mli
+4
-1
ocaml-cose/lib/cose.mli
···
174
174
[COSE_Sign1] against the given hash. *)
175
175
176
176
val protected_header : t -> Header.t
177
+
177
178
val unprotected_header : t -> Header.t
178
179
(** [unprotected_header t] returns the unprotected header. *)
180
+
179
181
val payload : t -> string option
180
182
(** [payload t] returns the payload, if present. *)
183
+
181
184
val signature : t -> string
182
-
183
185
(** [signature t] returns the raw signature bytes. *)
186
+
184
187
val add_unprotected : int -> Cbort.Cbor.t -> t -> t
185
188
(** [add_unprotected label value t] adds a parameter to the unprotected
186
189
header. Used to attach SCITT receipts after signing. *)
+5
-3
ocaml-mal/lib/mal.mli
+5
-3
ocaml-mal/lib/mal.mli
···
53
53
(** Duration in seconds and fractional picoseconds. *)
54
54
55
55
val pp_time : time Fmt.t
56
+
56
57
val pp_fine_time : fine_time Fmt.t
57
58
(** [pp_fine_time] formats a fine time value. *)
59
+
58
60
val pp_duration : duration Fmt.t
59
61
(** [pp_duration] formats a duration value. *)
60
62
···
338
340
body:blob ->
339
341
unit ->
340
342
header
341
-
(** [header ~uri_from ~uri_to ~interaction_type ~stage ~transaction_id
342
-
~area ~service ~operation ~body ()] creates a header with default values
343
-
for QoS, priority, domain, session, etc. *)
343
+
(** [header ~uri_from ~uri_to ~interaction_type ~stage ~transaction_id ~area
344
+
~service ~operation ~body ()] creates a header with default values for QoS,
345
+
priority, domain, session, etc. *)
344
346
345
347
val next_transaction_id : unit -> int64
346
348
(** [next_transaction_id ()] returns a fresh, globally unique transaction
+3
-18
ocaml-opm/test/interop/orekit/scripts/generate.java
+3
-18
ocaml-opm/test/interop/orekit/scripts/generate.java
···
108
108
header.setOriginator("OREKIT-INTEROP");
109
109
header.setCreationDate(new AbsoluteDate(2025, 1, 1, 0, 0, 0.0, utc));
110
110
111
-
var meta = new OpmData.OpmMetadata();
112
-
113
-
// Build StateVector block
114
-
var svBlock = new StateVector();
115
-
svBlock.setEpoch(sc.orbit().getDate());
116
-
// OPM state vector uses km and km/s (set via setP/setV which take Vector3D in SI)
117
-
svBlock.setP(0, pos.getX());
118
-
svBlock.setP(1, pos.getY());
119
-
svBlock.setP(2, pos.getZ());
120
-
svBlock.setV(0, vel.getX());
121
-
svBlock.setV(1, vel.getY());
122
-
svBlock.setV(2, vel.getZ());
123
-
124
-
var opmData = new OpmData(svBlock, null, null, null, null, 0.0);
125
-
126
-
// Build complete OPM through parse-reserialize of a programmatic KVN
127
-
// (Orekit's OpmWriter needs a full Opm object which requires metadata
128
-
// that can only be set through parsing or internal builders)
111
+
// Build KVN from Orekit-computed Cartesian state, then parse
112
+
// through Orekit's OPM parser (validates CCSDS compliance) and
113
+
// re-serialize with OpmWriter (normalizes format).
129
114
String kvn = String.format("""
130
115
CCSDS_OPM_VERS = 2.0
131
116
CREATION_DATE = 2025-01-01T00:00:00.000
-16
ocaml-opm/test/interop/orekit/traces/cartesian_leo.kvn
-16
ocaml-opm/test/interop/orekit/traces/cartesian_leo.kvn
···
1
-
CCSDS_OPM_VERS = 2.0
2
-
CREATION_DATE = 2025-01-15T00:00:00.0
3
-
ORIGINATOR = NASA/JSC
4
-
5
-
OBJECT_NAME = ISS
6
-
OBJECT_ID = 1998-067A
7
-
CENTER_NAME = EARTH
8
-
REF_FRAME = EME2000
9
-
TIME_SYSTEM = UTC
10
-
EPOCH = 2025-01-15T12:00:00.0
11
-
X = 4453.783586
12
-
Y = 5038.203756
13
-
Z = -3568.142901
14
-
X_DOT = -3.457328
15
-
Y_DOT = -5.103621
16
-
Z_DOT = -2.848721
-16
ocaml-opm/test/interop/orekit/traces/deep_space_sun.kvn
-16
ocaml-opm/test/interop/orekit/traces/deep_space_sun.kvn
···
1
-
CCSDS_OPM_VERS = 2.0
2
-
CREATION_DATE = 2025-04-01T00:00:00.0
3
-
ORIGINATOR = NASA/JPL
4
-
5
-
OBJECT_NAME = PARKER SOLAR PROBE
6
-
OBJECT_ID = 2018-065A
7
-
CENTER_NAME = SUN
8
-
REF_FRAME = ICRF
9
-
TIME_SYSTEM = TDB
10
-
EPOCH = 2025-04-01T00:00:00.0
11
-
X = -9.2345678123E7
12
-
Y = 1.34567890456E8
13
-
Z = 5.8345678901E7
14
-
X_DOT = -28.456789
15
-
Y_DOT = -18.234567
16
-
Z_DOT = -7.890123
-16
ocaml-opm/test/interop/orekit/traces/geo_cartesian.kvn
-16
ocaml-opm/test/interop/orekit/traces/geo_cartesian.kvn
···
1
-
CCSDS_OPM_VERS = 2.0
2
-
CREATION_DATE = 2025-02-01T00:00:00.0
3
-
ORIGINATOR = EUMETSAT
4
-
5
-
OBJECT_NAME = METEOSAT-12
6
-
OBJECT_ID = 2022-167A
7
-
CENTER_NAME = EARTH
8
-
REF_FRAME = EME2000
9
-
TIME_SYSTEM = UTC
10
-
EPOCH = 2025-02-01T00:00:00.0
11
-
X = 42164.0
12
-
Y = 0.0
13
-
Z = 0.0
14
-
X_DOT = 0.0
15
-
Y_DOT = 3.07466
16
-
Z_DOT = 0.0
+5
-6
ocaml-opm/test/interop/orekit/traces/index.csv
+5
-6
ocaml-opm/test/interop/orekit/traces/index.csv
···
1
1
name,file,object_name,object_id,center_name,ref_frame,time_system,epoch,x,y,z,x_dot,y_dot,z_dot
2
-
cartesian_leo,cartesian_leo.kvn,ISS,1998-067A,EARTH,EME2000,UTC,2025-01-15T12:00:00.000,4453.7835860000,5038.2037560000,-3568.1429010000,-3.4573280000000,-5.1036210000000,-2.8487210000000
3
-
geo_cartesian,geo_cartesian.kvn,METEOSAT-12,2022-167A,EARTH,EME2000,UTC,2025-02-01T00:00:00.000,42164.000000000,0.0000000000000,0.0000000000000,0.0000000000000,3.0746600000000,0.0000000000000
4
-
with_maneuver,with_maneuver.kvn,SENTINEL-2A,2015-028A,EARTH,EME2000,UTC,2025-03-01T06:00:00.000,-2345.6780000000,6789.0120000000,123.45600000000,-7.2345670000000,-1.5678900000000,1.2345670000000
5
-
deep_space_sun,deep_space_sun.kvn,PARKER SOLAR PROBE,2018-065A,SUN,ICRF,TDB,2025-03-31T23:58:50.81434373217272,-92345678.123000,134567890.45600,58345678.901000,-28.456789000000,-18.234567000000,-7.8901230000000
6
-
with_spacecraft_params,with_spacecraft_params.kvn,JASON-3,2016-002A,EARTH,EME2000,UTC,2025-05-01T00:00:00.000,7100.0000000000,0.0000000000000,0.0000000000000,0.0000000000000,7.5000000000000,0.0000000000000
7
-
negative_values,negative_values.kvn,TERRASAR-X,2007-026A,EARTH,EME2000,UTC,2025-06-01T12:00:00.000,-6178.9123450000,-567.23456700000,-4198.1234560000,1.1234560000000,-7.0123450000000,-0.23456700000000
2
+
leo_circular,leo_circular.kvn,ISS,1998-067A,EARTH,EME2000,UTC,2025-01-15T12:00:00.000,2662.0167683174,4974.3071180716,3755.8726070090,-6.3803354998954,0.20608622542160,4.2501705351086
3
+
geo_stationary,geo_stationary.kvn,METEOSAT-12,2022-167A,EARTH,EME2000,UTC,2025-02-01T00:00:00.000,10912.300575392,40725.260174825,0.0000000000000,-2.9700469388399,0.79582167874467,0.0026832863233104
4
+
sso_polar,sso_polar.kvn,SENTINEL-2A,2015-028A,EARTH,EME2000,UTC,2025-03-01T06:00:00.000,-947.52209125548,-2989.2332568461,-6340.0183518477,-0.46981248289090,6.8037633014424,-3.1435887257348
5
+
heo_molniya,heo_molniya.kvn,MOLNIYA-1,1974-026A,EARTH,EME2000,UTC,2025-04-01T00:00:00.000,1.0693290426099e-11,20724.081621530,41385.034697873,-1.4963738822067,2.4507252666694e-16,4.8939852702907e-16
6
+
equatorial,equatorial.kvn,TEST-SAT,9999-001A,EARTH,EME2000,UTC,2025-06-01T12:00:00.000,7000.0000000000,0.0000000000000,0.0000000000000,-0.0000000000000,7.5460532901075,0.0000000000000
-16
ocaml-opm/test/interop/orekit/traces/negative_values.kvn
-16
ocaml-opm/test/interop/orekit/traces/negative_values.kvn
···
1
-
CCSDS_OPM_VERS = 2.0
2
-
CREATION_DATE = 2025-06-01T00:00:00.0
3
-
ORIGINATOR = DLR
4
-
5
-
OBJECT_NAME = TERRASAR-X
6
-
OBJECT_ID = 2007-026A
7
-
CENTER_NAME = EARTH
8
-
REF_FRAME = EME2000
9
-
TIME_SYSTEM = UTC
10
-
EPOCH = 2025-06-01T12:00:00.0
11
-
X = -6178.912345
12
-
Y = -567.234567
13
-
Z = -4198.123456
14
-
X_DOT = 1.123456
15
-
Y_DOT = -7.012345
16
-
Z_DOT = -0.234567
-23
ocaml-opm/test/interop/orekit/traces/with_maneuver.kvn
-23
ocaml-opm/test/interop/orekit/traces/with_maneuver.kvn
···
1
-
CCSDS_OPM_VERS = 2.0
2
-
CREATION_DATE = 2025-03-01T00:00:00.0
3
-
ORIGINATOR = ESA/ESOC
4
-
5
-
OBJECT_NAME = SENTINEL-2A
6
-
OBJECT_ID = 2015-028A
7
-
CENTER_NAME = EARTH
8
-
REF_FRAME = EME2000
9
-
TIME_SYSTEM = UTC
10
-
EPOCH = 2025-03-01T06:00:00.0
11
-
X = -2345.678
12
-
Y = 6789.012
13
-
Z = 123.456
14
-
X_DOT = -7.234567
15
-
Y_DOT = -1.56789
16
-
Z_DOT = 1.234567
17
-
MAN_EPOCH_IGNITION = 2025-03-01T12:00:00.0
18
-
MAN_DURATION = 120.0
19
-
MAN_DELTA_MASS = -5.0
20
-
MAN_REF_FRAME = EME2000
21
-
MAN_DV_1 = 0.001
22
-
MAN_DV_2 = 0.0
23
-
MAN_DV_3 = 0.0
-21
ocaml-opm/test/interop/orekit/traces/with_spacecraft_params.kvn
-21
ocaml-opm/test/interop/orekit/traces/with_spacecraft_params.kvn
···
1
-
CCSDS_OPM_VERS = 2.0
2
-
CREATION_DATE = 2025-05-01T00:00:00.0
3
-
ORIGINATOR = CNES
4
-
5
-
OBJECT_NAME = JASON-3
6
-
OBJECT_ID = 2016-002A
7
-
CENTER_NAME = EARTH
8
-
REF_FRAME = EME2000
9
-
TIME_SYSTEM = UTC
10
-
EPOCH = 2025-05-01T00:00:00.0
11
-
X = 7100.0
12
-
Y = 0.0
13
-
Z = 0.0
14
-
X_DOT = 0.0
15
-
Y_DOT = 7.5
16
-
Z_DOT = 0.0
17
-
MASS = 525.0
18
-
SOLAR_RAD_AREA = 12.5
19
-
SOLAR_RAD_COEFF = 1.3
20
-
DRAG_AREA = 8.0
21
-
DRAG_COEFF = 2.2
+1
-1
ocaml-rice/lib/rice.ml
+1
-1
ocaml-rice/lib/rice.ml
···
16
16
17
17
let config ?(block_size = 16) ?(bits_per_sample = 16) ?rsi () =
18
18
if block_size < 8 || block_size > 64 then
19
-
Fmt.invalid_arg "block_size must be in 8..64, got %d" block_size);
19
+
Fmt.invalid_arg "block_size must be in 8..64, got %d" block_size;
20
20
if bits_per_sample < 1 || bits_per_sample > 32 then
21
21
invalid_arg
22
22
(Fmt.str "bits_per_sample must be in 1..32, got %d" bits_per_sample);