Agency is just a nominative dignpost for saying that we can't say for certain what somebody's motives are given dome physical measures. That the outcome of a probability function with them as an agent is not deterministic in nature.

In that sense, HAL absolutely has agency. As certain as you to me.