It might be worth adding that with an approach such as this, it would be possible to meet AI software regulations, for example the EU AI Act and others now coming into force around the world. Other 'regulatory packs' could be obtained directly from the specification. Would AI generated code and no-code built systems be able to do that without much post-hoc activity? What do you think?