As for the Israeli public at large being informed about these attacks and knowing precisely when they would occur, it would seem they were as astonished as anyone. Whomever made these short trades on Oct 2nd were likely only a handful of informed parties. That's the component of this I'd love to know. Could the SEC determine where these trades originated and were they within a Pro-Hamas country like Lebanon, Iran or... Saudi Arabia? Or did it originate within the intelligence community, acting in bad faith?
Now, I know of no reason why Hamas, Iran, or Russian sources that knew something was about to go off, would not have tried to profit from that (through proxies of one sort or another). But this doesn't quite seem unusual enough to act on. If this kind of spike triggered an alarm, it would have gone off a couple times in the previous 52 weeks alone, and any alarm that has that many false positives will get ignored eventually.
All of it combined lends itself to algorithmic early detection systems. The general public should have this security. Not a sure thing, but neither is meteorology.