It's highly likely the Polymarket for June 19-20 resolving to "No" was a direct result of no strikes happening on those dates, and I'd put that probability around 95% given the clear rules. We're also seeing similar resolutions for other speculative events, like the "Will the Fed cut rates in July?" market, which closed "No" before the actual August announcement, reinforcing that these windows are indeed quite final.