用途：审查服务端 TypeScript 代码是否遵循函数式领域建模原则，检查项与 functional-ts 技能的知识库一一对应。
主要能力：按原则顺序走查清单，覆盖六类内容。类型驱动建模：判别联合、统一判别字段 kind、伴生对象模式、用 type 而非 interface、函数属性写法、Branded Type、Readonly、一文件一概念。状态转换：转换函数是否用具体源状态约束参数、switch 是否有 assertNever。错误处理：领域层是否 throw、错误类型是否为判别联合、是否用 Result 链而非嵌套分支。边界防御：外部边界是否有 schema 校验、是否滥用 as 断言、PII 字段是否用 Sensitive<T>。声明式风格：数组操作是否声明式、领域事件是否不可变记录。测试数据：fixture 是否用 as const satisfies Type。
使用方式：先读取 ../functional-ts/SKILL.md 及 error-handling.md、boundary-defense.md、state-modeling.md，并按 package.json 选择对应的校验库指南（zod/valibot/arktype）与 Result 库指南（neverthrow/byethrow/fp-ts/option-t）；再阅读待审代码，按清单顺序检查，发现违规时给出原则、原因与修复示例，非违规但有改进空间则作为建议。
适用场景：服务端 TypeScript 项目的代码评审，尤其是采用函数式领域建模的代码库。
限制：仅针对服务端 TypeScript；依赖 functional-ts 知识库文件；严重程度分级为高/中/低，具体判定标准以资料所述为准，其他细节暂未提供。