feat: execute precompute DAGs with bounded corrections and consistent SDS reads - #763

Merged

zzylol merged 304 commits into

mainfrom

fix/precompute-post-asap-dag

Sep 29, 2026

This pull request is big! We're only showing the most recent 250 commits

Commits on Sep 23, 2026

Merge branch 'stack/planner-api-737' into stack/planner-api-749
zzylol
committed
2e41f80
docs: remove redundant Planner selection contract
zzylol
committed
0eefb49
Merge branch 'stack/planner-api-737' into stack/planner-api-749
zzylol
committed
48e9950
Merge branch 'refactor/planner-selection-api' into stack/planner-api-737
zzylol
committed
5ed60fc
deps: pin Planner bounded HLL confidence model
zzylol
committed
d389e3b
test: size transmitted KLL state from a certified accuracy contract
zzylol
committed
7c3d80a
Merge branch 'stack/planner-api-737' into stack/planner-api-749
zzylol
committed
5dc0113
Merge branch 'refactor/planner-selection-api' into stack/planner-api-737
zzylol
committed
61e0c14
test: retain KLL collector capability when using theoretical confidence
zzylol
committed
67e8f13

Commits on Sep 24, 2026

refactor: implement typed summary semantics and physical plan lowering
zzylol
committed
af35131

Commits on Sep 26, 2026

Commits on Sep 28, 2026

