Безопасная проверка PyO3 PyCFunction closure по ghsa-chgr-c6px-7xpp: применимость, обратимый fixture, API variant / captured state / Send / Sync / Python build / compile result / runtime observation, PASS и stop-rule без production-данных.
Отделите симптом от предположения в PyO3 PyCFunction closure
Самостоятельная пользовательская боль: Rust-обёртка принимает замыкание как Send, но Python-callable может вызвать его параллельно без гарантии Sync. Механизм на проверяемом уровне: `PyCFunction::new_closure` создаёт callable, доступный разным Python-потокам; одной границы Send недостаточно для совместного обращения к захваченному состоянию. Поэтому рабочий invariant формулируется так: «каждое замыкание, превращаемое в многопоточный Python-callable, имеет Sync-bound или изолирует изменяемое состояние синхронизацией». Начните не с версии, а с границы доверия и наблюдаемого нарушения. GitHub Reviewed Advisory ghsa-chgr-c6px-7xpp опубликована 2026-06-12, обновлена 2026-06-12; её summary — «PyO3 has a missing `Sync` bound on `PyCFunction::new_closure` closures». Запись задаёт технический сигнал и package boundary «rust/pyo3 < 0.29.0; first patched 0.29.0», но сама по себе не доказывает наличие vulnerable path в fork, факт эксплуатации, пользовательский спрос, индексацию или влияние на позиции.
Постройте матрицу применимости до любого теста
Инвентаризация должна ответить на четыре независимых вопроса: присутствует ли PyO3 PyCFunction closure, попадает ли resolved dependency/build в «rust/pyo3 < 0.29.0; first patched 0.29.0», достижим ли описанный code path и не перенесён ли фикс отдельно. Запишите только package manager lock, component build, feature/config state и происхождение образа; не делайте вывод по одному banner. Основная таблица применимости: API variant / captured state / Send / Sync / Python build / compile result / runtime observation. Отдельно пометьте `not_present`, `version_outside`, `path_disabled`, `backport_confirmed`, `needs_fixture`. Если версия неизвестна, это `unknown`, а не affected. Если upstream boundary и локальная сборка используют разные schemes, остановитесь и восстановите SBOM/commit provenance вместо угадывания.
Выполните обратимый fixture с двумя controls
Изолированный сценарий: compile-fail тест с синтетическим `Cell<u64>` и compile-pass control с `AtomicU64`; затем отдельный runtime-test только на локальном free-threaded interpreter. Все идентификаторы фиктивны; fixture выполняется в памяти и удаляется после теста. Positive control: положительный control с immutable capture и отрицательный compile fixture с не-Sync состоянием. Negative case воспроизводит только нарушение invariant, без реальных секретов, чужих объектов, внешних targets и инструкций по эксплуатации. До запуска зафиксируйте expected calls/writes/bytes, после — сравните фактические счётчики и верните temporary state через rollback или уничтожение disposable context. Не повышайте риск ради реализма: доказательство должно находиться на unit/handler/converter/policy boundary, где причина видна без рабочей инфраструктуры.
Сведите наблюдения в decision matrix
Строка результата содержит: API variant / captured state / Send / Sync / Python build / compile result / runtime observation. PASS означает: не-Sync closure отклоняется компилятором, а Sync-control собирается без ослабления bounds. FAIL допустимо фиксировать только когда negative fixture проходит до запрещённого эффекта, а positive control подтверждает, что test harness работоспособен. `Inconclusive` ставьте при missing build provenance, недоступном feature path, неоднозначном backport или сломанном control. Не заменяйте причинный результат отсутствием ошибок в журнале. Для каждого решения приложите hash fixture, test name, dependency resolution и нулевые/ожидаемые side-effect counters; содержимое секретов и персональные поля исключите.
Выберите безопасное действие и критерий остановки
При подтверждённой применимости предпочтительно перейти на исправленную ветку из официального источника, повторить тот же fixture и проверить регрессию штатного control. Компенсирующая мера принимается только если она реально разрывает описанный mechanism и имеет owner/expiry; общие WAF, ACL или log alerts не считаются автоматическим исправлением. Жёсткая stop-rule: не запускать thread-race fixture в production-процессе и не подменять compile proof наблюдением под GIL. Эскалируйте maintainer/security owner, если нужен production trace, реальные credentials, внешний target, необратимая миграция или решение расходится с upstream advisory. Минимальный пакет поддержки: component/build, boundary decision, включённые features, обезличенная matrix, fixture hash, PASS/FAIL/Unknown, control result и ссылка на два прямых источника.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые источники, безопасный fixture, privacy-границы и отсутствие рекламных обещаний затем перепроверены.
Источники и проверка
- GitHub Reviewed Advisory ghsa-chgr-c6px-7xpp проверено 2026-08-31
- PyO3 release 0.29.0 проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.