Fix purge behavior and total_increasing monotonicity

total_increasing monotonicity was broken by dynamic rounding and relative approximation: fixed.

Purge of unused filtered entities was too aggressive: only purged if the source no longer exists.