diff -r 51dbb2cc25d9 -r 8d1c959432c8 src/pdps.rs --- a/src/pdps.rs Tue Aug 04 13:46:29 2026 -0500 +++ b/src/pdps.rs Tue Aug 04 14:12:18 2026 -0500 @@ -212,7 +212,8 @@ config.if_merge_now(&state, |ins| { stats.merged += prox_penalty.merge_spikes_no_fitness(&mut μ, &mut τv, &μ_base, τ, ε, ins, ®); - }); + Ok(()) + })?; stats.inserted += μ.len() - μ_base.len(); stats.pruned += prune_with_stats(&mut μ);