Collision probability computation for conjunction assessment
Fix turbo decoder, add fuzzers for SDLS/RS/FlexACM
- Fix BCJR extrinsic LLR double-subtraction in turbo decoder;
all 7 turbo roundtrip tests now pass (39 total tm-sync tests)
- ocaml-sdls/fuzz: SA lifecycle, key state, EP PDU roundtrip (13 tests)
- ocaml-reed-solomon/fuzz: encode/decode with random errors (6 tests)
- ocaml-flexacm/fuzz: mode lookup, SNR monotonicity (6 tests)
+3
+3
lib/collision.mli
+3
lib/collision.mli
···
98
98
val pc_max : encounter -> float
99
99
(** Upper bound: [hbr^2 / (2 * sigma_x * sigma_y)]. *)
100
100
101
+
val pc : hbr:float -> Cdm.t -> float
102
+
(** [pc ~hbr cdm] computes Pc from a CDM using the Foster method. *)
103
+
101
104
val pp_encounter : encounter Fmt.t
102
105
(** Pretty-print encounter geometry. *)