Despite Tim's comment, this is not the result of "non-standard" policy languages. In fact, it's the result of truly expressive policy languages.

i am less sure of that. tim's metarouting algebras do not seem to lack expressiveness. they just allow us to define policy languages that do not let us express stupid things.

Any language that forces all of us to make globally consistent choices is not going to mandate aligned policies, which is going to necessarily result in deeply restricted systems.

i am not sure global consistency requires global homogeneity. it is more likely to require some visibility/transparency which maybe the folk doing partial-reveal crypto have a leg on. but, interesting as this is, i fear we have drifted a bit afield from describing hacks to allow us more control of what moves from our ears to our ribs and then what fibs we tell. randy