I remember there being a fairly strict set of encoding tools and formats within the ATSC standards for broadcast video. I did a little searching (Wikipedia and atsc.org) but could only find mention of extensions to add H.264 and then only up to 1080p (in A/72), but nothing about H.265 of any resolution.

This is pretty cool but I'm wondering if it's compliant?