@darius @cwebber AFAICT, yes absolutely.

as an example, i'm writing a system for portable encrypted storage -- one of the major components the Spritely whitepaper outlines but doesn't specify -- as a set of five behaviors, or capabilities. these capabilities can be provides by subroutines on your machine, on other machines, on other planets... but for the sake of my program, i need only prove it in one case (all on my machine) because all the rest are abstractions upon that case.