类型安全审查

审计 TypeScript/类型化代码以检查类型安全问题，识别滥用、缺失的类型保护以及使无效状态不可表示的机会。