Yep, it records what you see, so if the channel's HD, the recording is too. Beware, HD programs take up a LOT of space on the DVR's hard drive.
I have the 6412 and no, it does not have an off-air ATSC tuner. You'll have to add a separate tuner for the OTA stuff.