The Short Version
The evidence supports the core point. Under IFAB rules, kicks from the penalty mark happen after the match has ended and do not change the scoreline, so the match remains a draw after extra time. FIFA reporting reflects this by listing the draw and the shoot-out separately to identify who advances or becomes champion.