"permission query algorithm" is passed a redundant argument

[annevk]

Since status holds a descriptor in [[query]], it's not clear to me why we're passing in a descriptor as well. It's rather confusing untangling this all.

[jyasskin]

The descriptor is input to the algorithm, and the status is the place to write its output. It's true that the algorithm could have pulled the descriptor out of the status, but I was trying to make things as easy as possible for other specs that were implementing this. I think I overestimated how many specs would actually want to override any of this.