Oh, you definitely need something like io-ts, runtypes, zod, there's a few more, to do runtime validation of data.

Zod I think is quite popular.

Typescript isn't perfect (sound?) So you can still get errors even if things type check, but if you are disciplined using those libraries instead of `as`, the problems are minimal.