Just for a quick update, I got curious and it seems the resolution actually should be a touch over 10k for super35, as for regular 35mm it seems spot on at 9.5k resolution.

https://www.filmfix.com/en/blog/35mm-film-resolution/