Как безопасно проверить Jupyter Enterprise Gateway prohibited IDs: затронутые версии, обратимый тест, измеримые PASS/FAIL/Unknown и stop-rule по ghsa-chq7-94j8-cj28 без production-данных.
Определите границу проблемы в Jupyter Enterprise Gateway prohibited IDs
Отдельная пользовательская боль: особая строковая форма UID или GID обходит сравнение с запрещённым числом. Проверяемое правило: «идентификатор канонически разбирается один раз, проверяется по диапазону и запрещённому множеству». Не переносите severity записи на любую установку: сначала нужны точный artifact, runtime-mode и достижимость затронутого пути. Reviewed advisory ghsa-chq7-94j8-cj28 опубликована 2026-06-03, обновлена 2026-06-23; её summary — «Jupyter Enterprise Gateway: ContainerProcessProxy._enforce_prohibited_ids Bypass». Это подтверждает технический сигнал, но не эксплуатацию конкретной системы, не популярность запроса и не будущую индексацию страницы.
Сверьте версию, конфигурацию и достижимость
Зафиксируйте resolved dependency, provenance сборки и boundary «jupyter_enterprise_gateway >= 2.0.0rc1, < 3.3.0; first patched 3.3.0». Затем разнесите состояния: компонента нет; версия вне диапазона; функция выключена; путь недостижим; исправление backported; требуется fixture. Рабочая матрица именно для этой проверки: raw value / parse result / canonical ID / prohibited set / launch calls / verdict. Banner, имя transitive package или общий CVE-score сами по себе не доказывают применимость. Если version scheme форка не сопоставима с upstream либо происхождение сборки неизвестно, результат остаётся Unknown и запрещает категоричный вывод.
Выполните обратимый изолированный fixture
Безопасная процедура: unit-test передаёт decimal, leading-zero, whitespace и invalid synthetic values в policy function без запуска kernel. До запуска запишите ожидаемый invariant, размер тестовых данных, допустимые side effects и способ очистки. Добавьте positive control, который проходит нормальный путь компонента, и negative case, нарушающий только одну границу. Никаких production identifiers, секретов, внешних целей или персональных данных в fixture быть не должно. После каждого case удалите временное состояние и сравните counters: тест полезен только когда control доказывает исправность самого harness.
Примите решение по измеримым полям
Заполняйте артефакт без сырых логов: raw value / parse result / canonical ID / prohibited set / launch calls / verdict. PASS: все формы запрещённого ID отклонены до launch, обычный непривилегированный control разрешён. FAIL фиксируйте только если forbidden effect наблюдается в изоляции, версии и runtime-mode совпали, а оба controls дают ожидаемые результаты. Иначе используйте Inconclusive. Для повторяемости сохраните dependency resolution, hash fixture, имя теста, лимиты времени и памяти, а также итог PASS/FAIL/Unknown. Такой пакет помогает maintainer воспроизвести границу без раскрытия токенов, адресов и пользовательских данных.
Обновите компонент и соблюдайте stop-rule
Предпочтительное действие — использовать исправленную upstream-ветку, затем повторить тот же fixture и штатный control. Временное ограничение годится лишь когда разрывает описанный механизм, имеет владельца, срок действия и проверяемый rollback. Stop-rule: не запускать kernel и не использовать root namespace рабочей системы. В обращение к maintainer включите build/provenance, feature state, обезличенную матрицу, control result и прямые ссылки на reviewed record и upstream; не добавляйте эксплуатационные инструкции или данные реальной среды.
Соберите минимальный пакет по сценарию jupyter-prohibited-id-canonicalization
Для этой конкретной проверки зафиксируйте не общий отчёт о безопасности, а узкую причинную цепочку. Наблюдаемая боль: особая строковая форма UID или GID обходит сравнение с запрещённым числом. Ожидаемая защитная граница: идентификатор канонически разбирается один раз, проверяется по диапазону и запрещённому множеству. Тестовая операция: unit-test передаёт decimal, leading-zero, whitespace и invalid synthetic values в policy function без запуска kernel. Поля доказательства перечисляйте в заданном порядке — raw value / parse result / canonical ID / prohibited set / launch calls / verdict. Критерий приёмки сформулирован заранее: все формы запрещённого ID отклонены до launch, обычный непривилегированный control разрешён. Если хотя бы один обязательный field отсутствует, итог нельзя повышать из Unknown в PASS или FAIL. Отдельно запишите, почему штатный control относится к тому же parser, cache, policy или protocol path, а не к соседней функции. Это предотвращает ложный вывод по внешне похожему симптому. После удаления temp-state повторите один малый control: результат должен быть детерминированным и не оставлять фоновых задач, файлов или сетевых обращений. Граница остановки остаётся обязательной: не запускать kernel и не использовать root namespace рабочей системы.
Проверьте независимость вывода для Jupyter Enterprise Gateway prohibited IDs
Рецензент должен суметь ответить на пять вопросов именно об этом механизме. Первое: каким наблюдением доказано «особая строковая форма UID или GID обходит сравнение с запрещённым числом», а не соседняя неисправность. Второе: где в resolved build проходит граница «идентификатор канонически разбирается один раз, проверяется по диапазону и запрещённому множеству». Третье: почему операция «unit-test передаёт decimal, leading-zero, whitespace и invalid synthetic values в policy function без запуска kernel» обратима и не затрагивает внешнюю систему. Четвёртое: какие из полей «raw value / parse result / canonical ID / prohibited set / launch calls / verdict» получены измерением, а какие заранее заданы конфигурацией. Пятое: почему критерий «все формы запрещённого ID отклонены до launch, обычный непривилегированный control разрешён» одновременно проверяет отрицательный случай и штатный control. Сопоставьте ответы с исходной формулировкой advisory «Jupyter Enterprise Gateway: ContainerProcessProxy._enforce_prohibited_ids Bypass» и boundary «jupyter_enterprise_gateway >= 2.0.0rc1, < 3.3.0; first patched 3.3.0», не расширяя их смысл. Если источник говорит только о затронутой версии, не приписывайте ему локальную эксплуатацию; если fixture показывает ошибку, не называйте её массовой. Для этого сценария допустимы только PASS, FAIL или Unknown с датой, build provenance и hash теста. Любое противоречие возвращает карточку на проверку, а правило «не запускать kernel и не использовать root namespace рабочей системы» прекращает эксперимент до появления безопасной среды.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые источники, безопасный fixture, privacy-границы и отсутствие рекламных обещаний затем перепроверены.
Источники и проверка
- GitHub Reviewed Advisory ghsa-chq7-94j8-cj28 проверено 2026-08-31
- Прямой upstream-источник для Jupyter Enterprise Gateway prohibited IDs проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.