What is the game spread between Brandon Nakashima and Jan-Lennard Struff?

Critical divergence points:

• Kalshi: Three separate markets, each with a game differential threshold (1.5, 4.5, 7.5 games in Nakashima's favor). Resolution is binary Yes/No based solely on final game count across all sets, independent of match outcome. Key Quote: 'If the game differential in favor of Brandon Nakashima across the full match is above [threshold] games...then the market resolves to Yes.'
• Limitless: Binary winner market resolving to the player name of the official match winner. Accepts all forms of player advancement including walkover, retirement, withdrawal, default, or disqualification. Key Quote: 'A player officially declared the winner of the match will be considered to have defeated the opponent, including in cases of walkover, retirement, withdrawal, default, or disqualification.'
• Polymarket (Completed Match): Binary Yes/No market on match completion through normal play only. Resolves No if match is forfeited, involves walkover, retirement, default, disqualification, cancellation, tie, or delayed beyond 7 days without winner. Key Quote: 'This market will resolve to Yes if all games and sets required to determine a match winner under governing body or event organizer rules are played to completion through normal play. Otherwise...it will resolve to No.'
• Polymarket (Winner) & Predict: Player name resolution with 50-50 tie-break for walkovers, cancellations, ties, or delays beyond 7 days. If match begins and one player advances via retirement/default/disqualification, resolves to advancing player. Key Quote: 'If the match ends in a walkover (player withdraws before the start and the other advances automatically), this market will resolve to 50-50.'