Other Xiaomi 15* or Samsung S25*

If camera quality is not a priority & you can wait a bit, get OP 13s (assuming you don't want a big phone). I will rate Color OS as superior to HyperOS of Xiaomi (though I still rate One UI as better, Samsung has been messing stuff lately). It has faster charging & bigger battery than S25

Doesn't make a lot of sense to go for Xiaomi in general considering the issues with build quality and aftersales service which is very poor for even premium devices. On the whole though, the Indian market is moving away from its products which isn't a bad thing altogether.