>я могу проверить валидность границ и применимости математики где-то очень сильно за пределами тугого цикла. Не нагибая тугой цикл 100500 проверок и условий в обязаловку, вместо этого вынеся гарантии в сторону, просчитав worst case отдельно.

не путайте понятия корректности и оптимальности. Выше вы предлагали не проверять флаги переполнения при сложении это относится к корректности, а щас пишите про оптимальность. Корректность предшествует оптимальность. Алгоритм должен сначала быть корректным, а потом уже оптимальным, а оптимальность уже это необходимое и достаточное условие, чтобы алгоритм оставался корректным.