I bet you could construct a hard proof that any kind of speculation is insecure in the sense that it cannot be proven secure. If that's not true, then someone'

I bet you could construct a hard proof that any kind of speculation is insecure in the sense that it cannot be proven secure. If that's not true, then someone's going to figure out exactly how to set bounds on safe speculation and that will become part of future CPU designs.