用途：在阅读或编写 TypeScript、JavaScript 文件（.ts、.tsx、.js、tsconfig.json）时使用，主要覆盖语言特定的惯用法（idioms），类型、错误与断言的总体法则遵循 code-law。
主要能力：一是让非法状态不可表示（Make Illegal States Unrepresentable），用类型系统在编译期阻止无效状态，例如用可辨识联合表示互斥状态、用品牌类型（branded types）区分领域原始类型、用 as const 保持数组与字面量联合同步、用 never 检查实现穷尽 switch。二是用 Zod 做运行时校验：以 schema 作为唯一事实来源并用 z.infer<> 推导 TypeScript 类型，避免重复定义；用户输入预期会失败时用 safeParse，信任边界上无效数据属于缺陷时用 parse；用 .extend()、.pick()、.omit()、.merge() 组合 schema，用 .transform() 在解析时做数据规范化（如 trim 字符串、解析日期）。三是限制作用域：当只有某个 scope 可以执行某效果时，其函数不导出，只导出执行该效果的 scope，借助 scope 单独创建的品牌能力使越界调用成为类型错误，并用 ESLint 自带的 no-restricted-imports 规则维护模块边界。四是测试替身：在替身自己模块的 vi.fn() 上使用 toHaveBeenCalledWith / toHaveBeenNthCalledWith 只能断言调用序列而非结果，应在网络边缘用 msw 打桩，并断言调用方收到的值。此外可选使用 type-fest 获得 TypeScript 内置类型之外的高级工具类型，如 Opaque、PartialDeep、ReadonlyDeep、SetRequired / SetOptional、Simplify。
使用方式与限制：技能正文包含若干代码示例（可辨识联合、品牌类型、const 断言、穷尽检查、Zod schema、类型导入等），应保持代码原样；zod、type-fest、msw、ESLint 等依赖的具体安装命令、版本与配置方式资料未提供。文档未说明适用平台、是否收费或价格。