用途：对服务端 TypeScript 代码进行函数式领域建模原则的代码审查。流程为读取变更文件、按检查项逐条扫描、发现违规时附上原则与理由指出、非违规但有改进空间时作为建议提出。
主要检查项：1) 领域实体与值对象是否使用 class，建议改为可辨识联合 + 伴生对象；外部库要求 class 继承属正当例外。2) 类型定义内函数是否用方法记法，建议改为函数属性记法，因方法记法参数类型为双变，依赖注入时窄类型实现可能通过类型检查。3) 领域类型是否用 interface，建议用 type，因声明合并会隐式改变类型形状；库类型扩展需 interface 属正当用途。4) 是否存在 as 类型断言，外部数据应使用 Zod 解析，Branded Type 生成函数内的 as 是唯一例外。5) 领域层是否 throw，建议改用 Result 类型；assertNever 内的 throw 与基础设施层意外故障可接受。6) 可辨识联合的 switch 是否含 default: return assertNever(x)。7) API 处理器、数据库结果转换、配置文件读取等外部边界是否有 Zod 校验。8) 姓名、邮箱、电话、诊断信息等 PII 字段是否用 Sensitive<T> 包装，尤其关注可能被日志输出的对象。
指摘写法：包含问题所在的具体代码位置、违反的原则与风险、修正案代码示例。重要度：as 断言、PII 未保护、外部边界校验不足为 High；class 使用、throw 使用、assertNever 不足为 Medium；方法记法、interface 使用为 Low。
限制：资料未提供安装命令、运行方式、平台与收费信息。