Prune shipped items from the RV TODO files

Author: PierreSenellart

doc/TODO/README.md

@@ -53,10 +53,10 @@ Each plan document follows a consistent layout:
   PICKFIRST / monotone closed forms carry into value-carrying selection,
   with `2^n` co-enumeration and Monte Carlo as backstops.
 - [`continuous_distributions.md`](continuous_distributions.md) : roadmap
-  for extending the continuous random-variable surface beyond the shipped
-  Normal/Uniform/Exponential/Erlang/Categorical/Mixture baseline (further
-  parametric families, quantiles / function application / order
-  statistics, empirical & structural distributions, conditioning, copulas).
+  of the still-open extensions to the continuous random-variable surface
+  (native analytic discrete families, multivariate Normal, CDF / monotone
+  transforms, frozen snapshots, copulas, stochastic processes,
+  do-calculus, and the provenance × probability research directions).
 - [`probability-evaluation.md`](probability-evaluation.md) : the
   **remaining** probability-method-selection work, atop the now-landed
   method catalog + three-path (exact / relative / additive) chooser:

doc/TODO/conditioning.md

@@ -28,11 +28,11 @@ Anchored on:
 ## Out of scope
 
 - Correlation primitives (`gate_copula`, `gate_mvnormal`): see
-  [`continuous_distributions.md`](continuous_distributions.md) §D.2,
-  §A.5. Conditioning *creates* correlation as a side effect; it is not a
+  [`continuous_distributions.md`](continuous_distributions.md) §D.1,
+  §A.2. Conditioning *creates* correlation as a side effect; it is not a
   substitute for an explicit joint-distribution primitive.
 - Causal interventions (`do`-calculus): a different operator
-  (`continuous_distributions.md` §D.4). Conditioning is observation
+  (`continuous_distributions.md` §D.3). Conditioning is observation
   (`see`), not intervention (`do`).
 
 ## Open work