Will Flavio Cobolli beat Fils in the Cincinnati ATP semifinal?

Warum: Extracted condition: Kalshi market KXATPMATCH-26AUG22COBFIL-COB ('Flavio Cobolli wins — Flavio Cobolli') must be marked 'finalized' on Kalshi and Kalshi's final recorded outcome for that ticker must be YES to resolve this contract to YES. Target: Kalshi's official finalized outcome for ticker KXATPMATCH-26AUG22COBFIL-COB. Observations from supplied data: Official status = finalized; Official finalized result = NO. Comparison: The market is finalized but the official finalized result is NOT YES (it is NO), so under the market rule this contract resolves to NO. The supplied data contains no date for the finalization, so decisiveEvidenceDate is null.