I think the bigger problem is that both iOS and Android are doing everything they can to deprecate the concept of a filesystem. Android has a history of killing filesystem features, receiving tons of developer backlash, and then hacking in workarounds with reduced performance. I think the writing is on the wall.
In my experience, porting general purpose tools to Android is a nightmare.
Hopefully something like pinephone gets good enough before things are too bad.
[1] https://github.com/termux/termux-packages/tree/master/packag...
[0]: https://www.xda-developers.com/termux-terminal-linux-google-...
Maybe it's possible to implement that as an extra app though, without even touching Syncthing. Android seems to have some concept of virtual file systems provided by apps so perhaps one could on-demand un-ignore files then block until they're available. (But yeah, that's definitely more than a quick hack.)
In Dropbox, if I want a file I haven't synced yet, I just browse to it and open it. I can also mark folders as available offline.
I'm using Seafile for that now, but I don't like that it needs hosting and I'd love to switch to something P2P and get rid of the server.