Will Roger Pascual Ferra win his Round of 16 match vs Smith?

Why: Extracted condition: The contract resolves YES if Kalshi ticker KXATPMATCH-26JUL25PASSMI-PAS shows Official status = "finalized" with Official finalized result = "YES" by 05:20 UTC on 2026-08-09. Observed data (from supplied Kalshi state for that ticker): Official status: finalized; Official finalized result: YES. Comparison: both required fields match (status is "finalized" and finalized result is "YES"), and an earlier finalization satisfies the "by" deadline. Therefore the YES condition is met based on the supplied observation. Decisive evidence date: 2026-08-04 (date of the supplied observation).