В какой момент можно определить, что скобочная последовательность уже некорректна?

Определение

Раннее обнаружение некорректности — это способность алгоритма завершиться до конца строки, как только становится ясно, что корректного результата быть не может.

Инвариант проверки

Перед тем как формулировать условия ошибки, полезно держать в голове правило:
в стеке всегда лежат только незакрытые открывающие скобки в правильном порядке.

Ситуации, когда можно сразу вернуть False

1. Закрывающая скобка при пустом стеке

   1. Пример: ")..."

   2. Причина: нечего закрывать

2. Тип закрывающей скобки не совпадает с последней открывающей

   1. Пример: "([)]" при встрече ) последняя открытая — [

   2. Причина: нарушена вложенность

Пример кода с ранним выходом

def is_valid(s: str) -> bool:
    stack = []
    pairs = {')': '(', ']': '[', '}': '{'}

    for ch in s:
        if ch in pairs.values():
            stack.append(ch)
        elif ch in pairs:
            if not stack:
                return False
            if stack.pop() != pairs[ch]:
                return False

    return not stack

Отдельный момент: ошибка, которую видно только в конце

Даже если ранних ошибок не было, строка некорректна, если остались незакрытые скобки.

• Пример: "(()"

• После прохода стек не пуст → False

Краткий вывод

Некорректность часто определяется “на лету” при обработке закрывающих скобок, а финальная проверка — пустой ли стек — закрывает случаи незавершённого закрытия.