Expose Count-Min totals for backend readouts (review) - #498

Closed

zzylol wants to merge 77 commits into

feat/histogram-quantilefrom

feat/cms-scaled-total

Commits on Sep 30, 2026

feat: add shared summary kernels and typed physical values
zzylol
committed
4dc08e5
feat: add native physical operators and shared DAG runtime

zzylol
and
claude
committed
fe80d7f
feat: compile Planner selections into physical DAG candidates

zzylol
and
claude
committed
0ced125
refactor!: move pane construction out of the physical layer

zzylol
and
claude
committed
ee9e0b1
docs: state what the physical layer does not own

zzylol
and
claude
committed
fb92998
refactor: move PromQL series-identity resolution into asap-types

zzylol
and
claude
committed
ea0966d
feat: list PromQL physical alternatives in PlanSpace

zzylol
and
claude
committed
fb824f9
docs: describe per-root physical alternatives in candidate enumeration

zzylol
and
claude
committed
c57d438
refactor: list only current-series heap alternatives in PlanSpace

zzylol
and
claude
committed
a3b6f15
docs: limit per-root PlanSpace alternatives to current-series heaps

zzylol
and
claude
committed
c976d5c
feat: expose summary-maintenance lifecycle candidates for explicit binding

zzylol
and
claude
committed
166f257
docs: describe lifecycle candidate enumeration and binding

zzylol
and
claude
committed
07244ea
feat: derive Post-ASAP execution timing from a lifecycle plan

zzylol
and
claude
committed
590ec6d
test: carry a chosen lifecycle through timing to physical compilation

zzylol
and
claude
committed
9b6dd96
docs: state the lifecycle-owned timing layer contract

zzylol
and
claude
committed
3b281da
feat: derive physical candidates from one compilation

zzylol
and
claude
committed
7293332
docs: describe compile-once candidate cuts

zzylol
and
claude
committed
d1a82ae
test: compare cut candidates by their serialized form

zzylol
and
claude
committed
8b59b4b
feat: derive the physical frontier from lifecycle timing

zzylol
and
claude
committed
d9c794d
test: cut one compilation by chosen lifecycle timings

zzylol
and
claude
committed
437a5dc
docs: describe timing-derived candidate cuts

zzylol
and
claude
committed
d133d35
refactor: allow several helper operators per Planner node

zzylol
and
claude
committed
b89bd24
test: expect retained frontier states read at query time or at the root

zzylol
and
claude
committed
1a7cbf2
fix: keep a selected grouped Sum over realized Rate readouts

zzylol
and
claude
committed
0ca3062
refactor!: remove timing-only Rate placement candidates

zzylol
and
claude
committed
ff18c03
docs: describe grouped Rate->Sum placement as a lifecycle choice

zzylol
and
claude
committed
eb5885c
feat: plan maintained populations through summary lifecycles

zzylol
and
claude
committed
0ed79d9
refactor: make maintained-population timing a lifecycle decision

zzylol
and
claude
committed
4e01311
test: carry a chosen population lifecycle to physical compilation

zzylol
and
claude
committed
761524e
docs: describe maintained populations as lifecycle-planned state

zzylol
and
claude
committed
76c503e
fix: time a shared population by its summary consumer

zzylol
and
claude
committed
066bb72
integrate: read the population test frontier from lifecycle timing

zzylol
and
claude
committed
d3372f5
docs: inventory backend computation against physical compile coverage

zzylol
and
claude
committed
7cc2d17
feat(physical): compile maintained-population aggregate readouts

zzylol
and
claude
committed
a8c5d3f
feat(physical): compile query-time arithmetic over grouped value rows

zzylol
and
claude
committed
362203a
fix(physical): finalize exact counts to declared Float64 values

zzylol
and
claude
committed
49cf044
docs: record covered and remaining physical compile gaps

zzylol
and
claude
committed
3e2609a
fix(physical): empty global population readouts and NaN quantile order

zzylol
and
claude
committed
644cd95
integrate: let coverage lowering chains use per-node helper indices

zzylol
and
claude
committed
f9d8a3a
fix(promql): retain subquery offset and @ as a TimeShift

