[dmitriid]

> Instead we should fix the backdoors so that code can be reasonable "law".

There never will be. For the absolute vast majority of people, programmers included, these "contracts" will be a yet another blackbox.

Moreover, it already is a blackbox even to the people who develop them, because they can't find errors in their own software and APIs.