feat(federation): sketch a query completeness correctness check

apollo-federation/cli/src/main.rs

@@ -104,6 +104,14 @@ enum Command {
         #[command(flatten)]
         planner: QueryPlannerArgs,
     },
+    /// Plan and test a query.
+    PlanCheck {
+        query: PathBuf,
+        /// Path(s) to one supergraph schema file, `-` for stdin or multiple subgraph schemas.
+        schemas: Vec<PathBuf>,
+        #[command(flatten)]
+        planner: QueryPlannerArgs,
+    },
 }
 
 impl QueryPlannerArgs {
@@ -154,6 +162,11 @@ fn main() -> ExitCode {
             operations_dir,
             planner,
         } => cmd_bench(&supergraph_schema, &operations_dir, planner),
+        Command::PlanCheck {
+            query,
+            schemas,
+            planner,
+        } => cmd_plan_correctness(&query, &schemas, planner),
     };
     match result {
         Err(error) => {
@@ -321,6 +334,36 @@ fn cmd_bench(
     Ok(())
 }
 
+fn cmd_plan_correctness(
+    query_path: &Path,
+    schema_paths: &[PathBuf],
+    planner: QueryPlannerArgs,
+) -> Result<(), FederationError> {
+    let query = read_input(query_path);
+    let supergraph = load_supergraph(schema_paths)?;
+    let query_doc =
+        ExecutableDocument::parse_and_validate(supergraph.schema.schema(), query, query_path)?;
+    let config = QueryPlannerConfig::from(planner);
+
+    println!("supergraph paths");
+    println!("================");
+    let supergraph_paths = apollo_federation::correctness::supergraph_query_paths(
+        &supergraph.schema,
+        &query_doc,
+        None,
+    )?;
+
+    let planner = QueryPlanner::new(&supergraph, config)?;
+    let plan = planner.build_query_plan(&query_doc, None)?;
+
+    println!("plan paths");
+    println!("==========");
+    let plan_paths = apollo_federation::correctness::query_plan_paths(&supergraph.schema, &plan)?;
+    apollo_federation::correctness::compare_paths(&supergraph_paths, &plan_paths)?;
+
+    Ok(())
+}
+
 #[test]
 fn test_bench() {
     insta::assert_json_snapshot!(