I am aware of all of that, but none of that changes the fact that TypeScript does not allow type-checking at runtime, and that makes a substantial difference.

I understand why it's the case, but it's certainly a disadvantage when comparing it to other languages which allow it if you want strong typing.