Formatting

Author: robknight

src/frontend/multi_pod/mod.rs

@@ -715,7 +715,8 @@ mod tests {
         let _age_ok = builder.priv_op(FrontendOp::gt_eq(age, 18))?;
 
         // Verify balance >= 100 (minimum balance)
-        let balance = builder.priv_op(FrontendOp::dict_contains(profile.clone(), "balance", 1000))?;
+        let balance =
+            builder.priv_op(FrontendOp::dict_contains(profile.clone(), "balance", 1000))?;
         let _balance_ok = builder.priv_op(FrontendOp::gt_eq(balance, 100))?;
 
         // Verify reputation >= 50 (trusted user)
@@ -728,7 +729,8 @@ mod tests {
         let _level_ok = builder.priv_op(FrontendOp::gt_eq(level, 3))?;
 
         // Verify credits >= 100 (has credits)
-        let credits = builder.priv_op(FrontendOp::dict_contains(profile.clone(), "credits", 150))?;
+        let credits =
+            builder.priv_op(FrontendOp::dict_contains(profile.clone(), "credits", 150))?;
         let _credits_ok = builder.priv_op(FrontendOp::gt_eq(credits, 100))?;
 
         // Verify score >= 60 (passing score) - make this one public

src/frontend/multi_pod/solver.rs

@@ -364,8 +364,9 @@ fn try_solve_with_pods(
         // The total must not exceed max_priv_statements (= max_statements - max_public_statements).
         let stmt_sum: Expression = (0..n).map(|s| prove[s][p]).sum();
         let copy_sum: Expression = (0..dep_indices.len()).map(|di| needs_copy[di][p]).sum();
-        let anchored_key_sum: Expression =
-            (0..input.all_anchored_keys.len()).map(|ak| anchored_key_used[ak][p]).sum();
+        let anchored_key_sum: Expression = (0..input.all_anchored_keys.len())
+            .map(|ak| anchored_key_used[ak][p])
+            .sum();
         model = model.with(constraint!(
             stmt_sum + copy_sum + anchored_key_sum
                 <= (input.params.max_priv_statements() as f64) * pod_used[p]