Защитная диагностика PraisonAI serve FastAPI app по GHSA-pvxx-r596-f5qj: применимость, обратимый локальный control, измеримый verdict, критерий остановки и минимальный пакет данных для владельца системы.
Короткий ответ — PraisonAI serve: проверка применения --api-key
Задача страницы — проверить, что значение --api-key реально подключено ко всем serve-маршрутам до запуска agent workflow. Сначала установите фактически загруженный PraisonAI serve FastAPI app, package lock или image digest и границу «PraisonAI: introduced 0, fixed 4.6.58». Advisory GHSA-pvxx-r596-f5qj — сигнал для inventory, а не доказательство состояния вашей установки. Практический порядок: provenance, один benign control, один boundary-case, измеримый verdict и cleanup. Боль конкретна: CLI принимает защитный параметр, но runtime routes могут остаться без auth dependency. Итогом должен стать матрица route / presented state / status / handler counter / log-marker count, а не субъективное утверждение «вроде безопасно».
Граница решения в PraisonAI serve FastAPI app
Разделите путь данных на переходы: CLI config → app factory → auth middleware/dependency → endpoint handler. На каждом переходе запишите владельца значения, тип, допустимое состояние и запрещённый side effect. Проверяемая инварианта: missing/wrong отклоняются до handler, correct достигает только синтетического handler, ключ не попадает в логи. NOT_APPLICABLE допустим только если component/function доказанно отсутствует; неизвестные digest, версия или effective config дают UNKNOWN. Номер исправленного релиза без runtime readback не является PASS, а отсутствие инцидента не доказывает соблюдение границы.
Безопасный локальный стенд для PraisonAI serve FastAPI app
Control выполняется только в disposable state: FastAPI TestClient с фиктивным ключом проверяет missing, wrong и correct header на discovery и invoke; agent runner заменить spy. Сеть, shell, production database, реальные bucket, broker, SMTP, файловые пути, токены и пользовательские данные замените spies, stubs или in-memory объектами. До запуска сохраните baseline hash, нулевые counters и лимит времени/памяти. Входы должны быть короткими синтетическими маркерами; цель — проверить ветвление и ownership, а не воспроизводить эксплуатацию или усиливать воздействие.
Control, boundary-case и наблюдения
Benign control подтверждает достижимость ожидаемой ветки. Boundary-case меняет ровно один признак, связанный с болью «CLI принимает защитный параметр, но runtime routes могут остаться без auth dependency», и не выходит за минимальный тестовый масштаб. Сохраните матрица route / presented state / status / handler counter / log-marker count, reason code, duration и counters до/после. Ключевое правило остаётся неизменным: missing/wrong отклоняются до handler, correct достигает только синтетического handler, ключ не попадает в логи. Если control не достигает целевой функции или точка наблюдения двусмысленна, verdict — UNKNOWN; добавлять более сильный вход ради красивого результата нельзя.
Как вынести PASS, FAIL и UNKNOWN
PASS требует подтверждённых provenance/version, успешного benign control, соблюдения инварианты «missing/wrong отклоняются до handler, correct достигает только синтетического handler, ключ не попадает в логи», нулевых запрещённых side effects и доказанного cleanup. FAIL — тот же provenance плюс наблюдаемое нарушение: запрос без ключа увеличил handler или agent counter. UNKNOWN означает, что нет digest, effective config, control, recorder либо возможности восстановить fixture. Запишите решение в матрица route / presented state / status / handler counter / log-marker count; один HTTP status, отсутствие exception или факт установки новой версии по отдельности недостаточны.
Красная линия и восстановление
Немедленно прекратите проверку, если запрос без ключа увеличил handler или agent counter. Не увеличивайте объём, глубину, число повторов и не переносите эксперимент на чужую систему. Откатите fixture к baseline, убедитесь, что counters сети, файлов, процессов, очередей и persistent writes вернулись в ожидаемое состояние, затем один раз повторите benign control. Любой неожиданный side effect блокирует PASS даже тогда, когда основной parser или policy вернул правильный код.
Почему это отдельный поисковый intent
Сверяет заявленную CLI-опцию с effective app wiring; не дублирует общую проверку login UI. Поэтому статья отвечает на самостоятельный запрос «проверить, что значение --api-key реально подключено ко всем serve-маршрутам до запуска agent workflow» и не создаётся как замена бренда, ОС или устройства. Её deliverable — матрица route / presented state / status / handler counter / log-marker count, а измеримый stop-rule — запрос без ключа увеличил handler или agent counter. Если существующий URL уже покрывает ту же боль, ожидаемый ответ и дерево решения, нужен отдельный update/merge-контракт, а не новая соседняя страница.
Минимальный пакет для владельца системы
Передайте владельцу GHSA-pvxx-r596-f5qj, component digest, effective version/config, границу «PraisonAI: introduced 0, fixed 4.6.58», описание перехода «CLI config → app factory → auth middleware/dependency → endpoint handler», control/boundary rows, counters, verdict, stop reason и cleanup proof. Advisory опубликована 2026-08-25 и обновлена 2026-08-25; эти даты подтверждают свежесть источника, но не популярность запроса, не факт эксплуатации и не применимость к конкретному deployment. После обновления повторите тот же fixture без изменения масштаба и сравните матрица route / presented state / status / handler counter / log-marker count.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; даты, версии и ссылки сверены по GitHub Advisory Database и первичному upstream-материалу. Текст самостоятельный, не копирует источники, не содержит эксплуатационных последовательностей и предназначен для безопасной локальной проверки.
Источники и проверка
- GitHub Advisory Database — GHSA-pvxx-r596-f5qj проверено 2026-09-02
- Первичный upstream-материал — PraisonAI serve FastAPI app проверено 2026-09-02
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.