chore(fmt): apply cargo fmt to D1 + S5 files

cargo fmt --check was failing on tests/gnn_augment_integration.rs
(from the S5 verification harness) and a few lines in router.rs +
aspect.rs (from D1). Pure mechanical rustfmt application; no
semantic changes. Test Suite job on PR #103 was tripping on this.

https://claude.ai/code/session_01YPqu7gti4azBach6ZvpRFJ

Author: claude

src/rust/agent/router.rs

@@ -107,7 +107,11 @@ impl ProverRouter {
             }
 
             // Coq for inductive proofs ("proof_techniques.induction")
-            if goal.aspects.iter().any(|s| s.starts_with("proof_techniques.")) {
+            if goal
+                .aspects
+                .iter()
+                .any(|s| s.starts_with("proof_techniques."))
+            {
                 return ProverKind::Coq;
             }
 

src/rust/aspect.rs

@@ -1251,7 +1251,10 @@ mod tests {
 
     #[test]
     fn test_dotted_key_natural_numbers() {
-        assert_eq!(Aspect::NaturalNumbers.dotted_key(), "arithmetic.natural_numbers");
+        assert_eq!(
+            Aspect::NaturalNumbers.dotted_key(),
+            "arithmetic.natural_numbers"
+        );
     }
 
     #[test]
@@ -1261,7 +1264,10 @@ mod tests {
 
     #[test]
     fn test_dotted_key_propositional_logic() {
-        assert_eq!(Aspect::PropositionalLogic.dotted_key(), "logic.propositional_logic");
+        assert_eq!(
+            Aspect::PropositionalLogic.dotted_key(),
+            "logic.propositional_logic"
+        );
     }
 
     #[test]

tests/gnn_augment_integration.rs

@@ -105,7 +105,10 @@ async fn test_health_status_richer_payload() {
         ..GnnConfig::default()
     });
 
-    let health = client.health_status().await.expect("health_status should succeed");
+    let health = client
+        .health_status()
+        .await
+        .expect("health_status should succeed");
 
     assert!(health.gnn_model_loaded, "mock reports model loaded");
     assert_eq!(health.model_path.as_deref(), Some("/fake/path"));
@@ -118,11 +121,7 @@ async fn test_health_status_richer_payload() {
 
 // ─── helper: assert top tactic from suggest_tactics ─────────────────────────
 
-async fn assert_top_tactic_is_apply(
-    kind: ProverKind,
-    prover_name: &str,
-    base_url: &str,
-) {
+async fn assert_top_tactic_is_apply(kind: ProverKind, prover_name: &str, base_url: &str) {
     let backend = ProverFactory::create(kind, gnn_config(base_url))
         .unwrap_or_else(|e| panic!("Failed to create {:?} backend: {}", kind, e));
 
@@ -140,7 +139,11 @@ async fn assert_top_tactic_is_apply(
 
     let first = &tactics[0];
     match first {
-        echidna::core::Tactic::Custom { prover, command, args } => {
+        echidna::core::Tactic::Custom {
+            prover,
+            command,
+            args,
+        } => {
             assert_eq!(
                 prover.as_str(),
                 prover_name,