We don’t have the tech to dig down several miles on Mars and take samples. We barely have that tech on earth.
All we know is, if you put a glorified loudspeaker on the ground and record what comes back, it sounds like it does on earth in places with water molecules inside the rock.