fix(control-plane): reject cost evidence quoting another dataset - #780

Open

zzylol wants to merge 264 commits into

split/erp-workload-costsfrom

fix/cost-evidence-dataset

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

Commits on Sep 26, 2026

Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
fbafa94
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
e902515
refactor: delegate candidate winner selection to shared Planner
zzylol
committed
e8f5686
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
11dbfb7
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
c22e5f2
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
a247f53
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
b73dc2e
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
ef58ad2
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
fa4ba6d
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
c29ee68
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
58eb2d2
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
db555d4
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
060b043
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
cc550f1
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
cdb936e
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
293fb25
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
1cf9092
Use scoped fixture evidence after the accuracy contract extension
zzylol
committed
36b6176
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
46527f1
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
011b9ef
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
9e2f172
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
aa81418
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
de4eff2
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
77e10f7
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
7a59e78
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
d371c6b
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
df80ba7
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
91bee78
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
4210c96
Merge branch 'standalone/stack-765' into standalone/stack-761
zzylol
committed
9dfd834
Merge branch 'standalone/stack-761' into standalone/stack-728
zzylol
committed
93e3ea0
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
5e7eafa
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
1b9ef6e
merge: carry bound SDS semantics through workload planning
zzylol
committed
1ba9642
merge: validate SDS semantic bindings in level-one planning tests
zzylol
committed
9b6495e
fix(costing): use deployed output routing identity after SDS split
zzylol
committed
395f026
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
d5b6918
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
b93e2a1
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
3170beb
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
5f34dec
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
a23ad7f
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
efd9730
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
ebcf2c4
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
ca1122c
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
c68d153
docs: export selected issue 754 plans for human review
zzylol
committed
78a2927
docs: render exported plan dependencies as review diagrams
zzylol
committed
ce39acb
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
27e3f63
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
8e352de
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
646da3a
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
523e45c
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
64a6d27
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
49fcd88

Commits on Sep 27, 2026

Commits on Sep 28, 2026

Bind fixed-window Rate heap candidates to native maintenance and durable SDS
zzylol
committed
5d571e6
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
74e49da
Assert fixed-window heap candidate boundaries and render both physical graphs
zzylol
committed
8a86bc6
Export fixed-window Rate heap physical candidates for human plan review
zzylol
committed
0dba7c8
Remove stale candidate exports after enumeration changes
zzylol
committed
07d56e6
Execute grouped Rate Sum candidates over complete overlapping SDS windows
zzylol
committed
1b41bbd
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
ef19b6e
Assert both grouped Rate Sum placements and their physical window contracts
zzylol
committed
cb2034d
Export grouped Rate physical candidates and refreshed issue754 review plans
zzylol
committed
20cb5c8
Resolve shared population bindings once per deployment candidate
zzylol
committed
f17c87f
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
9c163bc
Share immutable candidate diagnostics and reuse unchanged window preparation
zzylol
committed
3209585
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
d26043a
Verify all 44 review plans remain unchanged after candidate preparation fixes
zzylol
committed
b5ef5dd
test: isolate physical candidate structure from cost selection
zzylol
committed
c1c21e5
test: check semantics for every local candidate placement
zzylol
committed
2f37af5
docs: scope current milestone to synthetic selection and execution
zzylol
committed
7b04661
test: validate shared-query ensembles across physical candidates
zzylol
committed
dcddbfc
docs: specify candidate coverage for query ensembles
zzylol
committed
cf9d077
docs: export ensemble physical candidates for human review
zzylol
committed
81fa7c5
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
64d9c7b
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
ff3022b
fix: scope candidate cost manifests to the logical dataset
zzylol
committed
d035278
test: require dataset-bound semantics across workload candidates
zzylol
committed
1b68c9c
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
86f83ad
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
625a0b6
style: format dataset-scoped cost manifest
zzylol
committed
916ff39
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
de47656
style: format dataset assertions
zzylol
committed
af507e0
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
79eff6f
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
9397ac0
test: refresh dataset-bound candidate plan exports
zzylol
committed
c699012
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
9a24ccd
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
7790703
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
e575d7f
merge: retain native execution guide with updated SDS contract
zzylol
committed
a8aa841
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
67fcd4a
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
0f737a5
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
95c1fca
merge: retain native execution guidance and version warm-up fix
zzylol
committed
4c99b97
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
f134c4e
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
991e159
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
2eaf03c
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
db04a7f
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
1668df1
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
a69553f
test(level1): assert candidate membership and account for every rejection

zzylol
and
claude
committed
439dcd9
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
d041880
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
5cd5c91
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
7335f5b
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
2137676
Merge remote-tracking branch 'origin/test/promql-exact-function-coverage' into impl/sds-stack-728
zzylol
committed
776ca5d
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
fb7fb4d
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
ebb3ffc
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
2bd5d0e
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
d80fa4b
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
97f7ace
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
f14a766
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
9330cdb
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
805f667
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
88966e8
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
64ff6c7
fix(control-plane): supply dataset_identity in the API test fixtures

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

zzylol
and
claude
committed
be6e540
Merge remote-tracking branch 'refs/remotes/sds-cleanup/752' into impl/sds-stack-761
zzylol
committed
d9507db
Merge remote-tracking branch 'refs/remotes/sds-cleanup/728' into impl/sds-stack-728
zzylol
committed
1d15ff0
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
399a0bd
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
5f218ce
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
e0404c0
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
ce53d5e
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
1094393
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
0dc4a16
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
fed804f
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
71d4a01
test(level1): certify the heap shapes the strict fixture refuses

