For right now, i agree. That is 6k raw, and not actual real 6K detail, i assume? As what we have been calling 4k the last few years is probably not 4K
Right, to get real 4096 we need 4096/.66 = ~6206 Bayer pixels, and for 3840 we need 3840/.66 = ~5818 Bayer pixels with proper filtered downsampling vs. line/pixel skipping. This is to achieve real post-deBayer detail along with minimal aliasing (we also need a good optical low pass filter on the sensor to cut frequencies above the sensor resolution per Nyquist).
This is why the latest ~6K cameras producing 4K look so much more detailed, without aliasing, vs. say the C300 II and C200 (and any other camera with a 4K sensor producing 4K output), which look much less detailed/softer and also alias on fine fabric etc. With a properly tuned OLPF, the 4096 sensor cameras can output 2.7K without aliasing. Comparing e.g the 6K Sony A7 III and Fuji X-T3 to the 4K sensor cameras shows this quite well.