[sureIy]

> I don't want TypeScript to be a runtime checker

I do.

If the types are internally consistent, then they don't need runtime validation, it'd just be extra code to download and run.

If you accept external data, you may already opt in using something like Zod. I don't see why conflate the two things just because their quacks echo the same.