An annotation like const colors: Record<Medal, string> checks the value, then forgets everything more specific about it. Two tools fix that: as const and satisfies.