but UV intensity (independent of temperature)
Ahh, this is where I went astray then. Their exposure to UV was the important bit, playing into their radiation tolerance as a plot point, and I do remember reading specifically about UV driving melanin production, but I mistakenly assumed that correlated with temperature. I'll have to be more careful with this in the future. Thanks for chiming in!