I see several references to good video stabilization, but never mention if it's 1080p or 4k, since I didn't see any mention to OIS and sensor resolution is almost the same as 4k (at least the width) how can it effectively compensate to electronic video stabilization in 4k video?

(comment copy-pasted from https://www.dxomark.com/Mobiles/Pixel-smartphone-camera-revi...)