This seems complicated, but my impression is it would mean:
a) a super-smart compiler that can anticipate lots of flaws and fence them or turn on restrictive modes (maybe V8 is this smart?)
b) you have to turn off more speculation than you wanted to, and it hits performance
SMAP looks cool, seems like same origin policy for pages, but this is more Meltdown than Spectre right?