feat: compile per-series vector arithmetic and match Prometheus summation - #489

Closed

zzylol wants to merge 59 commits into

feat/kernel-codec-accessorsfrom

feat/per-series-binary

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