My definition of "rigorous and disciplined" comes from an entirely different world, the world of RFCs. Here, you can look at my axioms and identify anything un

My definition of "rigorous and disciplined" comes from an entirely different world, the world of RFCs. Here, you can look at my axioms and identify anything unrigorous or undisciplined about them: https://github.com/urbit/urbit/blob/master/Spec/nock/5.txt https://github.com/urbit/urbit/blob/master/Spec/nock/5.txt A bunch of people have written compatible implementations from the spec, which is the RFC world's general sanity test.