--- a/src/sliding_fb.rs Tue Jul 28 22:00:55 2026 -0500
+++ b/src/sliding_fb.rs Wed Jul 29 00:08:14 2026 -0500
@@ -1101,7 +1101,7 @@
ε,
ins,
®,
- Some(|μ̃: &RNDM<N, F>| f.apply(μ̃)),
+ Some(|μ̃: &RNDM<N, F>| f.apply(μ̃) + reg.apply(μ̃) ),
);
//if m > 0 {
stats.merged += m;