zzylol
and
claude
committed
2416901
feat(physical): add a PromQL per-series window operator

zzylol
and
claude
committed
2cd0eec
feat(physical): compile PromQL fallback subtrees from typed expressions

zzylol
and
claude
committed
64a9cb6
docs: record PromQL fallback compile coverage

zzylol
and
claude
committed
fd0bb0a
feat(physical): compile irate, idelta, changes, resets, last and quantile over time

zzylol
and
claude
committed
5f2a37c
feat(physical): compile multi-selector PromQL fallbacks with matching, without and @

zzylol
and
claude
committed
bd0b4cb
docs: record multi-selector PromQL fallback coverage and histogram_quantile IR needs

zzylol
and
claude
committed
e93bfaf
integrate: extend asap-types series identity with #486/#487 shapes

zzylol
and
claude
committed
d4375b3
feat(physical): compile summaries over raw-sample precompute boundaries

zzylol
and
claude
committed
f950289
fix(physical): canonical raw identities and checked raw heap items

zzylol
and
claude
committed
c5bc826
fix(physical): keep raw unit-frequency updates to unkeyed sketches

zzylol
and
claude
committed
f574c00
feat(kernels): validate exact state on deserialization

zzylol
and
claude
committed
d8b185e
feat(kernels): adopt and expose UnivMon sketches, answer UnivMon readouts

zzylol
and
claude
committed
210cbe5
feat(kernels): expose weighted frequency shape and byte codec

zzylol
and
claude
committed
f77a5fc
feat(kernels): add AggregateCore::as_any_mut

zzylol
and
claude
committed
aebe2ea
fix(mapping): type the summary state column of without aggregations

zzylol
and
claude
committed
6715f96
feat(physical): compile per-series vector arithmetic over stored readouts

zzylol
and
claude
committed
5e651f7
fix(physical): compensate PromQL sums and averages like Prometheus

zzylol
and
claude
committed
88c0478
docs: record per-series arithmetic and compensated summation coverage

zzylol
and
claude
committed
c543d8c
test: cover infinite sums and name removal on stored readouts; clarify docs

zzylol
and
claude
committed
000c1ef
fix: reject duplicate label sets after dropping the metric name

zzylol
and
claude
committed
d0f5f97
feat(ir): carry PromQL bool comparisons as BinaryOpKind::CompareBool

zzylol
and
claude
committed
f74c4b2
feat(physical): compile PromQL comparisons, set operators, and group modifiers

zzylol
and
claude
committed
13baddb
docs: record comparison and set operator coverage

zzylol
and
claude
committed
a6b7337
integrate: widen shared series identity to every PromQL binary operator

zzylol
and
claude
committed
50f4aef
fix: reject PromQL fill modifiers instead of ignoring them

zzylol
and
claude
committed
9d612ed
integrate: record that PromQL fill modifiers are rejected

zzylol
and
claude
committed
6eb8a84
fix(types): exclude a renamed sample value from without output labels

zzylol
and
claude
committed
9c506d2
feat: carry le and without (le) grouping for classic histogram_quantile

zzylol
and
claude
committed
ad69de7
fix(physical): match Prometheus bucketQuantile arithmetic

zzylol
and
claude
committed
4f9fada
feat(physical): compile classic histogram_quantile in PromQL fallbacks

zzylol
and
claude
committed
da61e6e
test: select and execute histogram_quantile through candidate search

zzylol
and
claude
committed
bf2f79e
docs: record classic histogram_quantile coverage

zzylol
and
claude
committed
b0a1557
fix(physical): find no bucket for a NaN histogram rank, as Prometheus

zzylol
and
claude
committed
0d60a1c
fix(physical): skip out-of-range histogram bounds like ParseFloat

zzylol
and
claude
committed
f25df53
fix(sql): keep the histogram bridge a single-histogram aggregate

zzylol
and
claude
committed
e61ca14
integrate: bind the histogram input layout in series_labels

zzylol
and
claude
committed
9b53ea7
feat(physical): compile Count-Min bare counts to a Planner readout

zzylol
and
claude
committed
112148d