"A military operation is being planned" is very different from "Maduro will be kidnapped in the next x hours".
"Pentagon planning a military operation" is not exactly classified information as it is safe to assume that Pentagon is always planning a military operation.
> "A military operation is being planned" is very different from "Maduro will be kidnapped in the next x hours".
IIRC, the bet was on "Nicolas Maduro out?":
> If Nicolás Maduro leaves office before February 1, 2026, then the market resolves to Yes.
So the bet wasn't specifically "Nicolas Maduro kidnapped?" or even "Nicolas Maduro out by January 3rd?" And IIRC there was a lot of Trump saber rattling about Venezuela in the days before, hence the creation of the bet. I could absolutely see a plausible way to link these publicly-available pieces of information into a winning bet:
* Trump talking tough about Venezuela
* Spike in DC pizza activity on January 2nd
Yes, it seems in this case an adversary who was paying attention could have learned something very, very valuable.