combine the strictness of the code with the malleability of human agreements

I believe Hive is a very good example of what you are saying. The code defines a lot but what is not defined has to be defined by compromise and I'm not really sure that it works that well :-)