Thank you (and those who answered upthread).
That would seem to mean that resetting the phone to factory settings wouldn’t have wiped the texts.