So as perhaps a final update, I finally found an iOS app that does what I need:
easySearch. The price is very steep however.
The free version is limited to folders with 10 files or less; I guess I’ll test it for a while and see if it’s worth the money.
Thanks to all who contributed for your help!