I forgot to mention it in the blog post, but there are well defined measures of code coverage for software development. I'm not sure if the same concepts have made there way into legal analysis. I would like to see that any financial portfolio 'stress tests' require complete code coverage.

However, I seriously doubt whether the proposal will ever be enacted. There is just too much going against it. I do like that agent simulation is becoming wider known in the broader financial community as it finally gets us closer to acknowledging that financial instruments _are_ computation. And along with that association comes the tacit recognition that not everything is easily computable.

For a good introduction to the intersection of computability and economics, check out http://www.oxfordscholarship.com/oso/public/content/economic...