Given what you had to work with they’re totally fine.
That being said, if it were me working on this in LR (not that you did anything wrong, because you didn’t), I’d have kept post processing much simpler by simply setting the exposure so the histogram was in the middle, then in the tone curve controller, drag the reflected whites up until they’re 85% luminance, then drag the shadows down to taste and let the rest of the tone values lie where they land, then turn off sharpening in the sharpening controller and maybe dial in some luminance noise removal in the noise removal controller, though with no sharpening on the native resolution file, the noise/grain will throttle back quite a bit.