What do you mean by “the current resource of kind k”? In which context would a transaction function query “current resources”? Are you thinking about, for example, a time-carrier resource as discussed here Time Constraints in Resource Logics - #7 by cwgoes)?
Maybe examples could help me to understand the context. (I tried to look at the nspec repo to read more about the context but I didn’t find the right place. Can someone maybe point me to the relevant pages?)
My intuition is that queries run by controller/block proposers post-ordering must be fast.
Can these queries fail/return nothing so that the transaction becomes invalid? If this is the case, what happens with the transaction and all other, ordered transactions?