Will Rinko Matsuda beat Lan in the W15 Tianjin Round of 32?

Warum: Extracted condition: Kalshi ticker KXITFWMATCH-26AUG18MATLAN-MAT must be shown by Kalshi as status "finalized" with an explicit final outcome of YES (Kalshi records Rinko Matsuda as the match winner after a ball has been played). Target: that exact Kalshi ticker's final status/result. Observed data (from supplied Kalshi ticker block): Official status: finalized. Official finalized result: YES. Kalshi's secondary rules state that pre-match cancellations/walkovers finalize to $0.50 (not YES), so the ticker finalizing to YES is consistent with a played match and Kalshi recording Rinko Matsuda as the winner. Comparison: official status == finalized AND official finalized result == YES -> condition satisfied. Conclusion: YES.