Formal Abstract Design Tools by Doug Church. 2014.
A classic gamedev article that talks about intention and perceivable consequence, which are both arguably aspects of agency and worth distinguishing from one another.
Intention is the player making a plan to accomplish something; perceivable consequence is the game world reacting in some way to being prodded.