I think 3 and 4 are frauds on others in the prediction market agreement. As in, it’s fraud against the terms of the market.

The problem is "insider trading" has a definition and acting based on knowledge of government secrets isn't what it is.