Yes, we could call this “maintaining plausible provability”. Code for which there is not even a toehold for an imagined proof might be worth cordoning off from

Yes, we could call this “maintaining plausible provability”. Code for which there is not even a toehold for an imagined proof might be worth cordoning off from better code.