No Super Over after IND vs SL 1st ODI raises questions on whether match officials followed ICC rules

According to ICC ODI Playing Conditions, last amended in December 2023, a tied ODI has to be followed with a Super Over to determine the winner.