"Don't be snarky."

"Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith."

"Eschew flamebait. Avoid generic tangents."

https://news.ycombinator.com/newsguidelines.html

Correct. That would not be an invasion because it is pretty obvious that extraction raids are not invasions.

Open to running the experiment!

Ultimately, "invasion" is one of those terms that gets used for rhetorical effect more than a concrete claim about the world. If you think the US "invaded" Venezuela, and I think it's better to say they "attacked" Venezuela and "kidnapped" the president, we're not normally going to get into an argument about it - we'll just each use the terms that make sense to us, since we clearly agree about the facts of the terrible thing that happened. But Polymarket has to force the dumb semantic argument because they have to resolve the prediction one way or another. (One of the reasons to be skeptical of prediction markets as applied to geopolitics.)

That would start a war / be an act of war, but probably not an invasion no.

That's just a rescue op, bro.