Как безопасно проверить Strawberry GraphQL: alias limit считает fragment expansion: точная версия, reachability, обратимый fixture, измеримые PASS/FAIL/Unknown и stop-rule без production-данных.
Граница проблемы: Strawberry GraphQL: alias limit считает fragment expansion
Самостоятельная пользовательская боль: один fragment с aliases распространяется много раз и фактические resolver calls превышают статический alias count. Защитное правило для проверки сформулировано заранее: «как безопасно проверить что cost alias budget применяется к expanded reachable selection graph с memoization и cycle guard в strawberry maxaliaseslimiter без production данных». GitHub Reviewed Advisory ghsa-fr49-mhgj-crfc описывает: «Strawberry GraphQL's Bypass of MaxAliasesLimiter via Fragment Spreads leading to GraphQL Alias Amplification»; запись опубликована 2026-06-04 и обновлена 2026-06-09. Эти сведения подтверждают технический сигнал и upstream-контекст, но не доказывают наличие затронутой версии, достижимость пути, эксплуатацию конкретной системы или популярность запроса. Поэтому итог по локальной среде начинается как Unknown и меняется только после inventory, reachability и изолированного теста.
Сверьте версии и достижимость для strawberry-graphql-alias-fragment-expansion-budget
Проверка начинается с точной версии, runtime-mode и включённого surface. Boundary из reviewed record и прямого upstream-источника: «pip/strawberry-graphql >= 0.172.0, <= 0.315.6; first patched 0.315.7». Разнесите состояния в таблице: компонента нет; версия вне диапазона; исправление backported; функция выключена; путь недостижим; provenance неясен; нужен fixture. Рабочий набор полей именно для этой темы: static aliases, fragment spreads, expanded aliases, budget, resolver calls, validation. Banner, lockfile без resolved tree или совпадение имени пакета не являются доказательством. Если схема версий форка не сопоставима с upstream, оставьте Unknown и запросите build provenance вместо категоричного PASS.
Обратимый тест без production-данных: static aliases
Безопасный fixture: schema с recording resolver выполняет маленькие documents: repeated fragment spreads, nested fragments и simple alias control. До запуска запишите expected invariant, лимиты времени и памяти, допустимые side effects и способ полной очистки. Добавьте положительный control для штатного пути и отрицательный case, который меняет только одну проверяемую границу. Используйте фиктивные identifiers и временное состояние; токены, реальные адреса, пользовательские данные, рабочие конфиги и внешние цели исключены. После каждого case удалите temp-state и повторите малый control: он подтверждает, что отказ относится к механизму, а не к сломанному harness.
Зафиксируйте доказательство по полям validation
Артефакт проверки хранит только минимизированные поля: static aliases, fragment spreads, expanded aliases, budget, resolver calls, validation. Для каждого поля отметьте источник: configuration, измерение, parser output или решение policy. Критерий PASS определён до запуска: amplified query rejected до execution, resolver calls=0; boundary control проходит. FAIL допустим только если запрещённый эффект наблюдается в изоляции, boundary и runtime-mode совпали, а оба controls дают ожидаемый результат. Во всех остальных случаях ставьте Unknown или Inconclusive. Не прикладывайте сырые логи: достаточно hash fixture, версии, обезличенной матрицы, результата controls и времени проверки.
Проверьте причинность вывода о как безопасно проверить что cost alias budget применяется к expanded reachable selection g
Рецензент должен связать наблюдение «один fragment с aliases распространяется много раз и фактические resolver calls превышают статический alias count» с конкретной границей «как безопасно проверить что cost alias budget применяется к expanded reachable selection graph с memoization и cycle guard в strawberry maxaliaseslimiter без production данных», а не с похожим внешним симптомом. Попросите показать, где в resolved build применяется boundary «pip/strawberry-graphql >= 0.172.0, <= 0.315.6; first patched 0.315.7», почему операция «schema с recording resolver выполняет маленькие documents: repeated fragment spreads, nested fragments и simple alias control» обратима и какие значения static aliases, fragment spreads, expanded aliases, budget, resolver calls, validation получены измерением. Затем отдельно объясните, почему результат «amplified query rejected до execution, resolver calls=0; boundary control проходит» проверяет и отказ, и штатный control. Если хотя бы одно звено отсутствует, вывод возвращается в Unknown; severity advisory нельзя переносить на локальную установку автоматически.
Особенность механизма strawberry-graphql-alias-fragment-expansion-budget
Статический подсчёт alias недостаточен, если один fragment разворачивается многократно. Validator должен учитывать expanded aliases до resolver execution и применять единый budget к nested spreads. Recording resolver остаётся с нулём вызовов для amplified document; boundary control проходит. Используйте маленькие детерминированные документы: latency и нагрузка live GraphQL ничего не добавляют к доказательству этой границы.
Обновление, повторная проверка и граница остановки
Предпочтительное действие — перейти на исправленную upstream-ветку из boundary «pip/strawberry-graphql >= 0.172.0, <= 0.315.6; first patched 0.315.7», затем повторить тот же fixture и штатный control. Временная мера допустима только если разрывает описанный механизм, имеет владельца, срок действия, наблюдаемый сигнал и проверяемый rollback. Обязательный stop-rule: не отправлять нагрузочные GraphQL запросы серверу и не измерять лимит по latency production.. При его срабатывании эксперимент прекращают, не расширяя доступ и не повышая нагрузку. В обращение к maintainer включите provenance, feature state, матрицу полей и ссылки на reviewed advisory и прямой upstream-источник; эксплуатационные инструкции и данные реальной среды исключите.
Минимальный пакет для поддержки по strawberry-graphql-alias-fragment-expansion-budget
Соберите короткую причинную карточку: боль — «один fragment с aliases распространяется много раз и фактические resolver calls превышают статический alias count»; invariant — «как безопасно проверить что cost alias budget применяется к expanded reachable selection graph с memoization и cycle guard в strawberry maxaliaseslimiter без production данных»; версия — «pip/strawberry-graphql >= 0.172.0, <= 0.315.6; first patched 0.315.7»; операция — «schema с recording resolver выполняет маленькие documents: repeated fragment spreads, nested fragments и simple alias control»; поля — static aliases, fragment spreads, expanded aliases, budget, resolver calls, validation; PASS — «amplified query rejected до execution, resolver calls=0; boundary control проходит». Добавьте hash теста, результат positive/negative controls, cleanup result и причину, по которой тест не касается внешней системы. Не включайте IP, токены, реальные имена, ключи, содержимое документов или полные логи. Если direct source подтверждает только release context, так и укажите: он не является доказательством локальной уязвимости. Граница остановки остаётся неизменной: не отправлять нагрузочные GraphQL запросы серверу и не измерять лимит по latency production..
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые источники, безопасный fixture, privacy-границы и отсутствие рекламных обещаний затем перепроверены.
Источники и проверка
- GitHub Reviewed Advisory ghsa-fr49-mhgj-crfc проверено 2026-08-31
- Прямой upstream-источник для Strawberry GraphQL: alias limit считает fragment expansion проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.