new helper: lookup_positive_unlocked()