satisfies、类型注解与 as const 在配置对象建模中分别解决什么问题

核心结论：类型注解、satisfies 与 as const 不是三种可以随意互换的写法。类型注解用于规定变量对外呈现的类型，可能使属性被拓宽；satisfies 用于检查表达式是否满足目标约束，同时尽量保留表达式自身的具体类型；as const 则阻止字面量拓宽，并把对象属性和数组元素推导为只读。配置对象既需要结构校验，又需要保留键名或字面量值时，通常优先考虑 satisfies，必要时再局部配合 as const。

底层机制上，类型注解会为表达式提供上下文类型，并把变量的可观察类型固定为注解类型。例如把路由表直接注解为 Record<string, Route> 后，具体路由键可能退化为普通的 `s