用途：指导在 TypeScript 中正确使用 satisfies 运算符，并与类型注解（冒号）、as 断言做对比，解决“既要校验类型、又要保留精确推断”的场景。
核心概念：satisfies 校验表达式是否符合某类型，但不改变推断出的类型；类型注解（:）会把类型“加宽”。资料引用 Matt Pocock 的说法：用冒号时“类型胜过值”，用 satisfies 时“值胜过类型”。例如 const url1: RoutingPathname = "/products" 推断为宽联合类型，而 const url2 = "/products" satisfies RoutingPathname 保留字面量 '/products'。
主要能力：对象校验并保留属性字面量类型，如用 satisfies Record<Colors, string | RGB> 既能捕获拼写错误（如 bleu），又能让 palette2.green 推断为 string 从而调用 toUpperCase；配置对象、事件处理器映射、Record 穷尽检查等场景均可使用。
使用方式：需要精确类型且要校验时用 satisfies；需要后续用联合类型中不同值重新赋值时用冒号注解；as 是“对 TS 撒谎”的逃生舱，应少用；无注解让 TS 推断是最常见做法。常见组合 as const satisfies，兼顾不可变与校验。
限制：资料未提供安装命令、版本要求之外的平台或收费信息；satisfies 需 TypeScript 4.9 及以上（资料引用 4.9 发布说明）。