Well, the “countdown” rule would come into play here, I think.
If both drivers are equal on wins, then the number of second places counts. if they are equal, the number of third places and so on.
So in this a finish (even outside points) would count for more than a DNF.
So I suppose, in this case Hamilton and Verstappen would have to have the exact number wins, second, third places and so on, till the difference comes down to finishes for this situation to play out.