It's not a tie, there is no dispute or grading discrepancy. MLB, which has sports betting partners, has posted to its official website, the final.
This is no difference than a NHL shootout or a tennis retirement. The only site that isn't following MLBs lead is ESPN, and we know how bruised that relationship is.
Is the fukking league itself posts an official boxscore, that's the end of the debate.