feat(planner): select lifecycle-aware summary plans

crates/asap-aware-mapping/src/cost_model.rs

@@ -56,14 +56,16 @@ use asap_types::pre_asap::agg_intent::AggIntent;
 use asap_types::pre_asap::expr_ir::ColumnRef;
 use asap_types::pre_asap::query_expr::QueryExpr;
 
-use crate::lifecycle::{LifecycleCostInputs, SummaryLifecycleCapabilities};
 use crate::recurrence::{
     self, Horizon, RecurrenceCostExplanation, RecurrenceError, RecurrenceProfile,
 };
 use crate::replacement::{
     realize_child, Implementation, Replacement, ReplacementProvenance, ReplacementSubDAG,
     TargetSubDAG,
 };
+use crate::summary_maintenance_lifecycle::{
+    SummaryMaintenanceCapabilities, SummaryMaintenanceLifecycleCostInputs,
+};
 
 /// A CSE-detected, legality-gated shared subtree with two or more consumers
 /// — the unit [`CostModel::cse_share_decision`] decides over. Built by
@@ -510,17 +512,20 @@ pub trait CostModel {
     /// compare physical summary-state lifecycles. Unknown values stay
     /// unknown, preventing long-lived deployments from winning through
     /// optimistic zeroes.
-    fn summary_lifecycle_cost_inputs(&self, _summary: &SummaryNode) -> LifecycleCostInputs {
-        LifecycleCostInputs::default()
+    fn summary_maintenance_lifecycle_cost_inputs(
+        &self,
+        _summary: &SummaryNode,
+    ) -> SummaryMaintenanceLifecycleCostInputs {
+        SummaryMaintenanceLifecycleCostInputs::default()
     }
 
     /// Physical update/merge/delete support for one concrete summary. The
     /// conservative default advertises no long-lived maintenance capability.
-    fn summary_lifecycle_capabilities(
+    fn summary_maintenance_capabilities(
         &self,
         _summary: &SummaryNode,
-    ) -> SummaryLifecycleCapabilities {
-        SummaryLifecycleCapabilities::default()
+    ) -> SummaryMaintenanceCapabilities {
+        SummaryMaintenanceCapabilities::default()
     }
 
     /// Cost of evaluating `target` directly from its logical/raw inputs once.

crates/asap-aware-mapping/src/lib.rs

@@ -186,11 +186,11 @@ pub mod accuracy_reconciliation;
 pub mod cost_model;
 pub mod explanation;
 pub mod grouping;
-pub mod lifecycle;
 pub mod recurrence;
 pub mod replacement;
 pub mod rewrite;
 pub mod rollup;
+pub mod summary_maintenance_lifecycle;
 pub mod topk_reuse;
 
 pub use accuracy::{
@@ -204,11 +204,6 @@ pub use explanation::{
     explain_replacements, explain_replacements_with, ExplanationKind, ReplacementExplanation,
 };
 pub use grouping::{has_subpopulations, HydraGroupingStrategy};
-pub use lifecycle::{
-    plan_summary_lifecycles, LifecycleAlternative, LifecycleCapabilities, LifecycleCostInputs,
-    LifecyclePlan, LifecyclePlanError, LifecycleRejection, StateDeployment,
-    SummaryLifecycleCapabilities, WorkloadDemand,
-};
 pub use recurrence::{
     evaluation_rate_of, total_cost, update_rate_from_data_workload, CostRate, EvaluationRate,
     Horizon, RecurrenceCostExplanation, RecurrenceError, RecurrenceProfile, RootRecurrence,
@@ -223,4 +218,14 @@ pub use replacement::{
     MAX_SEARCH_ITERATIONS,
 };
 pub use rewrite::AvgToSumOverCountStrategy;
+pub use summary_maintenance_lifecycle::{
+    global_selection_with_summary_maintenance_lifecycles,
+    materialize_with_summary_maintenance_lifecycles, plan_summary_maintenance_lifecycles,
+    MaterializeSummaryMaintenanceLifecycleError, SummaryMaintenanceCapabilities,
+    SummaryMaintenanceDeployment, SummaryMaintenanceLifecycleAlternative,
+    SummaryMaintenanceLifecycleCapabilities, SummaryMaintenanceLifecycleCostInputs,
+    SummaryMaintenanceLifecyclePlan, SummaryMaintenanceLifecyclePlanError,
+    SummaryMaintenanceLifecycleRejection, SummaryMaintenanceLifecycleSelectionError,
+    WorkloadDemand,
+};
 pub use topk_reuse::TopKLimitReuseStrategy;