Yup, OK according to ETRTO current standard. Just 25mm seems a borderline case to me and personally wouldn’t buy a hookless rim if I wanted to run that width. I’ve heard smarter and more informed people than me like Dan Empfield and Josh Poertner talk about having at least a 5mm difference between internal rim width and nominal tyre width, and also talk about this being a technology best suited to wider tyres. There’s rumours the ETRTO standard will change to having a max 23mm rim width for 28mm tyres ( Rumor: Upcoming ETRTO Spec to Limit Inner Rim Width to 23mm for 28mm Tires - Equipment - TrainerRoad) which would align with that 5mm difference and would imply that the max rim width for 25mm tyres might also get narrower.
Plus for most men 25mm isn’t a good choice on hookless as the optimal pressure for that width is likely to exceed the 72psi limit. e.g. just plugged 21mm hookless rim and thin 25mm tyre into the Zipp calculator and even for a 60kg rider the recommended pressure still exceeds 72.
Does probably reiterate what a bad job the bike industry as a whole is doing to make things easy for the consumer! Really shouldn’t be having to look up ETRTO charts or wondering whether you need to add another round of tape to get a tight enough fit that you’re not going to blow a tyre off halfway down a mountain.