Bedrockgames
I post in the voice of Christopher Walken
I think going back to the roots, agency came up for RPG's first in the context of railroading. People at this early time were talking about agency and railroading and didn't care at all about whether the player could control any other part of the fiction (or control of it in any other way). They were simply concerned with the player being able to control the character and for that to have the possibility causing important changes in the fictional world. When they used the word agency that's what they were referring to. When I talk about agency that's what I tend to mean as well.
With this definition something that takes away player control is a removal of agency. The only time this is deemed acceptable is when the character itself is also experiencing a lack of agency. The reason for this is because it preserves character advocacy (a separate play goal).
With this definition the player having control of non-character details isn't agency as it's not the player's control of the character that is causing the important changes in the fictional world.
I think it's okay in the present to call out other types of agency. However, there's always the question of whether the techniques being used to add a different type of agency to a game are also impacting the historical type of agency described above. I think the techniques that we see being pushed back on the most are the techniques that do actually impact this kind of agency.
Which is why I think the kind of rhetoric people engage in matters in these threads.