Практическая защитная инструкция по JSONata и GHSA-66mm-25pp-rfff: как подтвердить версию 2.2.1, выполнить изолированный обратимый тест, распознать корректный отказ, вовремя остановиться и передать владельцу минимальные данные без активного payload.
Граница применимости JSONata
Важнее всего отделить номер пакета от фактически активной функции. GitHub Reviewed Advisory GHSA-66mm-25pp-rfff указывает пакет «jsonata», затронутую область «версии от 2.0.0 до 2.2.0» и исправленную границу «2.2.1». Техническая проблема сформулирована узко: crafted expression мог пересечь ожидаемую границу свойств объекта и его prototype. Сначала устанавливают, присутствует ли именно этот компонент в lockfile, image или установленном runtime и вызывается ли описанный путь. Если package отсутствует, результат — not-applicable. Если он найден, но активность функции не доказана, результат — affected-unverified. Если исправленный номер виден только в manifest, а процесс не перезапущен или загружает другой artifact, результат — patched-unverified. Backport дистрибутива оценивают по его changelog и фактическому patch, а не по сравнению строк версий. Дата публикации 21 августа 2026 года делает повторную проверку своевременной, но не доказывает затронутость конкретной системы, распространённость проблемы или поисковый спрос.
Предметный инвентарь перед изменением JSONata
До установки обновления фиксируют только сведения, нужные для этой границы: версия npm package, expression sources, registered functions, input object construction, evaluator timeout, output schema и prototype policy. Для каждого поля допустимы fact, not-applicable или unknown; пустую строку нельзя трактовать как безопасное состояние. Отдельно сохраняют dependency snapshot, digest артефакта, baseline health, владелец шага и точный порядок возврата. Если исходная проверка уже падает, обновление не смешивают с прежним инцидентом: сначала восстанавливают baseline, затем повторяют инвентаризацию. В журнале оставляют время, version, correlation marker и класс результата. Значения cookies, credentials, содержимое пользовательских объектов, сетевые адреса, абсолютные домашние пути и полные stack traces в пакет редакции не включают. Такой инвентарь позволяет отличить неактивную dependency, смешанную выкладку, неверный configuration scope и настоящую регрессию именно JSONata.
Обратимая проверка исправления JSONata
Проверку выполняют после установки 2.2.1 в изолированной среде: в unit-тесте вычислить обычный доступ к own property и инертный запрос к inherited marker на null-prototype object, без dynamic function и внешних эффектов. До запуска записывают три шага A-B-A2: штатный случай, один безопасный отрицательный marker и повтор штатного случая. Задают малый time budget, resource ceiling и единственного владельца остановки. Ожидаемый результат известен заранее: own property возвращается, inherited marker недоступен, input prototype не меняется, output содержит только разрешённые keys, evaluator завершается в budget. Между A, B и A2 не меняют одновременно package, permissions, network, proxy, storage и соседние services. Отрицательный marker должен быть синтетическим, не содержать активного exploit payload и не пересекать доверительную границу. Проверка не обращается к чужим системам и не использует реальные данные. Если наблюдается только общий timeout, crash, 500 или потеря readiness, результат — failed-safe-check либо unknown, но не passed. После теста обязательно выполняют cleanup и повтор baseline.
Матрица результата для JSONata
В строке решения хранят artifact digest, применимость функции, результат A, результат B, повтор A2, health после cleanup и доказательство выбранной версии. Статус passed-bounded-check допустим только если одновременно верно: own property возвращается, inherited marker недоступен, input prototype не меняется, output содержит только разрешённые keys, evaluator завершается в budget. Контролируемый отказ должен иметь конкретный validation, authorization, bounds или policy class. Пустой ответ, необъяснимый exception, зависание, рост очереди, изменение соседнего объекта или необходимость ручной правки означают fail. При mixed versions матрицу делят по процессам или images; усреднять их нельзя. Unknown сохраняют честно, если хотя бы одна колонка не подтверждена. Такая форма не превращает один синтетический тест в обещание общей безопасности: она подтверждает только заявленную границу GHSA-66mm-25pp-rfff, в указанной версии и конфигурации, в момент проверки.
Стоп-линия, возврат и пакет для JSONata
Жёсткая стоп-линия этой инструкции: нужно dynamic code, пользовательское production-expression, registered side-effect function, сетевой доступ или снятие timeout. При первом совпадении тест прекращают, не расширяя input, права или нагрузку. Запланированный возврат выполняют так: удалить expression fixtures, восстановить evaluator registry стенда, повторить baseline own-property test и сравнить prototype descriptors. Возврат считается завершённым только после повторного baseline, нулевого diff вне стендового объекта и закрытия временных sessions или handles. Для владельца готовят минимальный набор: jsonata version, input construction mode, expression class без текста, result keys, prototype descriptors, duration bucket и cleanup result. К нему прикладывают две прямые ссылки ниже, время проверки, ожидаемый и фактический исходы. Advisory не копируют целиком; персональные данные, секреты, рабочие payload и подробности чужой инфраструктуры исключают. Финальный статус выбирают из not-applicable, update-required, patched-unverified, passed-bounded-check, failed-safe-check или unknown. Он не обещает индексацию, позиции или отсутствие других дефектов.
Развилка после отрицательного случая JSONata
После safe-negative case у JSONata возможны четыре ветки. Ветка P: выполнено «own property возвращается, inherited marker недоступен, input prototype не меняется, output содержит только разрешённые keys, evaluator завершается в budget» — фиксируется passed-bounded-check и сразу запускается «удалить expression fixtures, восстановить evaluator registry стенда, повторить baseline own-property test и сравнить prototype descriptors». Ветка V: версия не доказана — проверяют artifact inventory «версия npm package, expression sources, registered functions, input object construction, evaluator timeout, output schema и prototype policy», но не повторяют вход. Ветка E: контролируемый отказ отсутствует — ставят failed-safe-check и передают «jsonata version, input construction mode, expression class без текста, result keys, prototype descriptors, duration bucket и cleanup result». Ветка C: затронут соседний объект или health — работа немедленно прекращается по условию «нужно dynamic code, пользовательское production-expression, registered side-effect function, сетевой доступ или снятие timeout». Повтор допустим только после восстановления исходного состояния и письменного объяснения первого отклонения. Такая развилка не позволяет «додавить» тест дополнительной нагрузкой. Она сохраняет маленький радиус воздействия и делает отрицательный результат столь же полезным, как успешный.
Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным, первичным и исследовательским источникам; факты, даты, версии и ссылки перепроверены. Реальные пользовательские данные, активные опасные payload и вымышленные результаты тестов не использовались.
Источники и проверка
- GitHub Advisory Database GHSA-66mm-25pp-rfff по JSONata проверено 2026-08-30
- Исправляющий pull request JSONata 799 проверено 2026-08-30
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.