用途：在 TypeScript 中构建可靠系统，采用代数数据类型（ADT）、可辨识联合、Option/Result 类型与品牌类型，让类型系统编码业务规则，把非法状态变为不可表示。
主要能力：可辨识联合建模“多选一”状态并做穷尽匹配；Option 显式处理“值可能缺失”；Result 显式处理可恢复错误，替代 try/catch；品牌类型加智能构造器防止单位混淆与非法值（如分/元、毫秒/秒、Email、UserId 与 OrderId）。提供穷尽检查函数 assertNever，未处理分支会编译报错。
典型场景：状态机（pending→settled→failed→reversed）、支付方式等互斥变体、配置解析、金融计算、领域模型与类型安全 ID。
使用方式：资料给出可粘贴的 Option、Result、assertNever、Brand 等辅助代码，可直接复制进项目；推荐开启 strictNullChecks、noImplicitReturns、strictFunctionTypes 等严格模式标志。迁移策略为先在新功能使用、改 bug 时逐步重构、优先金融计算与状态机等高风险区域。
限制：具体安装命令、依赖包、版本要求、性能数据、收费与价格暂未提供；示例代码仅作模式参考，需按项目调整。