docs: clarify Planner physical plan and SDS architecture
zzylol
committed
749252d
docs: specify executable subplan materialization boundaries
zzylol
committed
74255ec
docs: scope migration to backend precompute and query plans
zzylol
committed
d048262
docs: clarify window terminology migration
zzylol
committed
ae92339
Revert "docs: clarify window terminology migration"
zzylol
committed
d25d6c9
docs: focus physical plan and SDS designs
zzylol
committed
011a6cd
docs: add physical compiler input example
zzylol
committed
1ca64ed
docs: add physical compiler output example
zzylol
committed
06b26eb
docs: include query expression in compiler example
zzylol
committed
9a1c41b
docs: reorganize physical plan integration design
zzylol
committed
19bc7da
docs: reorganize SDS and migration designs
zzylol
committed
8fbe0f3
docs: define maintenance inputs before plan split example
zzylol
committed
eb3c3c4
docs: use plan version consistently in backend design
zzylol
committed
c9b6ea7
docs: remove standalone catalog materialization abstraction
zzylol
committed
4de2df4
docs: add concise planner backend glossary
zzylol
committed
9892bed
docs: clarify selected deployment guarantee terminology
zzylol
committed
1232ce9
docs: explain missing planner maintenance guarantee
zzylol
committed
158c22a
docs: motivate selected producer maintenance decision
zzylol
committed
6322175
docs: label catalog reads and SDS metadata ownership
zzylol
committed
8bdb7a7
docs: align SDS ownership and lifecycle terminology
zzylol
committed
813e3e3
docs: use current planner and plan-version names consistently
zzylol
committed
f3bd9d8
docs: align integration diagram with SDS ownership
zzylol
committed
11e21d2
docs: clarify instance identity and shared producer wording
zzylol
committed
b4dec9b
docs: distinguish summary definitions from runtime stores
zzylol
committed
f300704
docs: model one runtime summary store for DAG bindings
zzylol
committed
520ace6
docs: scope SDS lifecycle to read eligibility
zzylol
committed
864c2a2
docs: tie stored summary examples directly to DAG outputs
zzylol
committed
e0ab398
docs: name summary tables, stored records, and output references by role
zzylol
committed
5f383d1
docs: illustrate summary definitions, stored records, and output references
zzylol
committed
a2ab168
docs: limit v1 summary storage to definitions and stored summaries
zzylol
committed
d5f5203
docs: separate Planner physical computation from backend deployment
zzylol
committed
ebf4569
docs: bind Planner physical DAGs without backend re-lowering
zzylol
committed
eb60220
docs: describe summary inputs with groups and pane duration
zzylol
committed
1b36bb7
docs: define summary semantic completeness beyond input scope
zzylol
committed
b12512f
docs: define SDS identity through canonical Planner computation
zzylol
committed
51185de
docs: decouple SDS semantic identity from executable Planner IR
zzylol
committed
69b28c2
docs: define Planner-owned SDS discovery for future ad hoc queries
zzylol
committed
5ffc426
docs: streamline SDS design around definitions and stored results
zzylol
committed
5bcd54c
docs: track bound-query SDS migration across implementation PRs
zzylol
committed
5b402b8
docs: identify active shared-library PR in bound-query migration
zzylol
committed
0d9ab8e
docs: separate bound SDS range lookup from state validation
zzylol
committed
ef6c127
docs: state SDS migration responsibilities without stale implementation claims
zzylol
committed
eb94d73
docs: preserve design index after rebasing onto main
zzylol
committed
5f1eebf
docs: clarify SDS source identity and version-scoped recovery
zzylol
committed
8857f25
docs: illustrate SDS identity and recovery decisions
zzylol
committed
bccb189
Merge branch 'restack/pr737-main' into impl/sds-semantic-identity
zzylol
committed
12896bd
Merge branch 'impl/sds-semantic-identity' into impl/sds-stack-771
zzylol
committed
bc417b0
Merge branch 'impl/sds-stack-771' into impl/sds-stack-774
zzylol
committed
f4d7869
feat: bind Planner dataset semantics to deployment input identity
zzylol
committed
6239249
fix: reject cross-version stored-state adoption
zzylol
committed
ceffa2e
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
3f28f6b
fix: recognize shared native batch encoding at dependency boundary
zzylol
committed
2767dbb
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
802f1af
test: reject pre-dataset planning snapshot versions
zzylol
committed
c27dc95
refactor: version dataset-bound catalog and update empty-plan fixtures
zzylol
committed
05e1479
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
a8cb523
docs: describe dataset-bound planning and installation inputs
zzylol
committed
e637cb8
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
c4da46d
docs: clarify candidate selection and deployment ownership
zzylol
committed
a81f1ba
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
8f36745
refactor: split backend deployment plans and bind stored outputs
zzylol
committed
79eb631
fix: restrict foundation SDS recovery to the installed generation
zzylol
committed
070fad6
merge: base typed plan support on rebased foundation
zzylol
committed
6e3a50b
merge: carry version-scoped foundation recovery into semantic integration
zzylol
committed
d513aa5
merge: preserve storage contracts after foundation rebase
zzylol
committed
63e498e
fix: allocate fresh physical series when a plan version changes
zzylol
committed
3c840ff
Merge branch 'restack/pr749-main' into impl/sds-stack-771
zzylol
committed
5d6cdbc
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
3627535
merge: allocate fresh output storage during version warm-up
zzylol
committed
f2fc57c
fix: reserve the persisted storage handle during recovery
zzylol
committed
3845a19
test: record foundation rebase and recovery regression evidence
zzylol
committed
70a8d88
Merge branch 'impl/sds-stack-771' into impl/sds-stack-774
zzylol
committed
1953a40
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
7b35480
Merge branch 'restack/pr749-main' into impl/sds-stack-771
zzylol
committed
2dbe763
fix: complete shared state encoding adoption at the dependency boundary
zzylol
committed
d71032d
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
97ed2b6
style: satisfy workspace formatting after the compiler rename
zzylol
committed
b013c91
Merge branch 'restack/pr749-main' into impl/sds-stack-771
zzylol
committed
38fb552
Merge branch 'impl/sds-stack-771' into impl/sds-stack-774
zzylol
committed
e48181c
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
7f470d4
feat(sds): separate bound output routing from persisted semantic identity
zzylol
committed
d8bf03e
feat(sds): require dataset-bound Planner definitions and versioned catalogs
zzylol
committed
42602b9
refactor: implement typed summary semantics and physical plan lowering
zzylol
committed
9e0a892
fix: validate final SDS semantics across Planner adapters and recovery
zzylol
committed
0f05899
test: verify final SDS identity installation, serving and restart
zzylol
committed
c556130
merge: base shared execution on final SDS identity contract in #749
zzylol
committed
d608213
test: align shared execution fixtures with final #749 SDS foundation
zzylol
committed
07f8ef6
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
7f342ae
docs: record shared execution directly after the SDS foundation
zzylol
committed
3f1db0f
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
7b28606
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
9ca9ed3
fix(control-plane): supply dataset_identity in the API test fixtures

zzylol
and
claude
committed
e627dbb
Remove obsolete SDS wire aliases and persisted metadata migration
zzylol
committed
890b69c
Merge commit 'e627dbb329dabcff5a8d18e8796da2b0111efc01' into impl/pr749-final-sds
zzylol
committed
b1e2c00
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
ab0a4d7
fix(data-plane): initialize dataset_identity in the bootstrap ingest contract

