[milindsrivastava1997]

Merge with "Create a merge commit". Squash or rebase would flatten or rewrite the 52 imported sketch-bench commits this PR carries on purpose.

What

Moves the RQE deployment optimizer from ProjectASAP/sketch-bench into this repo as the workspace crate rqe-optimizer/, together with its full history (from sketch-bench@c750fa6):

• the crate itself (MILP, candidates, cost model, saturation accuracy, AutoSketch baseline), with its tests and examples, including the §6.3 runner autosketch_vs_asap;
• the scripts that run, plot and summarize the eval, now under rqe-optimizer/scripts/;
• the committed results (rqe-optimizer/results/, 41 MB on disk, about 20 MB in git history);
• the design docs, now under rqe-optimizer/docs/.

asap-planner-rs now depends on it by path. Before, it used a git dependency on sketch-bench main whose lockfile pinned an old rev (ASAPQuery#836).

What stays in sketch-bench: the benchmarks and the analysis on top of them, including what turns measurements into solver input: the saturation study, the cost table, and the eval-table exporters. The crate's only sketch-bench dependency left is aqpbm-core, for the atomic-cost table's row types, pinned to c750fa6.

Commits

1. Import with history: the sketch-bench history is filtered to the moved paths and merged with --allow-unrelated-histories. Commit messages' bare #N (N ≤ 231) became ProjectASAP/sketch-bench#N; larger numbers were already ASAPQuery's and stay bare.
2. Workspace wiring: a new workspace member, a path dependency from the planner, and good_lp/csv as direct dependencies.
3. Style: the moved Python had never run this repo's hooks. It's now black-formatted, with an E731 fix and a shellcheck directive. check-added-large-files skips rqe-optimizer/results/.
4. References: paths from sketch-bench's root are rewritten.
   • Moved files are now rqe-optimizer/....
   • Files that stayed are written sketch-bench/..., and commands use $SKETCH_BENCH.
   • Bare sketch-bench numbers in the files are now sketch-bench#N.
5. Planner docs: comments in asap-planner-rs no longer call it "sketch-bench's rqe-optimizer".

Verification

• cargo clippy --workspace --all-targets --all-features --locked -- -D warnings and cargo fmt --check pass.
• cargo test -p rqe-optimizer --all-targets and -p asap_planner pass. That includes the runner's tests, and the planner now builds against the current solver rather than the old pinned rev.
• The moved runner reproduces the committed results exactly (all fields but timings) for anomaly-base-0, perf-base-0 and anomaly-drilldown_endpoints-50.
• summarize_case_studies.py regenerates summary.md byte for byte after black.

The companion sketch-bench PR removes the moved files. Merge this one first.

🤖 Generated with Claude Code