用途：分析代码中的类型系统弱点，产出具体的改造前后对比，帮助强化 TypeScript 类型安全。适用于审查或创建类型与接口、重构领域模型前后、以及类型安全重要的代码评审；当用户要求“强化类型”“提升类型安全”或“查找类型问题”时使用。
主要能力：按优先级扫描七类问题——不可能状态（用可辨识联合替代仅在某些状态有效的可选字段）、信任边界违规（用类型化接口替代返回 Record<string, unknown> 或 any 的映射器）、未校验的数据流（用显式 join 行类型与运行时守卫替代 as any 与非空断言）、ID 的原始类型偏执（仅在参数易被互换处使用 branded types）、重复的内联类型（提取共享类型）、缺失的 API 契约（用命名 DTO 接口替代匿名返回类型）、始终存在的可选字段（去掉多余的 ?）。每条发现输出类别、问题、位置 file:line、Before、After 与工作量（低/中/高）。
使用方式与测试建议：测试映射器行为（输入行到输出形状、默认值、边界情况）；不要用 expectTypeOf 测试；可用 @ts-expect-error 验证非法形状被拒绝；在信任边界用运行时守卫（if (!field) throw）替代 ! 断言。
限制与常见错误：不要给所有字符串加 branded ID，只标记易互换的实体 ID；两状态布尔不必用可辨识联合，仅用于 3 种以上状态或相关可选字段；不要把数据库行类型直接等同于 TS 领域模型，应单独定义 DTO 并显式映射；不要把所有字段设为必填，以免破坏增量构造；避免在信任边界使用非空断言。具体安装命令与平台支持暂未提供。