Not sure if that’s up to date? Roborock S8 Pro Ultra is listed on the page of buying supported robots but it’s not on the supported robots page?
That’s the one I have and I’m interested in Valetudo for hooking into HA but I wish there was an iOS app for it.
It’s extremely hard to root, I think that’s why it got removed from the supported robot page. As for ios, just saving the page on the Home Screen really works fine, no need for a native app here imho.