I understand that. You cannot make this work, because in the case of pure software isolation, any instruction can theoretically be used to snoop on any other in

I understand that. You cannot make this work, because in the case of pure software isolation, any instruction can theoretically be used to snoop on any other instruction. That means speculation can theoretically be detectable if it speeds up anything.