Looks like a great plan....
Aug 4...take a break...you might want to hit Jacinto and do a "leisure" hike...take your time up there...smell the pines....head up early then get down before the tourist amass up there.
Early Whitney start: your preference. I prefer 12:01 am...enough time to reach the summit and get back down in time for some froth and fries and gloating!
