I don't think that is quite right. Rated miles always equals: (car SOC% per your definition x nominal full value)/charge constantA lot of people in this thread have scan my Tesla this can be determined through data from that, pre and post capping.
I believe SoC percentage as shown by the car is:
(Nominal remaining - buffer)/(nominal full pack - buffer) * 100.
While rated miles as shown by the car should be:
(Nominal remaining - buffer) / (nominal full pack of car when new - buffer when new) * rated range of car when new (the last 3 terms are constant for any particular pack/car combinstion so it only really depends on nominal remaining and buffer).
Edit: that is to say if they did what you suggest one of those 3 constants would have to be changed.
So if the charge constant doesn't change, then rated miles change(degradation) is exactly proportional to nominal full value change.
As far as I know, the buffer value has not ever changed for a given model S configuration. But I don't think that is true for the model 3.