selectPrev's wrap (active_len + history_len - 1) would underflow if a selection were live while both result lists are empty. Add a test that exercises the invariant making that unreachable: overwriting the only match forces a reload that empties both lists and drops the selection, so the next select() hits the no-matches guard instead of the wrap arithmetic.