Нет ничего страшнее иметь разное поведение кода в разработке и проде)
Не совсем, есть концепты DbC и если при разработке соблюдать все инвариантные требования и предусловия к коду, то гарантируется, что постпроверки будут тоже верны
Не совсем, есть концепты DbC и если при разработке соблюдать все инвариантные требования и предусловия к коду, то гарантируется, что постпроверки будут тоже верны
DbC это клево, но тут конкретно штуки покрываются типами