Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
50 commits
Select commit Hold shift + click to select a range
ea20826
feat(cost): validate analytical comparison evidence
zzylol Sep 2, 2026
943f2ec
fix(cost): bind estimates to physical source scope
zzylol Sep 2, 2026
b30f2df
fix(cost): validate complete scoped operator work
zzylol Sep 3, 2026
0b03b6e
refactor(cost): preserve operator invariants in scoped evidence
zzylol Sep 3, 2026
bcea03b
feat(cost): lower query DAGs for analytical estimates
zzylol Sep 2, 2026
aace71d
fix(cost): allow empty physical edges
zzylol Sep 2, 2026
2be4e4d
fix(cost): bind query lowering to physical evidence
zzylol Sep 2, 2026
16c4cbf
fix(cost): reject unproven query algorithms
zzylol Sep 2, 2026
cee41c3
fix(cost): require provider-owned physical identity
zzylol Sep 2, 2026
9f979d1
fix(cost): compare semantic source coverage
zzylol Sep 2, 2026
5ad66c6
fix(cost): bind limit consumption during lowering
zzylol Sep 3, 2026
0a91fbc
fix(cost): preserve valid window and offset cardinalities
zzylol Sep 3, 2026
c099c94
feat(cost): begin PromQL statistics adaptation
zzylol Sep 2, 2026
cb3b3d9
feat(cost): adapt PromQL operators to scoped evidence
zzylol Sep 2, 2026
d103747
fix(cost): migrate PromQL lowering to physical identity evidence
zzylol Sep 2, 2026
7ca05c3
docs(cost): define PromQL physical evidence
zzylol Sep 2, 2026
3b44476
fix(cost): close PromQL physical evidence gaps
zzylol Sep 2, 2026
fdce069
fix(cost): preserve PromQL bridge direction
zzylol Sep 2, 2026
686778f
fix(cost): distinguish PromQL binary operand modes
zzylol Sep 2, 2026
bfc5e14
fix(cost): preserve PromQL relabel cardinality
zzylol Sep 3, 2026
a2da31f
fix(cost): enforce physical DAG invariants in estimator
zzylol Sep 2, 2026
9c5c981
fix(cost): enforce exact bounded cardinalities
zzylol Sep 3, 2026
72bb94d
refactor(cost): centralize PromQL invariants with operators
zzylol Sep 3, 2026
b4c7461
refactor(cost): make physical operator arity explicit
zzylol Sep 3, 2026
e8dfaa7
refactor(cost): type operator statistics by physical algorithm
zzylol Sep 3, 2026
143805b
docs(cost): define physical statistics authority
zzylol Sep 3, 2026
15c341b
feat(cost): lower query DAGs for analytical estimates
zzylol Sep 2, 2026
151b6a1
fix(cost): allow empty physical edges
zzylol Sep 2, 2026
5029215
fix(cost): bind query lowering to physical evidence
zzylol Sep 2, 2026
16f57c5
fix(cost): reject unproven query algorithms
zzylol Sep 2, 2026
b581282
fix(cost): require provider-owned physical identity
zzylol Sep 2, 2026
5f025fa
fix(cost): compare semantic source coverage
zzylol Sep 2, 2026
fbc62cf
fix(cost): bind limit consumption during lowering
zzylol Sep 3, 2026
21aad88
fix(cost): preserve valid window and offset cardinalities
zzylol Sep 3, 2026
66387f4
refactor(cost): lower into typed physical evidence
zzylol Sep 3, 2026
228ea1e
refactor(cost): name physical source snapshots explicitly
zzylol Sep 3, 2026
18b147a
docs(cost): define physical plan integration boundary
zzylol Sep 3, 2026
7deb726
Merge remote-tracking branch 'origin/feat/cost-statistics-scope' into…
zzylol Sep 3, 2026
f541689
fix(cost): preserve physical work during query lowering
zzylol Sep 3, 2026
ec7737a
Merge remote-tracking branch 'origin/feat/cost-query-dag-stack' into …
zzylol Sep 3, 2026
ce80e5f
fix(cost): make PromQL physical estimates fail closed
zzylol Sep 3, 2026
8ca8310
feat(cost): rank complete physical plan alternatives
zzylol Sep 2, 2026
b8ba76e
test(cost): populate bounded operator evidence
zzylol Sep 3, 2026
a945497
fix(cost): snapshot planner evidence per target
zzylol Sep 3, 2026
fa499a1
fix(cost): use typed evidence in planner ranking tests
zzylol Sep 3, 2026
15dbef7
fix(cost): reject unbound CSE physical costs
zzylol Sep 3, 2026
3ec3803
refactor(cost): name physical plan cost boundary
zzylol Sep 4, 2026
6bafaf2
refactor(cost): separate physical resource core
zzylol Sep 4, 2026
e69b45a
refactor(cost): separate physical evidence from analytical estimation
zzylol Sep 4, 2026
e4cb666
fix(cost): reject blank evidence snapshot versions
zzylol Sep 4, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3,256 changes: 2,890 additions & 366 deletions crates/asap-aware-mapping/src/analytical_cost.rs

Large diffs are not rendered by default.

12 changes: 12 additions & 0 deletions crates/asap-aware-mapping/src/cost_model.rs
Original file line number Diff line number Diff line change
Expand Up @@ -190,6 +190,18 @@ pub fn default_cse_shared_maintenance_cost(family: &SummaryFamilyType) -> Cost {
/// `replacement::implementations_for_with` constructs every candidate in the
/// resulting order.
pub trait CostModel {
/// Whether [`Self::candidate_cost`] prices a complete physical
/// alternative, including its raw baseline, rather than a local
/// heuristic for one memo-group node.
///
/// Complete-plan models make every CSE alternative available to final
/// ranking. Choosing a share/recompute arm first through the legacy
/// structural hooks would discard a physical alternative before its
/// evidence-backed cost was compared.
fn candidate_cost_covers_complete_plan(&self) -> bool {
false
}

/// Candidate-level availability for final selection. The default keeps
/// every candidate, including legacy models whose numeric estimate is a
/// display-only placeholder. Models that require evidence override this
Expand Down
3 changes: 3 additions & 0 deletions crates/asap-aware-mapping/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -187,6 +187,9 @@ pub mod analytical_cost;
pub mod cost_model;
pub mod explanation;
pub mod grouping;
pub mod physical_operator_statistics;
pub mod physical_plan_cost_model;
pub mod query_physical_lowering;
pub mod recurrence;
pub mod replacement;
pub mod rewrite;
Expand Down
Loading
Loading