Когда runtime переходит в статический анализ

Рассматриваем эволюцию проверок на примере того, как vuex strict mode был выброшен из pinia и теперь реализуется на уровне статического анализа кода ( as const ) в pinia + ts.

В последнем примере в state были только простые ref. Разумеется, если есть вложенные объекты, то as const сработает только на первый уровень и нужно будет ещё слегка докрутить свой DeepReadolny тип.