Collision probability computation for conjunction assessment
Clean up GMAT interop test comments
Remove verbose MISSION-READY labels from test comments.
+2
-2
+2
-2
test/interop/gmat/test.ml
+2
-2
test/interop/gmat/test.ml
···
67
67
Alcotest.(check bool) "high relative velocity" true (dv > 5.0);
68
68
Printf.printf " Relative velocity at TCA: %.3f km/s\n" dv
69
69
70
-
(* MISSION-READY TEST: TCA precision.
70
+
(* TCA precision.
71
71
We find the closest approach by stepping through 10s-spaced data.
72
72
The REAL TCA is between two steps. Our step-based TCA has up to 10s error.
73
73
···
126
126
(interpolation between steps)."
127
127
max_delta
128
128
129
-
(* MISSION-READY TEST: Pc computation gap.
129
+
(* Pc computation gap.
130
130
Real conjunction assessment requires covariance matrices to compute Pc.
131
131
GMAT OEMs don't include covariance — we can't compute Pc from OEMs alone.
132
132
This test documents the gap: we have positions but no uncertainty estimate.