HDTV only means higher resolution than SDTV. What video and audio codecs are used? What kind of container does the your recordings have?

At least what file extension do they have? And what is the source of your HDTV signal and how do record it?

And what is Codex?