Will NVIDIA be the largest company in the world by market cap on July 31?

Warum: Extracted condition: This market resolves YES if Polymarket.com's official resolution for the mirrored Polymarket market 'Will NVIDIA be the largest company in the world by market cap on July 31?' is YES. (Fallback in rule: if Polymarket does not publish an official resolution for that mirrored market by 2026-08-02T23:59:00+00:00, this market would resolve NO.) Observed evidence (from supplied Polymarket data): the mirrored Polymarket market 'Will NVIDIA be the largest company in the world by market cap on July 31?' has resolution status: resolved, closed: yes, outcome prices: Yes=1, No=0 — i.e., Polymarket's official outcome = YES. Comparison: Polymarket's official resolution is YES, so under the primary clause of the rule this market resolves YES.