> all that matters is that the properties of the system are validated
I don’t think this is possible in practice without leaning on the stability of the code base.