>И Meltdown и Spectre трудно заткнуть без полноценного механизма проверки прав при спекулятивном выполнении.

В этом нет никакой проблемы. Это проверяется и код не выполняется - два раза. Один раз потому, что нельзя, а другой раз потому, что и не надо. :)
Проблема в том, что для того, чтобы это все понять, процессору надо загрузить операцию со всеми операндами.
А как только операнды загружены, то можно попытаться их угадать, зная что кеш быстрее памяти.
Делать же кеш только для одного потока - деньги на ветер. Да и так на полный разбор адреса не хотят  тратится, мол накладно. А тут еще на каждую операцию храни  и проверяй всю подноготную.
Ну максимум как у красных - пару бит, чтоб проверить какое кольцо грузило.