Защитная диагностика NLTK RecursiveDescentParser по ghsa-ff5c-cp5c-9wjf: применимость, безопасный локальный control, измеримый verdict, stop-rule и минимальный пакет данных владельцу системы.
Короткий ответ — NLTK: бюджет работы для RecursiveDescentParser
Задача страницы — проверить bounded work и отмену NLTK RecursiveDescentParser на неоднозначной grammar. Advisory ghsa-ff5c-cp5c-9wjf служит свежим inventory-сигналом, но не доказывает состояние конкретной установки. Сначала зафиксируйте фактически загруженный компонент NLTK RecursiveDescentParser, lock-файл, image digest или сборочный provenance и границу «PyPI nltk: introduced 0, fixed 3.10.3». Пользовательская боль здесь одна: неоднозначная или left-recursive grammar может заставить top-down parser выполнять неограниченное число шагов. Итогом должен стать артефакт «grammar class / tokens / steps / duration / cancellation verdict», чтобы другой инженер повторил решение без production-данных, внешнего воздействия и догадок.
Граница применимости: NLTK RecursiveDescentParser
Разложите проверку на переходы «grammar preflight → token budget → parse steps → cancellation → partial-result policy». Для каждого перехода укажите владельца значения, допустимое состояние и запрещённый side effect. Проверяемая инварианта: число шагов и время ограничены до начала внешней работы, а отмена освобождает parser state. NOT_APPLICABLE допустим только при доказанном отсутствии NLTK RecursiveDescentParser или недостижимости указанной ветки. Неизвестные effective version, runtime digest либо конфигурация дают UNKNOWN; номер релиза без runtime readback не даёт PASS.
Почему одной версии недостаточно
SBOM, package manager, container digest и реально импортированный модуль отвечают на разные вопросы. Сведите их в одну provenance-строку и сопоставьте с границей «PyPI nltk: introduced 0, fixed 3.10.3». Затем подтвердите effective путь «grammar preflight → token budget → parse steps → cancellation → partial-result policy»: vendored копия, optional adapter, отдельный worker или старый runtime способны изменить применимость. Фиксируйте AFFECTED_PATH, PATCHED_PATH, COMPONENT_ABSENT либо PROVENANCE_UNKNOWN. Успешный health-check сам по себе не подтверждает правило «число шагов и время ограничены до начала внешней работы, а отмена освобождает parser state».
Безопасный обратимый control
Работайте только в disposable fixture: использовать крошечную synthetic grammar и очень малый deterministic step budget в отдельном процессе. Сеть, subprocess, production database, реальные аккаунты, bucket, очереди, письма, токены и пользовательские файлы замените fake, spy или in-memory адаптерами. Перед запуском сохраните baseline hash, нулевые counters, лимит времени, памяти и числа операций. Используйте короткие синтетические маркеры без эксплуатационного payload. После каждой строки возвращайте fixture к исходному состоянию.
Матрица наблюдений
Сначала benign control доказывает достижение целевой функции NLTK RecursiveDescentParser. Затем boundary-case меняет ровно один признак, связанный с болью «неоднозначная или left-recursive grammar может заставить top-down parser выполнять неограниченное число шагов». Для каждой строки записывайте «grammar class / tokens / steps / duration / cancellation verdict», reason code, duration, counters и digest fixture. Основная инварианта остаётся: число шагов и время ограничены до начала внешней работы, а отмена освобождает parser state. Недостижимая ветка, пропущенный side effect или двусмысленная точка наблюдения означают UNKNOWN, а не удобный PASS.
PASS, FAIL, UNKNOWN и stop-rule
PASS требует подтверждённого provenance, успешного benign control, соблюдения инварианты «число шагов и время ограничены до начала внешней работы, а отмена освобождает parser state», нулевых запрещённых side effects и cleanup proof. FAIL — тот же подтверждённый путь плюс измеримое нарушение policy. UNKNOWN означает отсутствие digest, effective config, recorder или возможности восстановить fixture. Немедленная красная линия: step counter превысил бюджет, отмена не завершилась или процесс не освобождён. При ней прекратите тест, сохраните минимальные метаданные и не увеличивайте вход или нагрузку.
Восстановление и regression check
Удалите disposable state, верните adapters к baseline и сравните hashes, counters, память и открытые ресурсы. Неожиданный I/O, сетевой вызов, новый процесс, строка БД или оставшийся файл блокирует PASS. После обновления повторите тот же fixture без изменения входов и лимитов; сравните «grammar class / tokens / steps / duration / cancellation verdict». Так видно, изменился ли защищаемый переход «grammar preflight → token budget → parse steps → cancellation → partial-result policy», а не окружение, объём данных или инструмент наблюдения.
Самостоятельная ценность и пакет владельцу
Даёт bounded-work contract для конкретного recursive descent engine вместо общего ограничения длины текста или CPU процесса. Поэтому материал отвечает на самостоятельный запрос «проверить bounded work и отмену NLTK RecursiveDescentParser на неоднозначной grammar» и не является механической заменой бренда, ОС или устройства. Передайте владельцу ghsa-ff5c-cp5c-9wjf, component digest, effective version/config, границу «PyPI nltk: introduced 0, fixed 3.10.3», схему «grammar preflight → token budget → parse steps → cancellation → partial-result policy», control/boundary rows, артефакт «grammar class / tokens / steps / duration / cancellation verdict», verdict, stop reason и cleanup proof. Advisory опубликована 2026-09-02 и обновлена 2026-09-02; это подтверждает свежесть источника, но не популярность запроса, эксплуатацию или применимость к конкретному deployment.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; даты, версии и ссылки сверены по GitHub Advisory Database и первичному upstream-материалу. Текст самостоятельный, не копирует источники, не содержит эксплуатационных последовательностей и предназначен для безопасной локальной проверки.
Источники и проверка
- GitHub Advisory Database — ghsa-ff5c-cp5c-9wjf проверено 2026-09-03
- Первичный upstream-материал — NLTK RecursiveDescentParser проверено 2026-09-03
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.