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.