Изменяемые значения по умолчанию, такие как список, сохраняются между вызовами функции. Поэтому второй вызов продолжает использовать уже существующий список.

Каждый вызов counter() создаёт своё независимое замыкание. c1() увеличивает своё локальное count, а c2() создаёт новое. nonlocal даёт доступ к count внутри increment(), сохраняя его между вызовами.

__eq__ переопределён, но __hash__ нет, поэтому объекты считаются разными в set, несмотря на сравнение через value. В множестве два элемента — ответ 2.