> obviously wrong
It's natural to think so, but my Org mode correctly interprets `Tue 25:00` as being equivalent to `Wed 01:00`. That includes agenda scheduling filters. This format is used in the real world sometimes too, especially for things like TV showings that span across the midnight boundary, as in your example.