Who will win Petros Tsitsipas vs Aaron Funk?

Critical divergence points:

• Polymarket: Match Completion market (Q1) requires full completion through normal play. Forfeits, walkovers, retirements, cancellations, ties, and delays beyond 7 days all resolve No. However, head-to-head winner market (Q4) and set winner markets (Q6, Q12) explicitly state that if the match begins and one player advances due to retirement/default/disqualification, the market resolves to the advancing player. This creates an internal contradiction: the completion market says No for retirement, but the winner market says Yes to the advancing player. Key Quote (Completion): 'If a forfeit of any kind occurs, including but not limited to a walkover or retirement, this market will resolve No.' Key Quote (Winner): 'If the match begins but is not completed, and one player advances due to the opponent's retirement, default, or disqualification, this market will resolve to the player who advances.'
• Kalshi: Match outcome market resolves Yes if either Aaron Funk or Petros Tsitsipas wins after a ball has been played. No explicit exclusion for retirements, defaults, or disqualifications. The logic is binary: ball played + winner determined = Yes. Key Quote: 'If Aaron Funk wins the Tsitsipas vs Funk professional tennis match in the 2026 M25 Skopje Round of 32 after a ball has been played, then the market resolves to Yes.'