I've done some further reading and came back to say I figured it out, but you guys were quicker -- thanks for the replies. So my understanding was correct: given they have EU pre-settled status, and that being their only residency permit, they will be required to obtain settled status after 5 years ...