Function discard_resource_stops 

pub fn discard_resource_stops<R>(f: impl FnOnce() -> R) -> R

Whether a verdict depended on kernel work that stopped for want of a resource: a conversion that says “not equal” decided nothing when one of its reductions ran out of budget. Run f WITHOUT letting its resource stops reach the enclosing observation — for work whose answer the verdict does not use (a debug differential that re-decides a pair already decided).