--- a/src/fb.rs Tue Jul 28 22:00:55 2026 -0500 +++ b/src/fb.rs Wed Jul 29 00:08:14 2026 -0500 @@ -210,7 +210,7 @@ ε, ins, ®, - Some(|μ̃: &RNDM<N, F>| f.apply(μ̃)), + Some(|μ̃: &RNDM<N, F>| f.apply(μ̃) + reg.apply(μ̃)), ) }); }