You would think the range calculations would account for that effect. They already have temperature sensors in the pack, and storing some historical data is cheap.
The batteries do have a reduced capacity when cold, so the range calculation is accurate. Tesla can only unofficially expect the range to recover, not guarantee it.
