How can one get image (band) width and height on the server side?
On the user side you do it with
image.getInfo().bands.dimensions, following Extracting information from Google Earth Engine image by row and column position?
However, it is not possible to map such a function, since
getInfo() is a user-side function.
The task sounds extremely simple, since you always see band dimensions whenever you print an image, but how to get them as a list or a numbers?