> Would not a exit permit over Trail Crest be required even for a day hike?

Yes, that would still be a requirement. Since he was stopped on the way up to Trail Crest, that would have been a SeKi ranger, and in the National Park, day hiking does not require a permit.

It would have been a different story if he had met a ranger within the Whitney Zone, east of Trail Crest.