proxied method depending on unproxied one

[Moved to ark-dev; it's Dark Semantic Corners (Deep Magic),
and you can freely ignore...]  Matt wrote:

> BTW, could you clear one thing up for me....If:
> 
> You invoke a method 'A' that is once-per="site" or
> once-per="host-supported", which depends on a method 'B'
> which is once-per="host".
> 
> How do you calculate which hosts on which 'B' must be run
> to satisfy the dependency? Do you expand the protohost
> 'ALL' (in the case of 'A' being once-per="site"), or the
> protohost eg. sparc-solaris2.6 (in the case of 'A' being
> once-per="host-supported"). Or alternatively do you just
> look at the hosts in play? Or is it a subtraction of the
> two sets?

I *think* I see a way out of this one...

We stumble along to method 'A' for host 'foo'.  In order to
"get at" the code for 'A', we must satisfy the dependency on
'B' -- still just for host 'foo'.  Imagine that happens.

We only now find out that the code for 'A' is
once-per="site" and the proxy-host we choose to use is
proxy_for == 'ALL'.

We can now re-check the constraint(s) we just sneaked past
with all the real hosts inheriting from ALL.

Once that's done, we can run the code for 'A'.

Anyone care to argue :-)?  (I am genuinely worried about
constraint semantics.)

Will