feat(devtools): asap_planner — one planner CLI that runs the stages up to --run-until (#1161)

.github/workflows/rust.yml

@@ -85,8 +85,8 @@ jobs:
       run: cargo test --workspace --locked
 
     # The viewer's Python tests run its JavaScript in V8 through py_mini_racer;
-    # the ones that plan a query run target/debug/stage_pipeline, which the
-    # workspace test build above already linked for devtools' tests.
+    # they and the Node tests plan their documents with target/debug/asap_planner,
+    # which the workspace test build above already linked for devtools' tests.
     # A pinned Python and Node: the runner's system Python refuses a global
     # pip install (PEP 668).
     - name: Install Python

crates/cost/src/lib.rs

@@ -252,7 +252,7 @@ pub enum ClusterObjective {
 
 /// The deployment's choices for plan selection (Stage 3): the cost model,
 /// how fast a core works, and how long one-off queries are spread over.
-/// Loadable from JSON (`stage_pipeline --cost-inputs <file>`);
+/// Loadable from JSON (`asap_planner --cost-inputs <file>`);
 /// an omitted field takes its default, an unknown one is refused.
 #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)]
 #[serde(default, deny_unknown_fields)]

crates/devtools/Cargo.toml

@@ -17,13 +17,13 @@ asap-physical-asap-optimization = { path = "../physical-asap-optimization", feat
 asap-cost = { path = "../cost" }
 asap-plan-selection = { path = "../plan-selection", features = ["reference-pricer"] }
 # The installable plan of the selected candidate (`installable_plan_of`),
-# whose stored outputs `stage_pipeline` writes.
+# whose stored outputs `asap_planner` writes.
 asap-planner = { path = "../planner" }
-# The executor's supported summary families, which `stage_pipeline` plans
+# The executor's supported summary families, which `asap_planner` plans
 # with when the deployment declares none, as `plan_installable` does.
 asap-executor = { path = "../executor" }
 
-# Used by the show_ir / stage_pipeline / variant_coverage bins (catalog schemas,
+# Used by the asap_planner / variant_coverage bins (catalog schemas,
 # async SQL path, JSON output) and by the topk_ir / canonical_examples
 # examples. Regular deps, not dev-deps: `[[bin]]` targets can't see dev-deps.
 asap-types = { path = "../types" }

crates/devtools/src/bin/convert_rqe_atomic_costs.rs

@@ -5,9 +5,8 @@
 // and writes plan selection's measured table: a JSON array of
 // `{"sketch": <SketchParams>, "operation": "update|merge|estimate",
 // "cpu_ns_per_operation": <ns>}`, three entries per converted row
-// (`asap_devtools::rqe_atomic_costs`). Pass it to `stage_pipeline
-// --measured-operation-costs`, or set it as
-// `CostInputs::measured_operation_costs`. Skipped rows (exact
+// (`asap_devtools::rqe_atomic_costs`). Set it as
+// `CostInputs::measured_operation_costs` (`asap_planner --cost-inputs`). Skipped rows (exact
 // accumulators, Hydra structures, unknown names) are listed on stderr.
 
 use asap_devtools::rqe_atomic_costs::convert_rqe_atomic_costs;

crates/devtools/src/bin/planner_fuzz.rs

@@ -16,9 +16,9 @@
 //
 // `--relations` takes relation names or the letters a–o (default: all);
 // `--search` is `candidate-connections` (the default search) or
-// `exhaustive`; `--ignore-accuracy-guarantees` plans as `stage_pipeline`
-// does by default (guarantees are enforced here by default, as
-// `plan_installable` does). A relation is violated when it misses by more
+// `exhaustive`; `--ignore-accuracy-guarantees` accepts every output
+// regardless of its accuracy guarantee (guarantees are enforced by
+// default, as `plan_installable` does). A relation is violated when it misses by more
 // than max(`--relative-tolerance` (default 0.01) × cost,
 // `--absolute-tolerance` (default 1e-6)). `--max-shrink-attempts` (default
 // 60) bounds the checks one shrink runs. Each case and each shrink runs in