Защитная проверка Coder OIDC по ghsa-9r87-mvcw-x35f: применимость, обратимый fixture для границы «строгая boolean-проверка email_verified и запрет email fallback при уже существующей иной subject-связи», измеримый результат и stop-rule без production-данных.
Докажите применимость к Coder OIDC
Для безопасного решения сначала зафиксируйте границы наблюдения. Для Coder OIDC и границы «строгая boolean-проверка email_verified и запрет email fallback при уже существующей иной subject-связи» внесите в карточку runtime-сборку, package source, хеш артефакта, активный feature/config path и роль, которая достигает функции. Reviewed Advisory фиксирует «github.com/coder/coder/v2 >= 2.34.0, < 2.34.2; first patched 2.34.2 | github.com/coder/coder/v2 >= 2.33.0, < 2.33.8; first patched 2.33.8 | github.com/coder/coder/v2 >= 2.30.0, < 2.32.7; first patched 2.32.7 | github.com/coder/coder/v2 < 2.29.17; first patched 2.29.17», публикацию 2026-07-06 и обновление 2026-07-06, но не служит доказательством наличие у вас уязвимого бинарника, реальную эксплуатацию или спрос. Именно reachability, а не громкость заголовка, определяет приоритет проверки. Если версия собрана из fork или vendor patch, зафиксируйте commit/patch provenance отдельно: одна строка semver не отвечает, присутствует ли исправление.
Зафиксируйте отдельный защитный контракт
Опишите проверяемый инвариант своими словами: allow возможен для boolean true и допустимого first-link; все неоднозначные типы и конфликт subject дают deny без изменения пользователя. Исходная пользовательская боль здесь конкретна — отсутствующий или строковый claim принимается как подтверждение, а совпадающий email может связать чужой IdP subject. Не смешивайте её с общими страницами про обновления, XSS, SSRF или отказ в обслуживании: механизм и ожидаемый ответ должны быть самостоятельными. До запуска укажите субъект, объект, доверенную границу, разрешённый побочный эффект и сигнал нарушения. Для этого материала артефакт решения — матрица claim-type / claim-value / existing-subject / email-match / decision / mutation-count. Он не содержит токены, IP, содержимое файлов или персональные данные; достаточно классов результата, счётчиков и digest тестового состояния.
Поставьте обратимый минимальный опыт
Создайте обратимый стенд: локальные claim maps: true, false, missing и string; две synthetic subject-связи и временное user store без настоящих JWT. Далее вызвать только claim normalization и account-link decision, затем проверить отсутствие mutation для каждого deny. Используйте минимальные синтетические значения, запрет внешней сети, отдельный temp root и normal-control, который проходит тот же код без пограничного условия. Перед опытом внесите в карточку digest fixture, версию и timeout, после — digest состояния и cleanup result. Не переносите пример на production и не увеличивайте нагрузку ради наглядности. Когда этот узел нельзя подменить или изолировать, ограничьтесь статической проверкой patch/release и отложите runtime-подтверждение.
Сведите наблюдения в матрицу решения
Итог определяйте по заранее заданному правилу, а не по впечатлению от лога. Защитный исход: allow возможен для boolean true и допустимого first-link; все неоднозначные типы и конфликт subject дают deny без изменения пользователя. В каждой строке для ряда в «матрица claim-type / claim-value / existing-subject / email-match / decision / mutation-count» зафиксируйте expected и observed, а также точную стадию отказа: parse, validate, authorize, allocate, open, mutate или cleanup. Ошибка до опасного действия и ошибка после него — разные результаты. Normal-control обязан доказать, что тест не сломан целиком. Повторите fixture не менее двух раз только в пределах локального бюджета: одинаковый result class важнее длинного stdout.
Остановитесь при первом выходе за границу
Примените stop-rule без торга: остановиться до реального IdP, подписанного пользовательского токена или изменения аккаунта; неясный claim трактовать как false. Дополнительные красные флаги — изменение объекта вне temp, неожиданный сетевой вызов, рост памяти, privilege prompt, необратимая запись, расхождение digest или отсутствие normal-control. Если обнаружен хотя бы один флаге завершите процесс, зафиксируйте лишь обезличенную матрицу и верните стенд к исходному состоянию. Не публикуйте payload, реальные конфиги и подробности чужой системы. Severity не разрешает расширять тест: цель — подтвердить защитный контракт с минимальным воздействием.
Передайте поддержке минимальный пакет
Для владельца компонента подготовьте короткий пакет: ghsa-9r87-mvcw-x35f, Coder OIDC, installed/build version, upstream commit, применимый диапазон «github.com/coder/coder/v2 >= 2.34.0, < 2.34.2; first patched 2.34.2 | github.com/coder/coder/v2 >= 2.33.0, < 2.33.8; first patched 2.33.8 | github.com/coder/coder/v2 >= 2.30.0, < 2.32.7; first patched 2.32.7 | github.com/coder/coder/v2 < 2.29.17; first patched 2.29.17», описание fixture без чувствительных значений, матрица claim-type / claim-value / existing-subject / email-match / decision / mutation-count, normal-control, stop-rule, cleanup proof и ссылки на advisory/upstream. Отдельно отметьте unknown: reachability, vendor backport, runtime configuration и наличие compensating control. Решение может быть только одним из трёх: not-applicable с доказательством, update/test по утверждённому окну или blocked до безопасного стенда. Так поддержка получает минимальные данные для воспроизведения, а публичный материал не гарантирует индексацию, позиции, универсальную защищённость или результат на чужой инфраструктуре.
Свяжите исправление с механизмом Coder OIDC
Для Coder OIDC свяжите исправление именно с механизмом «строгая boolean-проверка email_verified и запрет email fallback при уже существующей иной subject-связи», а не только с номером релиза. В changelog или diff найдите изменение, которое делает истинным результат «allow возможен для boolean true и допустимого first-link; все неоднозначные типы и конфликт subject дают deny без изменения пользователя», и сопоставьте его с диапазоном «github.com/coder/coder/v2 >= 2.34.0, < 2.34.2; first patched 2.34.2 | github.com/coder/coder/v2 >= 2.33.0, < 2.33.8; first patched 2.33.8 | github.com/coder/coder/v2 >= 2.30.0, < 2.32.7; first patched 2.32.7 | github.com/coder/coder/v2 < 2.29.17; first patched 2.29.17». Далее повторите fixture «локальные claim maps: true, false, missing и string; две synthetic subject-связи и временное user store без настоящих JWT» на текущем и кандидатном артефакте в одинаковой изоляции; сравнивайте «матрица claim-type / claim-value / existing-subject / email-match / decision / mutation-count», а не произвольные строки лога. Если vendor backport меняет номер версии, зафиксируйте commit/diff provenance и сборочный digest. План возврата должен восстанавливать предыдущий тестовый артефакт, но не возвращать production к заведомо сомнительной версии. Критерий приёмки для этой отдельной боли — allow возможен для boolean true и допустимого first-link; все неоднозначные типы и конфликт subject дают deny без изменения пользователя; критерий прекращения — остановиться до реального IdP, подписанного пользовательского токена или изменения аккаунта; неясный claim трактовать как false. Пока оба критерия не доказаны, статус обозначьте blocked или unknown, не подменяя результат предположением.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые ссылки, безопасный опыт, privacy-ограничения и отсутствие рекламных обещаний затем перепроверены по первичным источникам.
Источники и проверка
- GitHub Reviewed Advisory ghsa-9r87-mvcw-x35f проверено 2026-08-31
- Upstream-репозиторий Coder OIDC проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.