When iPhone goes to AirPlay, it provides the AppleTV with the only stream source it received.
Ideally, either the HTML5 video tag could define multiple streams based on size (similar to how it can provide different streams based on video format), but since that's not in the spec, I suppose we have to conjure up a "standardized" convention.