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

A bunch of people have written compatible implementations from the spec, which is the RFC world's general sanity test.