feat(planner): physical ASAP-aware optimization and plan selection for candidate logical ASAP DAGs

crates/asap-aware-mapping/src/accuracy/evidence.rs

@@ -1,5 +1,6 @@
 //! Scoped source contracts and evidence required by accuracy rules.
 use super::*;
+use asap_types::ir::QueryRoot;
 
 /// A trusted source assertion scoped by `AccuracyEvidenceProvider` to one
 /// complete evaluation. Choosing this variant asserts the estimator and hash
@@ -106,6 +107,17 @@ pub trait AccuracyEvidenceProvider {
         None
     }
 
+    /// The deployment's empirical accuracy for one candidate's whole query
+    /// output, as a guarantee. Plan selection (#509 Stage 3) accepts a
+    /// candidate whose output has no theoretical guarantee that meets the
+    /// target (e.g. a difference of two quantile estimates) only when this
+    /// shows the output meets it. Stage 1 composition never reads it: root
+    /// guarantees there come from the built-in theoretical model. `None`
+    /// means no evidence.
+    fn output_guarantee(&self, _output: &QueryRoot) -> Option<ResultGuarantee> {
+        None
+    }
+
     fn propagation_stats(
         &self,
         _op: &CompositionOperator,

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

@@ -215,3 +215,13 @@ pub mod maintained_population;
 /// Stage 1, Pass 1: per-computation candidate generation. No execution timing is
 /// assigned: that is a Stage 2 materialization decision.
 pub mod per_computation_candidates;
+
+/// #509 Stage 2, physical ASAP-aware optimization (MVP): materialization
+/// (every sub-DAG `NotMaterialized`) and physical operator implementation,
+/// producing the CandidatePhysicalASAPDAGs.
+pub mod physical_asap_optimization;
+
+/// #509 Stage 3, plan selection (MVP): accuracy check, analytical pricing
+/// (a `NotMaterialized` node once per query that reads it, a materialized
+/// one once), cheapest valid plan.
+pub mod plan_selection;