К обсуждениям

Arc cluster: fail-closed при пустом shared_secret

Редакция VOne Технологии

Защитная диагностика Arc cluster по GHSA-p378-jp5r-gpgw: version inventory, обратимый fixture, PASS/FAIL/Unknown, stop-rule и минимальный пакет доказательств без production-данных.

Что именно проверяет карточка Arc cluster

Здесь не проводится общий аудит продукта и не пересказывается чужая публикация. Проверяется одна граница: узел может присоединиться к кластеру без аутентификации, если shared_secret не задан. Advisory GHSA-p378-jp5r-gpgw формулирует upstream-сигнал как «arc has unauthenticated cluster node admission when `cluster.shared_secret` is unset» и задаёт version inventory «github.com/basekick-labs/arc: < 0.0.0-20260615160325-38402ad2ebdd; первая исправленная версия: 0.0.0-20260615160325-38402ad2ebdd». Само совпадение версии означает только affected_candidate. Оно не подтверждает достижимость пути, наличие инцидента или ущерба. Для not_present нужен runtime/SBOM, для outside_range — resolved dependency, для patched_or_backported — release либо commit и повторяемый regression result. Если связать работающий artifact с revision нельзя, честный ответ — Unknown. Уникальная модель наблюдения для этой карточки связывает гарантию «отсутствующая обязательная cluster secret должна запрещать запуск admission path, а не переключать его в открытый режим» с действием «локальные disposable-ноды проверяют три состояния: secret совпал, secret неверен и настройка отсутствует; разрешены только loopback-адреса». Она считается полной только вместе с колонками «config state | handshake result | node registered | log reason | verdict» и отдельным аварийным условием «регистрация при отсутствующей настройке, внешний listener или появление секрета в диагностике». Эти пять элементов образуют самостоятельную проверку именно Arc cluster, а не заменяемый шаблон для соседнего продукта.

Дерево решения по версии и функции Arc cluster

Соберите package manager, lock-файл, digest образа или бинарника, feature flag и фактическую точку вызова. Сначала установите, присутствует ли github.com/basekick-labs/arc в runtime, а не только в исходном manifest. Затем сравните доказанную версию с границей «github.com/basekick-labs/arc: < 0.0.0-20260615160325-38402ad2ebdd; первая исправленная версия: 0.0.0-20260615160325-38402ad2ebdd». Ветка not_present завершает проверку без запуска fixture; outside_range требует сохранённого вывода inventory; affected_candidate переходит к изолированному тесту; patched_or_backported требует ссылки на исправление и его test evidence. Не подменяйте эти состояния одним HTTP 200, названием контейнера, датой сборки или отсутствием жалоб.

Обратимый fixture для механизма GHSA-p378-jp5r-gpgw

Целевая гарантия сформулирована так: отсутствующая обязательная cluster secret должна запрещать запуск admission path, а не переключать его в открытый режим. Проверка: локальные disposable-ноды проверяют три состояния: secret совпал, secret неверен и настройка отсутствует; разрешены только loopback-адреса. Среда должна быть одноразовой, без production snapshot, персональных данных, токенов и открытого исходящего доступа. До boundary-case выполните benign control, чтобы доказать достижимость нужной ветки. Заранее установите таймаут, лимит CPU/RSS, разрешённое дерево temp и сетевой allowlist loopback. После каждого шага прочитайте состояние обратно и удалите созданные объекты. Не используйте опубликованные exploit payload или реальные идентификаторы.

Как заполнить таблицу «config state | handshake result | node registered | log reason | verdict»

Записывайте по одной строке на benign control и boundary-case: config state | handshake result | node registered | log reason | verdict. PASS означает, что control дошёл до нужной функции, граничный случай был управляемо отклонён, состояние и side effects не изменились. FAIL допустим только при работающем control и наблюдаемом нарушении заявленной гарантии. Unknown обязателен при недоказанной версии, недостижимой ветке, неполной телеметрии, раннем срабатывании limiter или неоднозначном readback. Такая матрица отделяет наблюдение от догадки и позволяет другому инженеру повторить проверку без доступа к исходной среде.

Исправление и безопасная последовательность rollout

Если получен affected_candidate или воспроизводимый FAIL, выберите поддерживаемую upstream-ветку с исправлением; ориентир inventory: github.com/basekick-labs/arc: < 0.0.0-20260615160325-38402ad2ebdd; первая исправленная версия: 0.0.0-20260615160325-38402ad2ebdd. Сначала сохраните lock/digest и fixture, затем измените только компонент, повторите benign и boundary cases, проверьте readback и лишь потом переходите к canary. Не смешивайте обновление с заменой proxy, прав, storage и формата данных: это разрушает причинность. Защитный фильтр может быть временной мерой, но не заменяет исправление. Stop-rule этого материала: регистрация при отсутствующей настройке, внешний listener или появление секрета в диагностике. При его срабатывании тест немедленно прекращается, артефакты изолируются, production не меняется.

Пакет доказательств для владельца Arc cluster

В handoff включите GHSA-p378-jp5r-gpgw, границу «github.com/basekick-labs/arc: < 0.0.0-20260615160325-38402ad2ebdd; первая исправленная версия: 0.0.0-20260615160325-38402ad2ebdd», artifact digest, source revision, feature state, hash fixture, лимиты, результаты control и boundary-case, одну строку из таблицы «config state | handshake result | node registered | log reason | verdict», итог PASS/FAIL/Unknown и точную причину Unknown. Добавьте ссылки на GitHub Advisory Database и upstream advisory/fix, но не копируйте длинные фрагменты. Отдельной строкой укажите, что проверялась боль «узел может присоединиться к кластеру без аутентификации, если shared_secret не задан», а не весь продукт. Уберите hostname, IP, usernames, cookies, tokens, конфиги и содержимое пользовательских объектов. Так evidence остаётся минимальным, проверяемым и пригодным для повторного решения. Для машиночитаемого журнала используйте независимые ключи `arc-cluster-shared-secret-failclosed-check-inventory-proof`, `arc-cluster-shared-secret-failclosed-check-benign-control`, `arc-cluster-shared-secret-failclosed-check-boundary-observation`, `arc-cluster-shared-secret-failclosed-check-state-readback`, `arc-cluster-shared-secret-failclosed-check-sideeffect-diff`, `arc-cluster-shared-secret-failclosed-check-stop-trigger`, `arc-cluster-shared-secret-failclosed-check-final-verdict` и `arc-cluster-shared-secret-failclosed-check-cleanup-proof`. Они не должны содержать значения секретов; это только имена полей, позволяющие не спутать доказательства этой проверки с соседними карточками.

Материал подготовлен редакцией VOne с помощью ИИ; даты, версии, первичные источники, обратимый fixture, stop-rule, privacy-ограничения и отсутствие рекламных обещаний перепроверены человеком.

Источники и проверка

Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.

Ответы

0 опубликовано
Ответов пока нет. Вы можете начать обсуждение.

Ваш ответ

Добавьте свой опыт или уточнение по теме.

Вы публикуете как Аноним Аватар отличает разговоры, но не раскрывает личные данные.

Ответ появится сразу. Не публикуйте личные данные, ключи и приватные ссылки.