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

OpenChoreo: граница данных в шаблоне workflow

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

Защитная диагностика OpenChoreo Workflow Plane templates по ghsa-2mw5-23gm-pccq: применимость, обратимый локальный control, измеримый verdict, stop-rule и пакет данных для владельца системы.

Короткий ответ — OpenChoreo: граница данных в шаблоне workflow

Задача страницы — проверить без запуска процессов, что данные workflow OpenChoreo не меняют структуру команды привилегированного runner. Advisory ghsa-2mw5-23gm-pccq служит свежим inventory-сигналом, но не доказывает состояние конкретной установки. Зафиксируйте фактически загруженный OpenChoreo Workflow Plane templates, lock-файл или image digest и границу «github.com/openchoreo/openchoreo: introduced 0, fixed 1.0.4; github.com/openchoreo/openchoreo: introduced 1.1.0, fixed 1.1.4; github.com/openchoreo/openchoreo: introduced 1.2.0-rc.1, fixed 1.2.0-rc.2». Пользовательская боль здесь одна: поле workflow может превратиться из данных в часть команды внутри привилегированного pod. Итогом должен стать артефакт «input class / rendered argv / executable / command count / side-effect count», чтобы другой инженер повторил решение без production-данных, внешнего воздействия и догадок.

Граница применимости для OpenChoreo Workflow Plane templates

Разберите путь решения как «workflow input → template renderer → argv builder → privileged runner». Для каждого перехода укажите владельца значения, тип входа, допустимое состояние и запрещённый side effect. Проверяемая инварианта: неподтверждённое значение остаётся отдельным аргументом и не меняет executable, число команд или операторную структуру. NOT_APPLICABLE возможен только при доказанном отсутствии компонента или недостижимости указанной ветки; неизвестный digest, effective config или способ вызова дают UNKNOWN. Номер исправленного релиза без runtime readback не превращает результат в PASS.

Почему проверки версии недостаточно

Lock-файл, SBOM, container digest и вывод package manager отвечают на разные вопросы. Сведите их в одну строку provenance и сопоставьте с advisory-границей «github.com/openchoreo/openchoreo: introduced 0, fixed 1.0.4; github.com/openchoreo/openchoreo: introduced 1.1.0, fixed 1.1.4; github.com/openchoreo/openchoreo: introduced 1.2.0-rc.1, fixed 1.2.0-rc.2». Затем докажите effective путь «workflow input → template renderer → argv builder → privileged runner»: vendored копия, optional dependency, отдельный worker или отключённый adapter могут изменить применимость. Фиксируйте AFFECTED_PATH, PATCHED_PATH, COMPONENT_ABSENT либо PROVENANCE_UNKNOWN. Отсутствие инцидента и успешный health-check не подтверждают инварианту «неподтверждённое значение остаётся отдельным аргументом и не меняет executable, число команд или операторную структуру».

Безопасный обратимый локальный control

Работайте только в disposable fixture: отрендерить синтетический workflow в spy-executor без subprocess и сравнить argv с фиксированной схемой. Сеть, subprocess, production database, реальные bucket, очереди, почту, токены и пользовательские файлы замените fake, spy или in-memory адаптерами. До запуска сохраните baseline hash, нулевые counters, лимит времени, памяти и числа операций. Используйте короткие синтетические маркеры без эксплуатационного payload. После каждой строки восстанавливайте fixture и убеждайтесь, что benign control начинается с того же baseline.

Матрица наблюдений

Сначала benign control доказывает достижение целевой функции. Затем boundary-case меняет ровно один признак, связанный с болью «поле workflow может превратиться из данных в часть команды внутри привилегированного pod». Записывайте «input class / rendered argv / executable / command count / side-effect count», reason code, duration, counters до и после и digest fixture. Основная инварианта остаётся: неподтверждённое значение остаётся отдельным аргументом и не меняет executable, число команд или операторную структуру. Если control не достигает ветки, recorder пропустил side effect или точка наблюдения двусмысленна, ставьте UNKNOWN. Нельзя усиливать вход ради определённого ответа: безопасная воспроизводимость важнее красивого PASS.

PASS, FAIL, UNKNOWN и критерий остановки

PASS требует подтверждённого provenance, успешного benign control, соблюдения инварианты «неподтверждённое значение остаётся отдельным аргументом и не меняет executable, число команд или операторную структуру», нулевых запрещённых side effects и cleanup proof. FAIL — тот же подтверждённый путь плюс наблюдаемое нарушение policy. UNKNOWN означает отсутствие digest, effective config, recorder или возможности восстановить fixture. Немедленная красная линия: spy зафиксировал запуск реального процесса либо изменение executable. При ней прекратите тест, сохраните только минимальные метаданные и не повторяйте boundary-case на большем масштабе.

Восстановление и regression check

Удалите disposable state, верните adapters к baseline и сравните hashes, counters, память и открытые ресурсы. Неожиданный I/O, сетевой вызов, процесс, новая строка БД или оставшийся файл блокирует PASS. После обновления повторите тот же fixture без изменения входов и лимитов; сравните «input class / rendered argv / executable / command count / side-effect count». Так видно, изменился ли защищаемый переход «workflow input → template renderer → argv builder → privileged runner», а не окружение, объём данных или наблюдатель.

Почему intent самостоятельный и что передать владельцу

Отделяет безопасность шаблонного рендеринга от общей защиты кластера: проверяется переход данных в argv до runner. Поэтому материал отвечает на самостоятельный запрос «проверить без запуска процессов, что данные workflow OpenChoreo не меняют структуру команды привилегированного runner» и не является механической заменой бренда, ОС или устройства. Передайте владельцу ghsa-2mw5-23gm-pccq, component digest, effective version/config, границу «github.com/openchoreo/openchoreo: introduced 0, fixed 1.0.4; github.com/openchoreo/openchoreo: introduced 1.1.0, fixed 1.1.4; github.com/openchoreo/openchoreo: introduced 1.2.0-rc.1, fixed 1.2.0-rc.2», схему «workflow input → template renderer → argv builder → privileged runner», control/boundary rows, артефакт «input class / rendered argv / executable / command count / side-effect count», verdict, stop reason и cleanup proof. Advisory опубликована 2026-09-02 и обновлена 2026-09-02; даты подтверждают свежесть источника, но не популярность запроса, факт эксплуатации или применимость к конкретному deployment.

Материал подготовлен редакцией VOne с помощью автоматизированного черновика; даты, версии и ссылки сверены по GitHub Advisory Database и первичному upstream-материалу. Текст самостоятельный, не копирует источники, не содержит эксплуатационных последовательностей и предназначен для безопасной локальной проверки.

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

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

Ответы

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

Ваш ответ

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

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

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