The record of prediction market resolutions has always been about what happens in a specific time frame, not what comes later. It's like saying if your train is late on Monday, that retroactively caused the bus to be on time last Friday; it just doesn't make sense. The playbook dictates that the lack of military action on June 19th and 20th itself caused those markets to resolve 'No', not something that occurred two days later. You wouldn't say the bakery ran out of bread today because they baked extra yesterday.