On hard-court Elo, Timofeeva leads 1593 to 1486, and the global scale points the same way, 1630 to 1496. Both gaps favour her, and neither tells us how this final will be scored.
Every listed Porto match has gone their way: Timofeeva beat Pohankova 6-2 6-7 6-3, Knutson 6-1 6-2, Rinaldo Persson 6-3 6-0 and Johnson 6-4 6-2, her only recorded loss in the sample being to Elise Mertens at the US Open (6-2 7-6). Brantmeier's list covers Kraus 6-3 6-0, Voloshchuk 6-3 6-2, Bains 6-4 6-4, Erika Andreeva 6-3 7-6 and Johnson 6-3 6-4. Form reads 8W-2L against 7W-3L across samples of at most ten matches.
No meetings appear in the available data, and career coverage is unknown, so that is not proof of a first encounter.
Written and published before this match was played. Kept unedited, whatever the result — including when we got it wrong.