Ok, don’t call it saturation.
But just keep relations between r/g/b while darkening and it will do and won’t be a much pale color than when you llok to the sky in situ.
DT abandoned the lab perceptive model in favor of liner rgb in order to keep energy relation in the editing process.
Nut now i discover that it is making perceptive corrections in every step and that it can heavily break that relations and reprocity law…
I understand it is difficult or even imposible at currenr state of the art to keep that relations and keep colors under control.
But it can then be in the base of difficulties with expanding highlights.
So may be a tool that operates directly over the original data may help and circunvent that.
May be exposure module would have more options to do that in cooperation with color balance?
Reading your last part of the unswer i am confused now.
You previously said that DT makes gamut checking at each step, an corrects colors to be in gamut.
Now you say that tone eq oprates previously tu cat and no gamut correction is made.
So, is just color calobration the one that makes gamut checking and previous modules do not have that check?
In that case there will be no problem with that.