zzylol
and
claude
committed
0cef456
Merge SDS format cleanup while retaining stored-output metadata schema 5
zzylol
committed
9cea766
Reject obsolete state-column syntax in compiler roundtrip coverage
zzylol
committed
53d560e
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
a8cfcdd
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
7342aea
Remove unused materialization wire adapter and propagate recovery errors
zzylol
committed
d6f688f
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
b234911
Propagate stored-output metadata recovery failures through runtime stack
zzylol
committed
9f5467d
Keep projection fixtures on the canonical typed encoding
zzylol
committed
b9f6e66
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
855cfdb
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
f125008
Remove superseded deployment API field aliases
zzylol
committed
621cc6e
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
e21c8cd
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
1dbaaa6
fix(control-plane): supply dataset_identity in the API test fixtures

zzylol
and
claude
committed
edc6de4
fix(control-plane): supply dataset_identity in the API test fixtures

zzylol
and
claude
committed
334b186
Merge remote-tracking branch 'refs/remotes/sds-cleanup/precompute' into impl/sds-stack-763
zzylol
committed
07525f2
Merge remote-tracking branch 'refs/remotes/sds-cleanup/shared' into impl/sds-stack-774
zzylol
committed
67b5366
Preserve current startup plan while merging upstream fixture fixes
zzylol
committed
de04ab7
Document obsolete-format removals and cleanup validation
zzylol
committed
51a686e
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
507cc8f
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
656df5b
Record passing restacked plan, storage and serving checks
zzylol
committed
f1256f0
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
2c726ce
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
eb120a1
Remove generated evaluation archives and keep validation summaries
zzylol
committed
269c774
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
97e1285
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
55f94da
Normalize validation summary formatting
zzylol
committed
be2b593
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
448c28c
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
aed0ec7
Remove PR process reports and defer execution design to shared-runtime PR
zzylol
committed
09cf67d
Own the precompute execution design in the shared-runtime foundation
zzylol
committed
04d5d2d
Keep the expanded precompute design while removing PR evidence bundles
zzylol
committed
9144358
Keep discovery and calibration on dataset-bound snapshot version 3
zzylol
committed
2a0f8ed
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
f4a7653
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
226dc80
Use typed deployment configuration in process E2E fixtures
zzylol
committed
84e9468
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
ec36ae9
Integrate foundation CI fixes while preserving physical-plan-only startup
zzylol
committed
3eaae03
Remove unused streaming-config fixture after physical-only startup
zzylol
committed
8f4a171
Align process assertions with dataset-bound SDS and cold successor activation
zzylol
committed
c11a540
Merge branch 'impl/pr749-final-sds' into impl/sds-stack-774
zzylol
committed
302ab25
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
99ce6c1
Align stack ancestry with the verified SDS foundation squash on main
zzylol
committed
c32094c
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
97929bd
fix: execute typed Planner fragments and preserve terminal resource errors
zzylol
committed
0d7ac30
Merge remote-tracking branch 'origin/main' into impl/sds-stack-774
zzylol
committed
f5090c3
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
268039b
fix: bind exact integer samples without losing input types
zzylol
committed
77679a4
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
17da11e
test: verify exact integer protocol input binding
zzylol
committed
1f0ad1d
refactor: name per-boundary physical fragments explicitly
zzylol
committed
626faad
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
61d5019
fix: consume finalized Planner query candidate outputs
zzylol
committed
d48ddce
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
ad711aa
test: require Planner filters for bound protocol vectors
zzylol
committed
e42b0c1
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
87f6d4f
test: use Planner schema lifting module
zzylol
committed
96e31e3
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
bb97871
fix: bind Planner filters and finalized query results
zzylol
committed
dbf18b0
docs: describe bound Planner filter execution
zzylol
committed
6292765
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
e260694
fix: retain state binding and sharing beneath explicit query readouts
zzylol
committed
23e08ac
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
46c7070
fix: pin Planner query finalization for every candidate entry point
zzylol
committed
22c7d4f
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
a93328c
docs: distinguish query values from stored accumulator boundaries
zzylol
committed
e26c787
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
41093e6
test: assert exact Count state beneath its query readout
zzylol
committed
a061df2
Merge branch 'impl/sds-stack-774' into impl/sds-stack-763
zzylol
committed
f88d987
Merge main after shared physical operator foundation was squash-merged
zzylol
committed
1c7833c
fix: preserve maintenance failures and stop failed worker admission
zzylol
committed
2b2b2b4
docs: specify bounded revisions and consistent query snapshots
zzylol
committed
4aac569
feat: execute bounded precompute revisions with consistent SDS reads
zzylol
committed
8563c71

Commits on Sep 29, 2026

Merge main counter-delta cleanup into precompute revisions
zzylol
committed
b3069e6

Commits

Commits on Sep 23, 2026

Commits on Sep 24, 2026

Commits on Sep 25, 2026

Commits on Sep 26, 2026

Commits on Sep 28, 2026