feat(retrieval): budgeted maximum-coverage pack selector, default off (#1176) - #1238

Merged

github-actions[bot] merged 6 commits into

mainfrom

feat/issue-1176-pack-max-coverage

Jul 31, 2026

Commits on Jul 31, 2026

feat(clustering): budgeted maximum-coverage pack selector (#1176)
robotrocketscience
committed
e8bcf5b
feat(retrieval): reach the max-coverage pack selector from retrieve_v2, default off (#1176)
robotrocketscience
committed
5aad8cc
docs(changelog): record the max-coverage pack selector and its mixed measurement (#1176)
robotrocketscience
committed
0fa9c01
docs(clustering): correct the KMN bound to (1 - 1/sqrt(e)) (#1176)
robotrocketscience
committed
7dc67b7
docs(retrieval): record that coverage assumes verbatim rendering (#1176)
robotrocketscience
committed
ff1739c
docs(changelog): correct the bound, the l1_limit claim, and the budget (#1176)
robotrocketscience
committed
ea36f9b