There is plenty of data out there from people with ScanMyTesla, etc, showing that indeed that rated range number is directly related to what the BMS thinks is the kWh remaining (see a post from earlier today).
Furthermore, not only does the BMS think this energy is reduced over time (dramatically in some cases), people who carefully monitor the trip meter (accounting correctly for any losses while in park which are not counted) see that on these vehicles, the total kWh available per the trip meter indeed are very well correlated to that range number (the Wh per rated mile is roughly a constant). In the cases where it is not, the BMS adjusts and the rated range numbers adjust - but in most cases these variations & adjustments are small.
So, those two pieces of information (which you can verify yourself; you do not have to and definitely should not believe me!) indicate that there is a very direct correlation between the rated range number and how far you can travel, for a given controlled trip & specific conditions. Of course environmental factors add huge variability on top of that, but that's a totally separate topic; it's completely unrelated (those factors just affect the consumption rate and the range, which is a different topic). The OP here is not discussing range or anything about how far you can travel; they're talking about energy available.
The number is the SoC multiplied by the rated wh/mile and represents ideal capacity
You're absolutely correct about what you're saying about the capacity here in general, but a slight correction here: The rated miles/capacity available are
not related to the SoC % by a constant. If it were, then the two quantities, SoC% and rated miles, would be equivalent & equally useful.
What I am sure you meant was that:
kWhAvailAbove0% = SoC%*RatedRange@100%* Constant (Wh/rmi) (This constant is 209Wh/rmi, 4.5% less than 219Wh/rmi, for a 2019 SR+ (211Wh/rmi / 201Wh/rmi for a 2020 SR+) - the 4.5% difference is due to the buffer which is not included in this result as it is below 0%)
So very close to what you said, but just correcting that the quantity: (Rated Range @ 100% (rmi) * Constant (Wh/rmi) ) is
not a constant - which was your whole point. Rated Range reduces over time, and thus for a given SoC%, your available energy at that SoC is reduced.
Final addendum - for extremely healthy batteries (brand new), there may be deviations from these formulas (they may underpredict capacity). But once you start seeing loss of rated miles relative to new, these formulas should work.