feat(lifecycle): enumerate summary maintenance alternatives

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

@@ -56,6 +56,7 @@ 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;
 use crate::recurrence::{
     self, Horizon, RecurrenceCostExplanation, RecurrenceError, RecurrenceProfile,
 };
@@ -504,6 +505,14 @@ pub trait CostModel {
         let _ = (candidate, target);
         f64::NAN
     }
+
+    /// Primitive build, update, read, retention, and retirement costs used to
+    /// 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 sketch_state(

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

@@ -186,6 +186,7 @@ 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;
@@ -195,14 +196,18 @@ pub mod topk_reuse;
 pub use accuracy::{
     AccuracyAllocation, AccuracyBudgetAllocator, AccuracyEvidenceProvider, AccuracyModel,
     CompositionShape, DefaultAccuracyModel, EqualSplitAllocator, NoAccuracyEvidence,
-    PropagationStats,
+    PropagationStats, WorkloadAccuracyEvidence,
 };
 pub use accuracy_reconciliation::AccuracyReconciliationStrategy;
 pub use cost_model::{CostModel, DefaultCostModel};
 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,
+};
 pub use recurrence::{
     evaluation_rate_of, total_cost, update_rate_from_data_workload, CostRate, EvaluationRate,
     Horizon, RecurrenceCostExplanation, RecurrenceError, RecurrenceProfile, RootRecurrence,