@Phil
(I highly rate your race analysis and that is not coz we have the same analytic mind but for the fact that we're almost every time do almost the same reasoning and above that I found someone who could write and speak fluently in English, coz as you could have figured out by now I'm not an native English speaker
)
On another note I did some further race analysis and found something interesting ...
So the in the first stint Lewis did 15 laps, Nico 14, Seb 13 and Kimi 15.
On the second stint Lewis did 19 laps on the same soft tyre, Nico and Seb 18 with Kimi doing 23 laps !
After the race both Lewis and Niky said they prolonged with 2 to 3 laps the tyre life with that conservative managing tyre driving so had they not being convervative and rather driving with their full speed they could have been 0,4-0,5s per lap faster than Ferrari (as Niky and FP2 race sims told us) but in return their tyre lifespan would have last somewhere between 12 to 13 laps in the first stint and maybe 16 to 17 laps on the second one.
So if we do the math they could have been 13 to 15sec. in front of Seb before the second pit stop and they could have done a longer (4 to 6 laps) medium tyre final stint, bearing in mind that they could be in conservative tyre mode and also track temperature have been lowering ...