diff -r b6af27f72492 -r 642141008293 src/forward_pdps.rs --- a/src/forward_pdps.rs Tue Jul 28 22:00:55 2026 -0500 +++ b/src/forward_pdps.rs Wed Jul 29 00:08:14 2026 -0500 @@ -249,7 +249,7 @@ ε, ins, ®, - Some(|μ̃: &RNDM| f.apply(Pair(μ̃, &z))), + Some(|μ̃: &RNDM| f.apply(Pair(μ̃, &z))+ reg.apply(μ̃)), ); });