[YorkshireSeason]

> rigidly regulated mechanisms for knowledge procurement and knowledge dissemination available to us.

Exactly.

And the DSL in which science should be written as much as possible in order to make scientific results as reproducible as possible (which includes spelling out as many underlying assumptions as possible) is called mathematics, which in recent years has been improved into formal mathematics that is mechanically checkable through (interactive and automatic) proof assistants. This 2.5k year old human endeavour of improving science has not yet finished. The next big milestone, which I expect to see completed before the year 2200, is to finish the mechanisation of all existing mathematics.