Vuex - Pinia эволюция. Как runtime проверки переезжают в статический анализ

Рассматриваем эволюцию проверок на примере того, как vuex strict mode был выброшен из pinia и теперь реализуется на уровне статического анализа кода ( as const ) в pinia ts. А скоро курсы по typescript - и vue typescript - P.S. В последнем примере в state были только простые ref. Разумеется, если есть вложенные объекты, то as const сработает только на первый уровень и нужно будет ещё слегка докрутить deepReadolny.