Repository navigation

feat(planner): read MILP accuracy from sketch-bench's saturation curves; heap from the plan - #804

Merged

zzylol merged 6 commits into

mainfrom

bump-rqe-optimizer-one-study

Oct 7, 2026

Commits on Oct 7, 2026
- planner: read MILP accuracy off sketch-bench's curves; heap from the plan
  
  zzylol
  and
  claude
  committed
  17cfcd6
- fix(planner): address #804 review: m·k heap, shape checks, load context
  
  zzylol
  and
  claude
  committed
  b93ddf7
- fix(planner): address #804's second review: m from the lookback, checked heap
  
  zzylol
  and
  claude
  committed
  9ae4522
- chore(planner): lock rqe-optimizer to sketch-bench main with asap_sketchlib 0.3.0
  
  zzylol
  and
  claude
  committed
  e1e505d
- feat(planner): plan top-k with each query's literal k (sketch-bench #185)
  
  zzylol
  and
  claude
  committed
  930ae19
- docs(planner): heap_size names the shared-heap case; drop a stray blank line
  
  zzylol
  and
  claude
  committed
  56e510b