> 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.