zzylol
and
claude
committed
f930b9b
Merge remote-tracking branch 'origin/test/promql-exact-function-coverage' into HEAD
zzylol
committed
2770b96
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
c907cd9
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
98e37bf
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
35fe943
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
3960d6e
Merge branch 'test/promql-exact-function-coverage' of https://github.com/ProjectASAP/ASAPQuery-backend into impl/sds-stack-728
zzylol
committed
1d46280
fix(control-plane): reject cost evidence quoting another dataset

zzylol
and
claude
committed
d49870a
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
1012792
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
ee8fa44
Merge remote-tracking branch 'origin/test/promql-exact-function-coverage' into fix/cost-evidence-dataset
zzylol
committed
9103128
test(level1): apply the rejection and membership discipline to ensembles too

zzylol
and
claude
committed
a6339a0
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
4f7a92c
Keep current cost-provider behavior with snapshot version 3
zzylol
committed
0684588
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
6e9fe05
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
5a99edc
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
0cadc90
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
2234322
Merge remote-tracking branch 'origin/test/promql-exact-function-coverage' into impl/sds-stack-728
zzylol
committed
f630779
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
592bd36
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
ed95652
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
1bb4899
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
a1f8c39
docs: correct the provenance of the recorded binding defects

zzylol
and
claude
committed
df23db9
fix(control-plane): match a Planner fragment against its own subtree

zzylol
and
claude
committed
b6a60a7
test(level1): retire the fragment-mismatch defects that #781 fixed

zzylol
and
claude
committed
62478b7
fix: restore the test attribute the new tests displaced

zzylol
and
claude
committed
5f7846d
merge: retain typed fragments alongside selected candidate DAG bindings
zzylol
committed
3f9ee3b
merge: synchronize physical fragment validation and integer inputs
zzylol
committed
7d9cc31
fix: terminate selected candidate execution on resource exhaustion
zzylol
committed
40c4b2f
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
1f8698e
test: reject exhausted candidate inputs without fallback
zzylol
committed
9c3af3e
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
20a3df2
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
ace49ab
fix(test): let each level use only the part of the shared fixture it needs

zzylol
and
claude
committed
1291b5a
fix: price compiled fragments using the native physical cost model
zzylol
committed
265ed24
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
8ac3b4a
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
a5a39bb
fix: identify the incompatible physical binding schema
zzylol
committed
ba48bf1
test: inspect native selection fragments and remove fixed binding defects
zzylol
committed
c0dbc56
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
dfc22aa
fix(tools): carry the snapshot version through instead of restating it

zzylol
and
claude
committed
5f9f595
test: reject all unexplained physical binding failures
zzylol
committed
6fbab77
Merge remote-tracking branch 'origin/fix/cost-evidence-dataset' into fix/cost-evidence-dataset
zzylol
committed
de89adf
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
a7a71b8
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
4888565
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
0264e0f
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
059bd70
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
09a2c7a
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
302a08d
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
ce20c4c
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
5ba2913
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
cd034e5
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
f775b90
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
05fa34d
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
96d8d2b
test: allow suite-specific shared certification fixture
zzylol
committed
953a524
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
ede168e
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
05343f6
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
4e1481f
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
fa78ebe
test: assert physical input budget error directly
zzylol
committed
8a3525f
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
9ad75f1
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
0a50764
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
b6ea35d
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
e436a15
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
63e7230
fix: finalize direct Planner proposals before physical binding
zzylol
committed
c73365e
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
066a80f
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
4fe3a5d
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
2fe18c6
test: verify identity Rate frontiers without weakening physical contracts
zzylol
committed
11c4ac1
docs: refresh candidate admission after physical binding fixes
zzylol
committed
ea1cc59
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
3916ae2
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
a8053ba
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
d4343b2
docs: clarify candidate report identity and regeneration
zzylol
committed
5212b39
Merge branch 'impl/sds-stack-765' into impl/sds-stack-761
zzylol
committed
eb6e9a5
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
fe791bf
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
8c2e33c
fix: validate composed query accuracy before deployment admission
zzylol
committed
372350b
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
5540500
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
d56f5d5
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
066a263
fix: retain leaf diagnostics before checking composed accuracy
zzylol
committed
bb757f5
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
ee66bd8
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
32c5de3
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
faf5cb9
test: keep cadence fixture outputs independent and accuracy-valid
zzylol
committed
f865488
docs: record candidate export after composed accuracy admission
zzylol
committed
820970f
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
d38a4a7
test: construct both cadence queries through workload planning
zzylol
committed
84b8cf4
Merge branch 'impl/sds-stack-761' into impl/sds-stack-728
zzylol
committed
f8d79aa
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
8b163cd
Merge remote Level 1 fixes, retaining strict rejection of binding defects
zzylol
committed
6042bb0
Merge branch 'impl/sds-stack-728' into fix/cost-evidence-dataset
zzylol
committed
8ff56cd

Commits on Sep 29, 2026

Merge split ERP workload costing into #780 base

zzylol
and
claude
committed
dfeeeaf