用途：该技能聚焦 TypeScript 6.0+ 类型系统特性，用于构建类型安全 API、复杂领域模型、类型推断与编译期保证，不覆盖基础语法、框架专属模式与运行时校验（运行时校验建议另用 Zod）。
主要能力：条件类型做类型选择；映射类型做系统性对象类型变换；类型守卫（value is Type）在运行时检查并收窄类型；可辨识联合实现带穷尽检查的类型安全状态机；品牌类型防止原始类型混用；优先用 unknown 而非 any。
必要用法与约束：必须开启 strict 模式（tsconfig.json 中 "strict": true）；用 unknown 代替 any；尽量用类型守卫替代类型断言。应当：联合与工具类型用 type，对象形状用 interface；类型保持可组合且浅层；不可变数据标 readonly；用品牌类型防止原始类型混用；采用 TypeScript 7 原生版前先处理 6.0 弃用项。避免：使用 any、未经校验的类型断言、滥用泛型、深层类型嵌套、导入断言（assert { type: ... }），改用 import attributes。
适用场景：类型安全 API 路由与路由 schema，可与 next、fastify 配合，并与 zod 联动做运行时校验加类型推断。假定环境：package.json 的 typescript 主版本对应 @typescript/typescript6 ^6；6.0 是最后一个基于 JavaScript 的编译器，7.0 为 Go 原生，@typescript/native 可能和 tsc 并存但不属本技能主版本；目标 ES2020+。6.0 中弃用的选项可暂用 "ignoreDeprecations": "6.0" 忽略直至 7.0 移除，建议优先修复弃用项。具体价格、平台与效果资料中暂未提供。