Micah Sweet
Level Up & OSR Enthusiast
That definition is considerably more narrow than others. It actively closes off options for "what is agency" that would otherwise be open. And it presents that definition as if it should be obvious they are correct.In that case, perhaps you share my frustration at people complaining about how the OP has characterised player agency, as if it was a less reasonable characterisation than the one they are putting forward.
That frustrates people.