Практическая проверка Python 3.15 RC1: как найти cell variables через symtable Function.get_cells и Symbol.is_cell в Python 3.15 статическим анализом. Изолированный fixture, отрицательный контроль, таблица наблюдений, критерий остановки и безопасный пакет для поддержки.
Граница изменения: как проверить closure cells через symtable без выполнения
Python 3.15 добавляет symtable.Function.get_cells() и symtable.Symbol.is_cell(); gh-143504 фиксирует отсутствие публичного способа увидеть CELL status. Это подтверждает интерфейс Python 3.15 RC1, но не наличие проблемы в вашем проекте. Практический риск здесь конкретный: Поиск free variables только во внутренней функции не показывает, какие локальные внешней функции реально превращаются в cells. Выполнение непроверенного файла ради inspect может иметь побочные эффекты. Перед опытом запишите версию Python, одну наблюдаемую величину и ожидаемую ветку. RC1 остаётся предварительным выпуском: установите его в отдельный virtual environment или контейнер, не поверх рабочего interpreter. Не переносите в стенд production-конфиги, реальные адреса, tokens, полные environment dumps и пользовательские данные.
Обратимый стенд для gh-143504
Рекомендуемый минимальный опыт: Передайте symtable() строку с outer, inner, локальной переменной, параметром, global и nonlocal. Не выполняйте compile-result. Обойдите таблицы по именам, сохраните get_cells внешней функции и predicates каждого Symbol. Все входы должны быть синтетическими, короткими и воспроизводимыми. Каждый вариант получает новый объект, файл или процесс, если cache и global state способны изменить наблюдение. Ограничьте время, размер временных файлов и число повторов заранее; cleanup выполняйте в finally и удаляйте только созданный temp-root. Один запуск показывает конкретный результат, но не частоту проблемы и не готовность всего приложения к миграции.
Контроль и таблица наблюдений
Собирайте строки «table | symbol | is_local | is_free | is_nonlocal | is_cell | входит в get_cells». Добавьте локальную переменную, которую inner не использует: она не должна стать cell. Отдельный global служит контролем, чтобы analyzer не маркировал все referenced names одинаково. Порядок baseline, target, fresh baseline помогает увидеть загрязнение стенда. Пустое поле не равно нулю, отсутствие исключения не подтверждает правильный результат, а изменение двух независимых параметров сразу лишает опыт диагностической силы. Если повторы расходятся, сохраните все строки и пометьте результат unstable, не выбирая самый удобный прогон.
Зелёный критерий и стоп-линия
Passed допустим только если Только захваченные локальные outer отмечены как cells, free/nonlocal роли inner согласованы, а анализ не импортирует и не выполняет исходный код. Статус not reproduced означает лишь отсутствие симптома на этом fixture; blocked — нехватку capability или источника; failed control возвращает проверку к стенду. Стоп-линия: Не превращайте новый predicate в автоматический refactor: dynamic exec, decorators и generated source требуют отдельной проверки результата на AST и runtime tests. Нельзя получать зелёный результат broad except, отключением защиты, увеличением лимита до исчезновения ошибки или повторением до случайного успеха. Любая новая гипотеза получает отдельную строку, а не добавляется задним числом в объяснение уже выполненного опыта.
Минимальный пакет для поддержки
Передайте maintainer только одна синтетическая source-строка, дерево symtable и таблица predicates без файлов проекта и пользовательского кода. Добавьте московский timestamp, точную версию 3.15.0rc1, команды воспроизведения и заранее заданный зелёный критерий. Удалите usernames, hostnames, IP, абсолютные домашние пути, токены, cookies, содержимое рабочих файлов и лишние строки журналов. Официальные и первичные источники подтверждают gh-143504 и change boundary, но не подтверждают результат вашего опыта, массовость боли, будущую индексацию или позиции страницы. Такой пакет позволяет повторить одну ветку без раскрытия данных и без смешения соседних причин.
Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным и первичным источникам; факты, даты и ссылки перепроверены. Реальные пользовательские данные и вымышленные результаты тестов не использовались.
Источники и проверка
- What’s New in Python 3.15 проверено 2026-08-30
- CPython gh-143504 — public symtable CELL status проверено 2026-08-30
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.