I am skeptical on what that 5.7K resolution really is. I assume there is a lot of interpolating to get that number. As a shooter, I do not generally crop, and so I would prefer sharp 4K over murky fake 6K. Seems like a redundant step in the process.
I suspect it's a true 5.7K Bayer sensor, like the GH5 is a true 5.2K Bayer sensor. The 5.7K size is to help improve the detail and color of the finished de-Bayer'd 4K image. ( same way the GH5 does, same way Sony does with their A6500 camera )

