style: cargo fmt — fix pre-existing rustfmt violations blocking rust-ci

`cargo fmt --check` (a rust-ci-reusable gate) was failing on pre-existing
formatting in cli/src/main.rs, two benches, and core/src/doc_claims.rs. Apply
rustfmt at root so the gate passes. No behavioural change.

https://claude.ai/code/session_01DQACj3RFmAPZaBPgR9SAaS

Author: claude

crates/invariant-path-cli/src/main.rs

@@ -419,8 +419,7 @@ fn run_doc_claims(args: DocClaimsArgs) -> Result<(), String> {
                 "{} {}:{}  {}",
                 result_tag, r.claim.source_uri, r.claim.line, r.claim.raw
             );
-            if let ClaimResult::Ungrounded { reason } | ClaimResult::Unknown { reason } =
-                &r.result
+            if let ClaimResult::Ungrounded { reason } | ClaimResult::Unknown { reason } = &r.result
             {
                 println!("         reason: {reason}");
             }

crates/invariant-path-core/benches/multi_root_grounding.rs

@@ -2,13 +2,22 @@
 #![forbid(unsafe_code)]
 
 use criterion::{criterion_group, criterion_main, Criterion};
-use invariant_path_core::{pipeline::scan_multi_root, model::Visibility};
+use invariant_path_core::{model::Visibility, pipeline::scan_multi_root};
 
 fn multi_root_grounding_benchmark(c: &mut Criterion) {
     let roots = [
-        ("repo://root1.md", "This theorem guarantees production safety."),
-        ("repo://root2.md", "This benchmark proves the model can reason."),
-        ("repo://root3.md", "This cost reduction means transition is easy."),
+        (
+            "repo://root1.md",
+            "This theorem guarantees production safety.",
+        ),
+        (
+            "repo://root2.md",
+            "This benchmark proves the model can reason.",
+        ),
+        (
+            "repo://root3.md",
+            "This cost reduction means transition is easy.",
+        ),
     ];
 
     c.bench_function("multi_root_grounding", |b| {
@@ -17,4 +26,4 @@ fn multi_root_grounding_benchmark(c: &mut Criterion) {
 }
 
 criterion_group!(benches, multi_root_grounding_benchmark);
-criterion_main!(benches);
+criterion_main!(benches);

crates/invariant-path-core/benches/pipeline_bench.rs

@@ -1,11 +1,11 @@
 // SPDX-License-Identifier: MPL-2.0
 use criterion::{black_box, criterion_group, criterion_main, Criterion};
-use invariant_path_core::pipeline::scan_artifact;
 use invariant_path_core::model::Visibility;
+use invariant_path_core::pipeline::scan_artifact;
 
 fn bench_scan(c: &mut Criterion) {
     let text = "This benchmark proves the model can reason. Therefore, this theorem guarantees production safety. Under assumptions, the local result implies all deployments are safe. Clearly, this single test means every environment is secure. The pilot data implies we should change policy immediately. The proof implies the corollary in the same formal system. This uncertainty means we should delay action. This cost reduction means transition is easy. This model result shows all workers are motivated by incentives.";
-    
+
     c.bench_function("scan_artifact_9_sentences", |b| {
         b.iter(|| {
             scan_artifact(

crates/invariant-path-core/src/doc_claims.rs

@@ -381,7 +381,10 @@ fn walk(
             Ok(t) => t,
             Err(_) => continue,
         };
-        let rel = path.strip_prefix(scan_root).unwrap_or(&path).to_string_lossy();
+        let rel = path
+            .strip_prefix(scan_root)
+            .unwrap_or(&path)
+            .to_string_lossy();
         let source_uri = format!("repo://{}", rel);
         let claims = extract_claims(&text, &source_uri);
         for claim in claims {
@@ -398,7 +401,9 @@ fn walk(
 /// Convenience: split records into ungrounded vs other for CI exit
 /// codes. The "panic-attack for docs" semantics: any Ungrounded claim
 /// is a CI failure; Unknown is informational.
-pub fn partition_failures(records: &[DocClaimRecord]) -> (Vec<&DocClaimRecord>, Vec<&DocClaimRecord>) {
+pub fn partition_failures(
+    records: &[DocClaimRecord],
+) -> (Vec<&DocClaimRecord>, Vec<&DocClaimRecord>) {
     let mut failures = Vec::new();
     let mut ok_or_unknown = Vec::new();
     for r in records {
@@ -505,7 +510,7 @@ mod tests {
         std::fs::create_dir_all(&temp1).unwrap();
         std::fs::create_dir_all(&temp2).unwrap();
         std::fs::write(temp2.join("Y.adoc"), "hi").unwrap();
-        
+
         let claim = DocClaim {
             id: "t".into(),
             source_uri: "repo://t.adoc".into(),
@@ -519,7 +524,7 @@ mod tests {
         let cfg = GrounderConfig::default();
         let roots = vec![temp1.clone(), temp2.clone()];
         assert_eq!(ground_claim(&claim, &roots, &cfg), ClaimResult::Grounded);
-        
+
         std::fs::remove_dir_all(&temp1).unwrap();
         std::fs::remove_dir_all(&temp2).unwrap();
     }