Consumer 4K is definitely 3840x2160. Its likely 10K is the same situation; there are multiple resolutions that fall under that banner, but the consumer version will be 1.77 aspect ratio.