feat: add maintained population and temporal aggregate candidates - #404

Merged

zzylol merged 15 commits into

mainfrom

feat/current-series-rules

Sep 14, 2026

Commits on Sep 12, 2026

Add Planner rules for shared current-series populations
zzylol
committed
ea721e8
Add typed minimum and current-series aggregate candidates
zzylol
committed
15e6cf8
Size guarded quantile division candidates for expression accuracy
zzylol
committed
e5e81b8
Expose the realized temporal average rewrite for physical costing
zzylol
committed
0e661f5
Realize exact Top-K over maintained temporal values
zzylol
committed
03f25fe
Keep approximate temporal Top-K candidate selection unchanged
zzylol
committed
a0f43e4
Update integration contracts for row counts minimum and temporal average
zzylol
committed
8a943ab

Commits on Sep 13, 2026

Generalize maintained population rules across SQL and PromQL
zzylol
committed
304c2a9
Verify SQL TopK consumers share maximum-k population
zzylol
committed
7f84cbb
fix: guard temporal average division against intermediate overflow
zzylol
committed
04b8e9d
docs: define maintained populations and specify the shared-state rule
zzylol
committed
b8b5d70
docs: remove obsolete current-series population entry
zzylol
committed
84287fe
refactor(types): split ExactKind::MinMax into Min and Max (#407)

zzylol
and
claude
authored
9f41662

Commits on Sep 14, 2026