I'm not sure what your speculation is adding to the discussion, aside from being apologetic to DJI for some reason.
If 4K mode is recorded at 60Mbps then 60Mbps is available to write to the SD card. It shouldn't matter what the input resolution is. We should be able to use 2.7K, 1080p or 720p...